Eric Vecchié

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Modelling and Optimization of Data-driven Scene Graphs.

Sébastien Boisgérault, Eric Vecchié

Proceedings of the GRAPP 2011, 2011

2010

A higher-order extension for imperative synchronous languages.

Eric Vecchié, Jean-Pierre Talpin, Sébastien Boisgérault

Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

2009

Separate compilation and execution of imperative synchronous modules.

Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider

Proceedings of the Design, Automation and Test in Europe, 2009

2007

From Model-Based Design to Formal Verification of Adaptive Embedded Systems.

Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié

Proceedings of the Formal Methods and Software Engineering, 2007

2006

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

Eric Vecchié, Robert de Simone

Int. J. Embed. Syst., 2006

Efficient code generation from synchronous programs.

Klaus Schneider, Jens Brandt, Eric Vecchié

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Modular Compilation of Synchronous Programs.

Klaus Schneider, Jens Brandt, Eric Vecchié

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.

Eric Vecchié, Robert de Simone

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs.

Eric Vecchié, Robert de Simone

Proceedings of the Third International Workshop on Synchronous Languages, 2004