 | 2009 |
|---|
| 10 |       | Jean Souyris,
Virginie Wiels,
David Delmas,
Hervé Delseny:
Formal Verification of Avionics Software Products.
FM 2009: 532-546 |
| 9 | | 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 |
|---|
| 8 | | Jean Souyris,
David Delmas:
Experimental Assessment of Astrée on Safety-Critical Avionics Software.
SAFECOMP 2007: 479-490 |
| 7 | | David Delmas,
Jean Souyris:
Astrée: From Research to Industry.
SAS 2007: 437-451 |
| 2005 |
|---|
| 6 | | Pascal Traverse,
Isabelle Lacaze,
Jean Souyris:
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm.
EDCC 2005: 1 |
| 2004 |
|---|
| 5 |  | Pascal Traverse,
Isabelle Lacaze,
Jean Souyris:
Airbus fly-by-wire - A total approach to dependability.
IFIP Congress Topical Sessions 2004: 191-212 |
| 4 | | Jean Souyris:
Industrial experience of abstract interpretation-based static analyzers.
IFIP Congress Topical Sessions 2004: 393-400 |
| 3 | | Jean Souyris,
Denis Favre-Felix:
Proof of properties in avionics.
IFIP Congress Topical Sessions 2004: 527-536 |
| 2003 |
|---|
| 2 | | 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- |
| 1999 |
|---|
| 1 | | 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 |
