Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. - Famantanantsoa Randimbivololona; Jean Souyris; Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen (World Congress on Formal Methods, 1999)

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. - Stephan Thesing; Jean Souyris; Reinhold Heckmann; Famantanantsoa Randimbivololona; Marc Langenbach; Reinhard Wilhelm; Christian Ferdinand (DSN, 2003)

Industrial experience of abstract interpretation-based static analyzers. - Jean Souyris (IFIP Congress Topical Sessions, 2004)

Proof of properties in avionics. - Jean Souyris; Denis Favre-Felix (IFIP Congress Topical Sessions, 2004)

Airbus fly-by-wire - A total approach to dependability. - Pascal Traverse; Isabelle Lacaze; Jean Souyris (IFIP Congress Topical Sessions, 2004)

A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. - Pascal Traverse; Isabelle Lacaze; Jean Souyris (EDCC, 2005)

Experimental Assessment of Astrée on Safety-Critical Avionics Software. - Jean Souyris; David Delmas (SAFECOMP, 2007)

Astrée: From Research to Industry. - David Delmas; Jean Souyris (SAS, 2007)

Formal Verification of Avionics Software Products. - Jean Souyris; Virginie Wiels; David Delmas; Hervé Delseny (FM, 2009)

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. - David Delmas; Eric Goubault; Sylvie Putot; Jean Souyris; Karim Tekkal; Franck Védrine (FMICS, 2009)

WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives. - Jean Souyris (WCET, 2010)

Towards Formally Verified Optimizing Compilation in Flight Control Software. - Ricardo Bedin França; Denis Favre-Felix; Xavier Leroy; Marc Pantel; Jean Souyris (PPES, 2011)

Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. - Keryan Didier; Dumitru Potop-Butucaru; Guillaume Iooss; Albert Cohen 001; Jean Souyris; Philippe Baufreton; Amaury Graillat (ACM Trans. Archit. Code Optim., 2019)