Search the dblp DataBase

Publications of Author

1. Eric Vecchié, Robert de Simone
   Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:213-225 [Conf]
   
2. Eric Vecchié, Robert de Simone
   Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:19-35 [Journal]
   
3. Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié
   From Model-Based Design to Formal Verification of Adaptive Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2007, pp:76-95 [Conf]
   
4. Klaus Schneider, Jens Brandt, Eric Vecchié
   Modular Compilation of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
   DIPES, 2006, pp:75-84 [Conf]
   
5. Klaus Schneider, Jens Brandt, Eric Vecchié
   Efficient code generation from synchronous programs. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2006, pp:165-174 [Conf]
   
6. 
   Separate compilation and execution of imperative synchronous modules. [Citation Graph (, )][DBLP]