default search action
Xavier Thirioux
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Lélio Brun
, Christophe Garion
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. ACM Trans. Embed. Comput. Syst. 22(5s): 151:1-151:24 (2023) - [c23]Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
A Verified UAV Flight Plan Generator. FormaliSE 2023: 130-140 - 2022
- [j7]Pierre de Saqui-Sannes
A Taxonomy of MBSE Approaches by Languages, Tools and Methods. IEEE Access 10: 120936-120950 (2022) - 2021
- [j6]Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux:
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. ACM Trans. Cyber Phys. Syst. 5(3): 31:1-31:20 (2021) - [c22]Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat:
Constraint-based Verification of Formation Control. CDC 2021: 7136-7141 - [c21]Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. FMICS 2021: 167-173
2010 – 2019
- 2019
- [j5]Victor Magron, Pierre-Loïc Garoche
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM J. Control. Optim. 57(4): 2799-2820 (2019) - [c20]Xavier Thirioux, Alexis Maffart:
Taylor Series Revisited. ICTAC 2019: 335-352 - 2018
- [c19]Guillaume Davy, Christophe Garion
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. FDL 2018: 5-16 - 2017
- [c18]Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux:
Automated analysis of Stateflow models. LPAR 2017: 144-161 - 2016
- [j4]Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale:
Correct-by-construction model driven engineering composition operators. Formal Aspects Comput. 28(3): 409-440 (2016) - [c17]Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux:
Hierarchical State Machines as Modular Horn Clauses. HCVS@ETAPS 2016: 15-28 - 2015
- [c16]Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux:
Compilation of synchronous observers as code contracts. SAC 2015: 1933-1939 - 2014
- [c15]Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. ICFEM 2014: 235-250 - [c14]Pierre-Loïc Garoche, Falk Howar
Testing-Based Compiler Validation for Synchronous Languages. NASA Formal Methods 2014: 246-251 - [c13]Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
Correct-by-construction model composition: Application to the Invasive Software Composition method. FESCA 2014: 108-122 - 2012
- [c12]Benoît Combemale, Xavier Thirioux, Benoit Baudry:
Formally Defining and Iterating Infinite Models. MoDELS 2012: 119-133 - 2011
- [j3]Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai:
Expérimentations en Coq pour un générateur de code qualifiable. Tech. Sci. Informatiques 30(4): 409-440 (2011) - [c11]Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux:
A Proof Assistant Based Formalization of MDE Components. FACS 2011: 223-240 - 2010
- [c10]Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux:
Use of formal methods for building qualified code generator for safer automotive systems. EDCC-CARS 2010: 53-56
2000 – 2009
- 2009
- [j2]Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux:
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. J. Softw. 4(9): 943-958 (2009) - [c9]Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai:
Integrated Formal Approach for Qualified Critical Embedded Code Generator. FMICS 2009: 199-201 - [c8]Nassima Izerrouken, Marc Pantel, Xavier Thirioux:
Machine-Checked Sequencer for Critical Embedded Code Generator. ICFEM 2009: 521-540 - 2007
- [j1]Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Abstract Interpretation-based Static Safety for Actors. J. Softw. 2(3): 87-98 (2007) - [c7]Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat:
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. ICEIS (3) 2007: 80-89 - [c6]Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat:
A Property-Driven Approach to Formal Verification of Process Models. ICEIS (Selected Papers) 2007: 286-300 - 2006
- [c5]Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. FMOODS 2006: 78-92 - [i1]Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. CoRR abs/cs/0611139 (2006) - 2003
- [c4]Matthias Colin, Xavier Thirioux, Marc Pantel:
Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS 2003: 94-108 - 2002
- [c3]Xavier Thirioux:
Simple and Efficient Translation from LTL Formulas to Buchi Automata. FMICS 2002: 145-159 - 2000
- [c2]Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux:
Refinement Based Validation of an Algorithm for Detecting Distributed Termination. IPDPS Workshops 2000: 1027-1036
1990 – 1999
- 1998
- [c1]Xavier Thirioux:
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers. IPPS/SPDP Workshops 1998: 833-843
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 19:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: