| 2007 |
|---|
| 8 | EE | Jean Souyris,
David Delmas:
Experimental Assessment of Astrée on Safety-Critical Avionics Software.
SAFECOMP 2007: 479-490 |
| 7 | EE | David Delmas,
Jean Souyris:
Astrée: From Research to Industry.
SAS 2007: 437-451 |
| 2005 |
|---|
| 6 | EE | 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 | EE | 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 | EE | 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 |
