- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c12 |      | Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris: Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES 2011: 59-68 |
| 2010 | ||
| c11 | | Jean Souyris: WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives. WCET 2010: 89-89 |
| 2009 | ||
| c10 | | Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny: Formal Verification of Avionics Software Products. FM 2009: 532-546 |
| c9 | | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine: Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS 2009: 53-69 |
| 2007 | ||
| c8 | | Jean Souyris, David Delmas: Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP 2007: 479-490 |
| c7 | | |
| 2005 | ||
| c6 | | Pascal Traverse, Isabelle Lacaze, Jean Souyris: A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. EDCC 2005: 1 |
| 2004 | ||
| c5 |  | Pascal Traverse, Isabelle Lacaze, Jean Souyris: Airbus fly-by-wire - A total approach to dependability. IFIP Congress Topical Sessions 2004: 191-212 |
| c4 | | Jean Souyris: Industrial experience of abstract interpretation-based static analyzers. IFIP Congress Topical Sessions 2004: 393-400 |
| c3 | | Jean Souyris, Denis Favre-Felix: Proof of properties in avionics. IFIP Congress Topical Sessions 2004: 527-536 |
| 2003 | ||
| c2 | | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand: An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN 2003: 625-632 |
| 1999 | ||
| c1 | | Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods 1999: 1798-1815 |
Colors in the list of coauthors
Last update Sun May 19 23:44:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page