Yann Thierry-Mieg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2004–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FORTE | LTL Under Reductions with Weaker Conditions Than Stutter Invariance. | Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg |
| 2019 | TACAS | Presentation of the 9th Edition of the Model Checking Contest. | Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf |
| 2015 | TACAS | Symbolic Model-Checking Using ITS-Tools. | Yann Thierry-Mieg |
| 2014 | TACAS | Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. | Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg |
| 2013 | CAV | Towards Distributed Software Model-Checking Using Decision Diagrams. | Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg |
| 2013 | ECOOP | Semi-automatic controller design of Java-like models. | Yan Zhang, Batrice Brard, Lom-Messan Hillah, Yann Thierry-Mieg |
| 2011 | ATVA | Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg |
| 2009 | TACAS | Hierarchical Set Decision Diagrams and Regular Models. | Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon |
| 2006 | ICTAC | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2005 | FORTE | Hierarchical Decision Diagrams to Exploit Model Structure. | Jean-Michel Couvreur, Yann Thierry-Mieg |
| 2004 | FORTE | A Symbolic Symbolic State Space Representation. | Yann Thierry-Mieg, Jean-Michel Ili, Denis Poitrenaud |