Jean Souyris

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 1

Top Topics

Hardware Architecture

Vlsi Implementation

Top Venues

ACM Trans. Archit. Code Optim.

Publications

Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Trans. Archit. Code Optim. 16 (3) (2019)
Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris
Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES (2011)
Jean Souyris
WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives. WCET (2010)
Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny
Formal Verification of Avionics Software Products. FM (2009)
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)
Jean Souyris, David Delmas
Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP (2007)
David Delmas, Jean Souyris
Astrée: From Research to Industry. SAS (2007)
Pascal Traverse, Isabelle Lacaze, Jean Souyris
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. EDCC (2005)
Jean Souyris, Denis Favre-Felix
Proof of properties in avionics. IFIP Congress Topical Sessions (2004)
Pascal Traverse, Isabelle Lacaze, Jean Souyris
Airbus fly-by-wire - A total approach to dependability. IFIP Congress Topical Sessions (2004)
Jean Souyris
Industrial experience of abstract interpretation-based static analyzers. IFIP Congress Topical Sessions (2004)
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)
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)