Xavier Thirioux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2009–2025
Best venue rank
Multiconference
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAC | BiCoq : Bigraphs Formalisation with Coq. | Ccile Marcon, Cyril Allignol, Clia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux |
| 2021 | FMICS | Verifying the Mathematical Library of an UAV Autopilot with Frama-C. | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
| 2019 | ICTAC | Taylor Series Revisited. | Xavier Thirioux, Alexis Maffart |
| 2018 | FDL | Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. | Guillaume Davy, Christophe Garion, Pierre-Loc Garoche, Pierre Roux, Xavier Thirioux |
| 2017 | LPAR | Automated analysis of Stateflow models. | Hamza Bourbouh, Pierre-Loc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux |
| 2015 | SAC | Compilation of synchronous observers as code contracts. | Arnaud Dieumegard, Pierre-Loc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux |
| 2014 | ICFEM | A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. | Mounira Kezadri Hamiaz, Marc Pantel, Benot Combemale, Xavier Thirioux |
| 2012 | MODELS | Formally Defining and Iterating Infinite Models. | Benot Combemale, Xavier Thirioux, Benoit Baudry |
| 2010 | EDCC | Use of formal methods for building qualified code generator for safer automotive systems. | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
| 2009 | FMICS | Integrated Formal Approach for Qualified Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai |
| 2009 | ICFEM | Machine-Checked Sequencer for Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux |