dblp.uni-trier.dewww.uni-trier.de

Eric Vecchié

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Rasmus Adler [6]
2Jens Brandt [4] [5]
3Ina Schaefer [6]
4Klaus Schneider [4] [5]
5Tobias Schüle [6]
6Robert de Simone [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)