Denis Favre-Felix

According to our database, Denis Favre-Felix authored at least 2 papers between 2004 and 2011.

Collaborative distances:

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

2011

Towards Formally Verified Optimizing Compilation in Flight Control Software.

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2004

Proof of properties in avionics.

Jean Souyris, Denis Favre-Felix

Proceedings of the Building the Information Society, 2004