Xavier Thirioux

According to our database, Xavier Thirioux authored at least 31 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.

Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux

ACM Trans. Embed. Comput. Syst., October, 2023

A Verified UAV Flight Plan Generator.

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

A Taxonomy of MBSE Approaches by Languages, Tools and Methods.

Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux

IEEE Access, 2022

2021

From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux

ACM Trans. Cyber Phys. Syst., 2021

Verifying the Mathematical Library of an UAV Autopilot with Frama-C.

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Constraint-based Verification of Formation Control.

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2019

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems.

Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux

SIAM J. Control. Optim., 2019

Taylor Series Revisited.

Xavier Thirioux, Alexis Maffart

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

Automated analysis of Stateflow models.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Proceedings of the LPAR-21, 2017

2016

Correct-by-construction model driven engineering composition operators.

Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale

Formal Aspects Comput., 2016

Hierarchical State Machines as Modular Horn Clauses.

Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

2015

Compilation of synchronous observers as code contracts.

Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Correct-by-construction model composition: Application to the Invasive Software Composition method.

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Testing-Based Compiler Validation for Synchronous Languages.

Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux

Proceedings of the Formal Methods and Software Engineering, 2014

2012

Formally Defining and Iterating Infinite Models.

Benoît Combemale, Xavier Thirioux, Benoit Baudry

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

Expérimentations en Coq pour un générateur de code qualifiable.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Tech. Sci. Informatiques, 2011

A Proof Assistant Based Formalization of MDE Components.

Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Use of formal methods for building qualified code generator for safer automotive systems.

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification.

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux

J. Softw., 2009

Machine-Checked Sequencer for Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Methods and Software Engineering, 2009

Integrated Formal Approach for Qualified Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2007

Abstract Interpretation-based Static Safety for Actors.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

J. Softw., 2007

Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.

Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat

Proceedings of the ICEIS 2007, 2007

A Property-Driven Approach to Formal Verification of Process Models.

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat

Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

2006

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2003

Temporal Logic Based Static Analysis for Non-uniform Behaviours.

Matthias Colin, Xavier Thirioux, Marc Pantel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

Simple and Efficient Translation from LTL Formulas to Buchi Automata.

Xavier Thirioux

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2000

Refinement Based Validation of an Algorithm for Detecting Distributed Termination.

Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux

Proceedings of the Parallel and Distributed Processing, 2000

1998

Automatically Proving UNITY Safety Properties with Arrays and Quantifiers.

Xavier Thirioux

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998