Publications

Article

Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Garion, Christophe and Thirioux, Xavier. A Taxonomy of MBSE Approaches by Languages, Tools and Methods. (2022) IEEE Access, 10. 120936-120950. ISSN 2169-3536

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Thirioux, Xavier. From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications. (2021) ACM Transactions on Cyber-Physical Systems, 5 (3). 1-20. ISSN 2378-962X

Conference or Workshop Item

Alexandre Dit Sandretto, Julien and Chapoutot, Alexandre and Garion, Christophe and Thirioux, Xavier and Ziat, Ghiles. Constraint-based Verification of Formation Control. (2021) In: 60th IEEE Conference on Decision and Control, 14 December 2021 - 17 December 2021 (Austin, United States).

Pollien, Baptiste and Garion, Christophe and Hattenberger, Gautier and Roux, Pierre and Thirioux, Xavier. Verifying the Mathematical Library of an UAV Autopilot with Frama-C. (2021) In: Formal Methods for Industrial Critical Systems - FMICS 2021, 24 August 2021 - 26 August 2021 (Paris, France).

Ziat, Ghiles and Mullier, Olivier and Sandretto, Julien Alexandre dit and Garion, Christophe and Chapoutot, Alexandre and Thirioux, Xavier. Abstract domains for constraint programming with differential equations. (2020) In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 17 November 2020 - 17 November 2020 (United States).

Thirioux, Xavier and Maffart, Alexis. Taylor Series Revisited. (2019) In: International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), 31 October 2019 - 4 November 2019 (Hammamet, Tunisia).

Damouche, Nasrine and Thirioux, Xavier and Benmaghnia, Hanane and Martel, Matthieu. Dépliage de Boucles Versus Précision Numérique. (2019) In: 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, 12 June 2019 - 14 June 2019 (Toulouse, France).

Davy, Guillaume and Garion, Christophe and Garoche, Pierre-Loic and Roux, Pierre and Thirioux, Xavier. Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. (2018) In: Forum on Specification & Design Languages (FDL 2018), 10 September 2018 - 12 September 2018 (Munich, Germany).

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier. Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Garoche, Pierre-Loïc and Kahsai, Temesghen and Thirioux, Xavier. Hierarchical State Machines as Modular Horn Clauses. (2016) In: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), 3 April 2016 (Eindhoven, Netherlands).

Dieumegard, Arnaud and Garoche, Pierre-Loïc and Kahsai, Temesghen and Taillar, Alice and Thirioux, Xavier. Compilation of synchronous observers as code contracts. (2015) In: 30th Annual ACM Symposium on Applied Computing (SAC 2015), 13 April 2015 - 17 April 2015 (Salamanca, Spain).

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier. La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. (2015) In: 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), 9 June 2015 - 10 June 2015 (Bordeaux, France).

Garoche, Pierre-Loïc and Howar, Folk and Kahsai, Temesghen and Thirioux, Xavier. Testing-Based Compiler Validation for Synchronous Languages. (2014) In: 6th International Symposium on NASA Formal Methods (NFM 2014), 29 April 2014 - 1 May 2014 (Houston, Texas, United States).

Report

Pollien, Baptiste and Thirioux, Xavier and Garion, Christophe and Gautier, Hattenberger and Roux, Pierre. Formal Verification for Autopilot - Preliminary state of the art. (2021) [Report]

Thirioux, Xavier and Maffart, Alexis. Taylor Series Revisited. (2020) [Report] (Unpublished)