Dumitru Potop-Butucaru

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling Lecture Notes in Computer Science	2015-09-14	Paper
From concurrent multi-clock programs to deterministic asynchronous implementations Fundamenta Informaticae	2012-07-04	Paper
Correct-by-construction asynchronous implementation of modular synchronous specifications	2007-07-30	Paper
Concurrency in synchronous systems Formal Methods in System Design	2006-09-28	Paper

Research outcomes over time

This page was built for person: Dumitru Potop-Butucaru