Stéphane Duprat

According to our database, Stéphane Duprat authored at least 3 papers between 2012 and 2013.

Collaborative distances:

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

2013

Behavioural Verification in Embedded Software, from Model to Source Code.

Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience.

Anthony Fernandes Pires, Stéphane Duprat, C. Besseyre

Tech. Sci. Informatiques, 2012

Formal Software Verification at Model and at Source Code Levels.

Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat

Proceedings of the Model and Data Engineering - 2nd International Conference, 2012