Eric Vecchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SCOPES | A higher-order extension for imperative synchronous languages. | Eric Vecchi, Jean-Pierre Talpin, Sbastien Boisgrault |
| 2009 | DATE | Separate compilation and execution of imperative synchronous modules. | Eric Vecchi, Jean-Pierre Talpin, Klaus Schneider |
| 2007 | ICFEM | From Model-Based Design to Formal Verification of Adaptive Embedded Systems. | Rasmus Adler, Ina Schaefer, Tobias Schle, Eric Vecchi |
| 2006 | MEMOCODE | Efficient code generation from synchronous programs. | Klaus Schneider, Jens Brandt, Eric Vecchi |
| 2005 | CAV | Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. | Eric Vecchi, Robert de Simone |