J. Souyris

发表

Astrée: From Research to Industry

Jean Souyris, David Delmas, David Delmas, 2007, SAS.

Towards Formally Verified Optimizing Compilation in Flight Control Software

Marc Pantel, Jean Souyris, Ricardo Bedin França, 2011, PPES.

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

Isabelle Lacaze, Jean Souyris, Pascal Traverse, 2004, IFIP Congress Topical Sessions.

Towards Optimizing Certified Compilation in Flight Control Software ∗

Marc Pantel, Jean Souyris, Ricardo Bedin França, 2010 .

Formally verified optimizing compilation in ACG-based flight control software

Marc Pantel, Jean Souyris, Sandrine Blazy, 2012 .

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

Reinhold Heckmann, Victor Jégu, Jean Souyris, 2007 .