Jean Souyris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1999–2011
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DATE | Towards Formally Verified Optimizing Compilation in Flight Control Software. | Ricardo Bedin Frana, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris |
| 2009 | FM | Formal Verification of Avionics Software Products. | Jean Souyris, Virginie Wiels, David Delmas, Herv Delseny |
| 2009 | FMICS | Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Vdrine |
| 2007 | SAFECOMP | Experimental Assessment of Astre on Safety-Critical Avionics Software. | Jean Souyris, David Delmas |
| 2007 | SAS | Astre: From Research to Industry. | David Delmas, Jean Souyris |
| 2005 | EDCC | A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. | Pascal Traverse, Isabelle Lacaze, Jean Souyris |
| 2003 | DSN | An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
| 1999 | FM | Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. | Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen |