|
Search the dblp DataBase
Eric Vecchié:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Klaus Schneider, Jens Brandt, Eric Vecchié
Modular Compilation of Synchronous Programs. [Citation Graph (0, 0)][DBLP] DIPES, 2006, pp:75-84 [Conf]
- Klaus Schneider, Jens Brandt, Eric Vecchié
Efficient code generation from synchronous programs. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2006, pp:165-174 [Conf]
Separate compilation and execution of imperative synchronous modules. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|