Eric Vecchié

According to our database1, Eric Vecchié authored at least 9 papers between 2005 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Modelling and Optimization of Data-driven Scene Graphs.
Proceedings of the GRAPP 2011, 2011

2010
A higher-order extension for imperative synchronous languages.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

2009
Separate compilation and execution of imperative synchronous modules.
Proceedings of the Design, Automation and Test in Europe, 2009

2007
From Model-Based Design to Formal Verification of Adaptive Embedded Systems.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
Syntax-driven optimisations for reachable state space construction of ESTEREL programs.
IJES, 2006

Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs.
Electron. Notes Theor. Comput. Sci., 2006

Efficient code generation from synchronous programs.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Modular Compilation of Synchronous Programs.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005


  Loading...