Vincent Lefftz

According to our database, Vincent Lefftz authored at least 2 papers between 2010 and 2011.

Collaborative distances:

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

2011

Runtime Verification of Typical Requirements for a Space Critical SoC Platform.

Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

A Design Flow for Critical Embedded Systems.

Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence Pierre, Emmanuel Vaumorin

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010