Stéphane Leriche

According to our database, Stéphane Leriche authored at least 2 papers between 2006 and 2009.

Collaborative distances:

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

2009

Use of PERC Pico in the AIDA avionics platform.

Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2006

A case study of specification and verification using JML in an avionics application.

Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006