Get started
Author

Jean Souyris

Observed names: J. Souyris, Souyris Jean, Souyris, Jean
Institution: Airbus (France)
OpenAlex ID: A5011269346
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
2009 · David Delmas, Eric Goubault, et al. · Lecture notes in computer science · 147
Airbus Fly-By-Wire: A Total Approach To Dependability
2008 · Pascal Traverse, Isabelle Lacaze, et al. · Springer eBooks · 137
PDF
Astrée: From Research to Industry
2007 · David Delmas, Jean Souyris · Lecture notes in computer science · 107
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
2008 · Souyris, Jean, Le Pavec, Erwan, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 101
PDF
Formal Verification of Avionics Software Products
2009 · Jean Souyris, Virginie Wiels, et al. · Lecture notes in computer science · 98
An abstract interpretation-based timing validation of hard real-time avionics software
2004 · S. Thesing, J. Souyris, et al. · International Conference on Dependable Systems & Networks/Proceedings · 94
Experimental Assessment of Astrée on Safety-Critical Avionics Software
2007 · Jean Souyris, David Delmas · Lecture notes in computer science · 36
Applying formal proof techniques to avionics software: a pragmatic approach
1999 · Famantanantsoa Randimbivololona, Jean Souyris, et al. · Lecture notes in computer science · 32
Towards Formally Verified Optimizing Compilation in Flight Control Software
2011 · França, Ricardo Bedin, Favre-Felix, Denis, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 21
PDF
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware
2019 · Keryan Didier, Dumitru Potop-Butucaru, et al. · ACM Transactions on Architecture and Code Optimization · 19
PDF
Proof of Properties in Avionics
2008 · Jean Souyris, Denis Favre-Félix · Springer eBooks · 15
PDF
Industrial Experience of Abstract Interpretation-Based Static Analyzers
2008 · Jean Souyris · Springer eBooks · 10
PDF
A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm
2005 · Pascal Traverse, Isabelle Lacaze, et al. · Lecture notes in computer science · 5
Improving Avionics Software Verification Cost-Effectiveness Abstract-Interpretation-Based Technology Contribution
2000 · Famantanantsoa Randimbivololona, Jean Souyris, et al. · Data Systems in Aerospace · 5
Formal Verification Workbench for Airbus Avionics Software
2006 · Duprat, Stephane, Favre-Felix, Denis, et al. · HAL · 4
Automatic Parallelization from Lustre Models in Avionics
2018 · Souyris, Jean, Didier, Keryan, et al. · HAL · 2
PDF
Dependable Avionics Architectures: Example of a Fly-by-Wire system
2013 · Pascal Traverse, Christine Bezard, et al. · John Wiley & Sons, Inc. eBooks · 2
Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems
2022 · Iooss, Guillaume, Cohen, Albert, et al. · HAL · 1
Efficient parallelization of large-scale hard real-time applications
2018 · Didier, Keryan, Potop-Butucaru, Dumitru, et al. · HAL · 1
WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives
2010 · Souyris, Jean · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
Verified Tensor Operators for Safety-Critical ML: From Specification to Reference Implementation
2026 · João Machado, Ricardo Silva, et al. · Lecture notes in computer science
Qualifying CompCert for Safety-Critical Avionics Software
2026 · Pister, Markus, Kaestner, Daniel, et al. · HAL
SONNX: Towards an ONNX Profile for critical systems
2026 · Jenn, Eric, Souyris, Jean, et al. · HAL
1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom
2020 · Iooss, Guillaume, Pouzet, Marc, et al. · HAL
Efficient fine-grain parallelism in shared memory for real-time avionics
2020 · Baufreton, Philippe, Bregeon, Vincent, et al. · HAL
Works count: 32
Citation count: 838
H-index: 11
I10-index: 12
Year
Topic
Type