Jean Souyris

13 papers A 1B 3C 1Misc 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.
ACM Trans. Archit. Code Optim.
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
2011 — conf
Towards Formally Verified Optimizing Compilation in Flight Control Software.
PPES
Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris
2010 — conf
WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.
WCET
Jean Souyris
2009 B conf
Formal Verification of Avionics Software Products.
FM
Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny
2009 C conf
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
FMICS
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
2007 B conf
Astrée: From Research to Industry.
SAS
David Delmas, Jean Souyris
2007 B conf
Experimental Assessment of Astrée on Safety-Critical Avionics Software.
SAFECOMP
Jean Souyris, David Delmas
2005 Misc conf
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm.
EDCC
Pascal Traverse, Isabelle Lacaze, Jean Souyris
2004 — conf
Airbus fly-by-wire - A total approach to dependability.
IFIP Congress Topical Sessions
Pascal Traverse, Isabelle Lacaze, Jean Souyris
2004 — conf
Industrial experience of abstract interpretation-based static analyzers.
IFIP Congress Topical Sessions
Jean Souyris
2004 — conf
Proof of properties in avionics.
IFIP Congress Topical Sessions
Jean Souyris, Denis Favre-Felix
2003 A conf
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
DSN
Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
1999 — conf
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.
World Congress on Formal Methods
Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen