Vincent Lefftz

A design flow for critical embedded systems

Hugues Cassé, Laurence Pierre, Philippe Coussy, 2010, International Symposium on Industrial Embedded System (SIES).

SoCKET: A HW/SW Co-Design Flow: Presentation & feedbacks from aeronautic and space application domains

Vincent Lefftz, Pierre Moreau, P. Moreau, 2012 .

Runtime Verification of Typical Requirements for a Space Critical SoC Platform

Laurence Pierre, Luca Ferro, Vincent Lefftz, 2011, FMICS.