Jean Souyris

According to our database, Jean Souyris authored at least 13 papers between 1999 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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, Jean Souyris, Philippe Baufreton, Amaury Graillat

ACM Trans. Archit. Code Optim., 2019

2011

Towards Formally Verified Optimizing Compilation in Flight Control Software.

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2010

WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives.

Jean Souyris

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Formal Verification of Avionics Software Products.

Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny

Proceedings of the FM 2009: Formal Methods, 2009

2007

Astrée: From Research to Industry.

David Delmas, Jean Souyris

Proceedings of the Static Analysis, 14th International Symposium, 2007

Experimental Assessment of Astrée on Safety-Critical Avionics Software.

Jean Souyris, David Delmas

Proceedings of the Computer Safety, 2007

2005

A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm.

Pascal Traverse, Isabelle Lacaze, Jean Souyris

Proceedings of the Dependable Computing, 2005

2004

Airbus fly-by-wire - A total approach to dependability.

Pascal Traverse, Isabelle Lacaze, Jean Souyris

Proceedings of the Building the Information Society, 2004

Proof of properties in avionics.

Jean Souyris, Denis Favre-Felix

Proceedings of the Building the Information Society, 2004

Industrial experience of abstract interpretation-based static analyzers.

Jean Souyris

Proceedings of the Building the Information Society, 2004

2003

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

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

1999

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.

Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen

Proceedings of the FM'99 - Formal Methods, 1999