Automatic Symmetry Detection in Well-Formed Nets. - Yann Thierry-Mieg; Claude Dutheillet; Isabelle Mounier (ICATPN, 2003)

A Symbolic Symbolic State Space Representation. - Yann Thierry-Mieg; Jean-Michel Ilié; Denis Poitrenaud (FORTE, 2004)

On the Formal Verification of Middleware Behavioral Properties. - Jérôme Hugues; Thomas Vergnaud; Laurent Pautet; Yann Thierry-Mieg; Souheib Baarir; Fabrice Kordon (FMICS, 2004)

Hierarchical Decision Diagrams to Exploit Model Structure. - Jean-Michel Couvreur; Yann Thierry-Mieg (FORTE, 2005)

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

Tutorial on Formal Methods for Distributed and Cooperative Systems. - Christine Choppy; Serge Haddad; Hanna Klaudel; Fabrice Kordon; Laure Petrucci; Yann Thierry-Mieg (ICTAC, 2006)

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. - Alexandre Hamez; Fabrice Kordon; Yann Thierry-Mieg; Fabrice Legond-Aubry (ICATPN, 2007)

IibDMC: a Library to Operate Efficient Distributed Model Checking. - Alexandre Hamez; Fabrice Kordon; Yann Thierry-Mieg (IPDPS, 2007)

Hierarchical Set Decision Diagrams and Automatic Saturation. - Alexandre Hamez; Yann Thierry-Mieg; Fabrice Kordon (Petri Nets, 2008)

Experiences in Model Driven Verification of Behavior with UML. - Fabrice Kordon; Yann Thierry-Mieg (Monterey Workshop, 2008)

UML behavioral consistency checking using instantiable Petri nets. - Yann Thierry-Mieg; Lom-Messan Hillah (Innov. Syst. Softw. Eng., 2008)

Hierarchical Set Decision Diagrams and Regular Models. - Yann Thierry-Mieg; Denis Poitrenaud; Alexandre Hamez; Fabrice Kordon (TACAS, 2009)

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. - Alexandre Hamez; Yann Thierry-Mieg; Fabrice Kordon (Fundam. Informaticae, 2009)

Introduction. - Didier Buchs; Fabrice Kordon; Alexander Serebrenik; Natalia Sidorova; Jeremy Spronston; Yann Thierry-Mieg (ACSD/Petri Nets Workshops, 2010)

Automated controllability and synthesis with hierarchical set decision diagrams. - Yan Zhang 017; Béatrice Bérard; Fabrice Kordon; Yann Thierry-Mieg (WODES, 2010)

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (Petri Nets, 2011)

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 (ATVA, 2011)

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking - Alexandre Duret-Lutz; Kais Klai; Denis Poitrenaud; Yann Thierry-Mieg (CoRR, 2011)

State Space Analysis Using Symmetries on Decision Diagrams. - Maximilien Colange; Fabrice Kordon; Yann Thierry-Mieg; Souheib Baarir (ACSD, 2012)

Modeling and Analyzing Wireless Sensor Networks with VeriSensor. - Yann Ben Maissa; Fabrice Kordon; Salma Mouline; Yann Thierry-Mieg (PNSE, 2012)

Raw Report on the Model Checking Contest at Petri Nets 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; et al. (CoRR, 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

Towards Distributed Software Model-Checking Using Decision Diagrams. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (CAV, 2013)

Semi-automatic controller design of Java-like models. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Yann Thierry-Mieg (FTfJP@ECOOP, 2013)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - 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; et al. (CoRR, 2013)

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. - Yann Ben Maissa; Fabrice Kordon; Salma Mouline; Yann Thierry-Mieg (Trans. Petri Nets Other Model. Concurr., 2013)

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. - Ala-Eddine Ben Salem; Alexandre Duret-Lutz; Fabrice Kordon; Yann Thierry-Mieg (TACAS, 2014)

Controllability for discrete event systems modelled in VeriJ. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg (Int. J. Crit. Comput. Based Syst., 2014)

Symbolic Model-Checking Using ITS-Tools. - Yann Thierry-Mieg (TACAS, 2015)

From Symbolic Verification To Domain Specific Languages. (De la vérification Symbolique aux langages dédiés à un domaine). - Yann Thierry-Mieg (2016)

Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. - Yann Thierry-Mieg (PNSE @ Petri Nets, 2016)

Formal verification of mobile robot protocols. - Béatrice Bérard; Pascal Lafourcade 001; Laure Millet; Maria Potop-Butucaru; Yann Thierry-Mieg; Sébastien Tixeuil (Distributed Comput., 2016)

Self-adaptive Model Checking, the Next Step? - Fabrice Kordon; Yann Thierry-Mieg (Petri Nets, 2018)

Modeling a Cache Coherence Protocol with the Guarded Action Language. - Quentin L. Meunier; Yann Thierry-Mieg; Emmanuelle Encrenaz (MARS/VPT@ETAPS, 2018)

MCC'2017 - The Seventh Model Checking Contest. - 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Attack Trees: A Notion of Missing Attacks. - Sophie Pinchinat; Barbara Fila; Florence Wacheux; Yann Thierry-Mieg (GraMSec@CSF, 2019)

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 Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Software Architecture of Modern Model Checkers. - Fabrice Kordon; Michael Leuschel; Jaco van de Pol; Yann Thierry-Mieg (Computing and Software Science, 2019)

Structural Reductions Revisited. - Yann Thierry-Mieg (Petri Nets, 2020)

Symbolic and Structural Model-Checking. - Yann Thierry-Mieg (Fundam. Informaticae, 2021)

LTL Under Reductions with Weaker Conditions Than Stutter Invariance. - Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg (FORTE, 2022)

Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. - Yann Thierry-Mieg (PNSE@Petri Nets, 2023)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

A model-checker exploiting structural reductions even with stutter sensitive LTL. - Yann Thierry-Mieg; Etienne Renault; Emmanuel Paviot-Adet; Denis Poitrenaud (Sci. Comput. Program., 2024)

Simplifying LTL Model Checking Given Prior Knowledge. - Alexandre Duret-Lutz; Denis Poitrenaud; Yann Thierry-Mieg (Petri Nets, 2025)

Structural Reductions and Stutter Sensitive Properties. - Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg (Log. Methods Comput. Sci., 2025)