| 2007 |
|---|
| 8 | EE | Dumitru Potop-Butucaru,
Robert de Simone,
Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization.
EMSOFT 2007: 124-133 |
| 7 | EE | Dumitru Potop-Butucaru,
Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
Fundam. Inform. 78(1): 131-159 (2007) |
| 2006 |
|---|
| 6 | EE | Sohini Dasgupta,
Dumitru Potop-Butucaru,
Benoît Caillaud,
Alexandre Yakovlev:
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits.
Electr. Notes Theor. Comput. Sci. 146(2): 81-103 (2006) |
| 5 | EE | Dumitru Potop-Butucaru,
Benoît Caillaud,
Albert Benveniste:
Concurrency in Synchronous Systems.
Formal Methods in System Design 28(2): 111-130 (2006) |
| 2005 |
|---|
| 4 | EE | Dumitru Potop-Butucaru,
Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
ACSD 2005: 48-57 |
| 3 | EE | Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
Julien Ouy,
Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules.
EMSOFT 2005: 282-285 |
| 2004 |
|---|
| 2 | EE | Dumitru Potop-Butucaru,
Benoît Caillaud,
Albert Benveniste:
Concurrency in Synchronous Systems.
ACSD 2004: 67-78 |
| 2003 |
|---|
| 1 | EE | Dumitru Potop-Butucaru,
Robert de Simone:
Optimizations for Faster Execution of Esterel Programs.
MEMOCODE 2003: 227-236 |
