Jean Souyris

Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation

Jean Souyris, Erwan Le Pavec, Guillaume Himbert et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 97 citations · Full text

Engineering, Computer Engineering, Computer Science +12

An abstract interpretation-based timing validation of hard real-time avionics software

Stephan Thesing, Jean Souyris, Reinhold Heckmann et al. · 2004 · 88 citations

Engineering, Computer Engineering, Computer Science +17

Towards Formally Verified Optimizing Compilation in Flight Control Software

Ricardo Bedin França, Denis Favre-Félix, Xavier Leroy et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 18 citations · Full text

Computing, Aerospace Engineering, Computer Science +16

Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware

Keryan Didier, Dumitru Potop‐Butucaru, Guillaume Iooss et al. · ACM Transactions on Architecture and Code Optimization · 2019 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +17