| 2007 |
|---|
| 6 | EE | Rasmus Adler,
Ina Schaefer,
Tobias Schüle,
Eric Vecchié:
From Model-Based Design to Formal Verification of Adaptive Embedded Systems.
ICFEM 2007: 76-95 |
| 2006 |
|---|
| 5 | EE | Klaus Schneider,
Jens Brandt,
Eric Vecchié:
Modular Compilation of Synchronous Programs.
DIPES 2006: 75-84 |
| 4 | EE | Klaus Schneider,
Jens Brandt,
Eric Vecchié:
Efficient code generation from synchronous programs.
MEMOCODE 2006: 165-174 |
| 3 | EE | Eric Vecchié,
Robert de Simone:
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs.
Electr. Notes Theor. Comput. Sci. 153(4): 19-35 (2006) |
| 2 | EE | Eric Vecchié,
Robert de Simone:
Syntax-driven optimisations for reachable state space construction of ESTEREL programs.
IJES 2(3/4): 228-238 (2006) |
| 2005 |
|---|
| 1 | EE | Eric Vecchié,
Robert de Simone:
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.
CAV 2005: 213-225 |
