- Accueil
- Xavier Thirioux
- Flux publications Open Science ISAE-SUPAERO
Flux publications Open Science ISAE-SUPAERO
Mis à jour le

Alexandre Dit Sandretto Julien, Chapoutot Alexandre, Garion Christophe, Thirioux Xavier, A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. 2024, Acta Cybernetica. 26 (4). ISSN 0324-721X
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations

Brun, Lélio, Garion Christophe, Garoche Pierre-Loic, Thirioux Xavier, Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. 2023, ACM Transactions on Embedded Computing Systems. 22 (5). 1–24. ISSN 1539-9087
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

Pollien, Baptiste, Garion Christophe, Hattenberger Gautier, Roux Pierre, Thirioux Xavier, A Verified UAV Flight Plan Generator : 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE). 2023, 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023-05-15 - 2023-05-14 (2023-05-14, Melbourne)

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

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

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

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

Bourbouh Hamza, Garoche Pierre-Loic, Garion Christophe, 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
From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications

Thirioux Xavier, Maffart Alexis - 248960164, Taylor Series Revisited. 2020. (Unpublished)

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

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

Thirioux Xavier, Maffart Alexis - 248960164, Taylor Series Revisited : ICTAC 2019 : Theoretical Aspects of Computing. 2019, International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), 2019-11-04 - 2019-10-31 (2019-10-31, Hammamet)
Taylor Series Revisited : ICTAC 2019: Theoretical Aspects of Computing

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

Bourbouh Hamza, Garoche Pierre-Loic, Garion Christophe, Gurfinkel Arie, Kahsai Temesghen, Thirioux Xavier, Automated analysis of Stateflow models : EPiC Series in Computing, vol. 46. 2017, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 2017-05-12 - 2017-05-07 (2017-05-07, Maun)
Automated analysis of Stateflow models : EPiC Series in Computing, vol. 46

Garoche Pierre-Loic, Kahsai Temesghen, Thirioux Xavier, Hierarchical State Machines as Modular Horn Clauses : EPTCS 219 : Electronic Proceedings in Theoretical Computer Science 219. 2016, 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016) - 2016-04-03 (2016-04-03, Eindhoven)

Dieumegard Arnaud, Garoche Pierre-Loic, Kahsai Temesghen, Taillar Alice, Thirioux Xavier, Compilation of synchronous observers as code contracts : Proceedings of the 30th Annual ACM Symposium on Applied Computing. 2015, 30th Annual ACM Symposium on Applied Computing (SAC 2015), 2015-04-17 - 2015-04-13 (2015-04-13, Salamanca)

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

Garoche Pierre-Loic, Howar Folk, Kahsai Temesghen, Thirioux Xavier, Testing-Based Compiler Validation for Synchronous Languages : NFM 2014 : NASA Formal Methods. 2014, 6th International Symposium on NASA Formal Methods (NFM 2014), 2014-05-01 - 2014-04-29 (2014-04-29, Houston, Texas)
Testing-Based Compiler Validation for Synchronous Languages : NFM 2014: NASA Formal Methods