Yann Thierry-Mieg

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 15

Top Topics

Formal Verification

Invariant Properties

Top Venues

Fundam. Informaticae

Publications

Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud
A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. 235 (2024)
Yann Thierry-Mieg
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. PNSE@Petri Nets (2023)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
Structural Reductions and Stutter Sensitive Properties. CoRR (2022)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE (2022)
Yann Thierry-Mieg
Symbolic and Structural Model-Checking. Fundam. Informaticae 183 (3-4) (2021)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
LTL under reductions with weaker conditions than stutter-invariance. CoRR (2021)
Yann Thierry-Mieg
Structural Reductions Revisited. CoRR (2020)
Yann Thierry-Mieg
Structural Reductions Revisited. Petri Nets (2020)
Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg 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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Sophie Pinchinat, Barbara Fila, Florence Wacheux, Yann Thierry-Mieg
Attack Trees: A Notion of Missing Attacks. GraMSec@CSF (2019)
Fabrice Kordon, Yann Thierry-Mieg
Self-adaptive Model Checking, the Next Step? Petri Nets (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT@ETAPS (2018)
Yann Thierry-Mieg
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. PNSE @ Petri Nets (2016)
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
Formal verification of mobile robot protocols. Distributed Comput. 29 (6) (2016)
Yann Thierry-Mieg
Symbolic Model-Checking Using ITS-Tools. TACAS (2015)
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg
Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS (2014)
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg
Semi-automatic controller design of Java-like models. FTfJP@ECOOP (2013)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV (2013)
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
State Space Analysis Using Symmetries on Decision Diagrams. ACSD (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA (2011)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets (2011)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR (2011)
Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
Introduction. ACSD/Petri Nets Workshops (2010)
Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg
Automated controllability and synthesis with hierarchical set decision diagrams. WODES (2010)
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
Hierarchical Set Decision Diagrams and Regular Models. TACAS (2009)
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae 94 (3-4) (2009)
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets (2008)
Fabrice Kordon, Yann Thierry-Mieg
Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop (2008)
Yann Thierry-Mieg, Lom-Messan Hillah
UML behavioral consistency checking using instantiable Petri nets. Innov. Syst. Softw. Eng. 4 (3) (2008)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN (2007)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS (2007)
Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD (2006)
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC (2006)
Jean-Michel Couvreur, Yann Thierry-Mieg
Hierarchical Decision Diagrams to Exploit Model Structure. FORTE (2005)
Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. Electron. Notes Theor. Comput. Sci. 133 (2005)
Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
A Symbolic Symbolic State Space Representation. FORTE (2004)
Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
Automatic Symmetry Detection in Well-Formed Nets. ICATPN (2003)