( en | de | ru )

 

Disambiguation of "Souyris, Jean"

Author of the publication

copydeleteadd this publication to your clipboard
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.

, , , , , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1798-1815. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Johann Jeanson

Helga Jeanblanc

Marc Jean-Richard-dit-Bressel

Antoine Jeanjean

 

Other publications of authors with the same name

Proof of properties in avionics., and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 527-535. Kluwer/Springer, (2004)A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm., , and . EDCC, volume 3463 of Lecture Notes in Computer Science, page 1. Springer, (2005)Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach., , , , , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1798-1815. Springer, (1999)Industrial experience of abstract interpretation-based static analyzers.. IFIP Congress Topical Sessions, volume 156 of IFIP, page 393-400. Kluwer/Springer, (2004)Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software., , , , , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 53-69. Springer, (2009)Astrée: From Research to Industry., and . SAS, volume 4634 of Lecture Notes in Computer Science, page 437-451. Springer, (2007)Formal Verification of Avionics Software Products., , , and . FM, volume 5850 of Lecture Notes in Computer Science, page 532-546. Springer, (2009)WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.. WCET, volume 15 of OASIcs, page 89-89. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware., , , , , , and . ACM Trans. Archit. Code Optim., 16 (3): 24:1-24:27 (2019)Airbus fly-by-wire - A total approach to dependability., , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 191-212. Kluwer/Springer, (2004)