Yann Thierry-Mieg

According to our database, Yann Thierry-Mieg authored at least 44 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

2023

Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets.

Yann Thierry-Mieg

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

2022

Structural Reductions and Stutter Sensitive Properties.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

CoRR, 2022

LTL Under Reductions with Weaker Conditions Than Stutter Invariance.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

Symbolic and Structural Model-Checking.

Yann Thierry-Mieg

Fundam. Informaticae, 2021

2020

Structural Reductions Revisited.

Yann Thierry-Mieg

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Software Architecture of Modern Model Checkers.

Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Attack Trees: A Notion of Missing Attacks.

Sophie Pinchinat, Barbara Fila, Florence Wacheux, Yann Thierry-Mieg

Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Modeling a Cache Coherence Protocol with the Guarded Action Language.

Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Self-adaptive Model Checking, the Next Step?

Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2016

Formal verification of mobile robot protocols.

Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil

Distributed Comput., 2016

Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology.

Yann Thierry-Mieg

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

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

Yann Thierry-Mieg

, 2016

2015

Symbolic Model-Checking Using ITS-Tools.

Yann Thierry-Mieg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Controllability for discrete event systems modelled in VeriJ.

Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg

Int. J. Crit. Comput. Based Syst., 2014

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

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

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, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2013

Semi-automatic controller design of Java-like models.

Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

Towards Distributed Software Model-Checking Using Decision Diagrams.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

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

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, Harro Wimmel, Karsten Wolf

CoRR, 2012

Modeling and Analyzing Wireless Sensor Networks with VeriSensor.

Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

State Space Analysis Using Symmetries on Decision Diagrams.

Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

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

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

Proceedings of the Automated Technology for Verification and Analysis, 2011

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Automated controllability and synthesis with hierarchical set decision diagrams.

Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Introduction.

Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundam. Informaticae, 2009

Hierarchical Set Decision Diagrams and Regular Models.

Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

UML behavioral consistency checking using instantiable Petri nets.

Yann Thierry-Mieg, Lom-Messan Hillah

Innov. Syst. Softw. Eng., 2008

Experiences in Model Driven Verification of Behavior with UML.

Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Hierarchical Set Decision Diagrams and Automatic Saturation.

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

IibDMC: a Library to Operate Efficient Distributed Model Checking.

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg

Proceedings of the Theoretical Aspects of Computing, 2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Hierarchical Decision Diagrams to Exploit Model Structure.

Jean-Michel Couvreur, Yann Thierry-Mieg

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

On the Formal Verification of Middleware Behavioral Properties.

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

A Symbolic Symbolic State Space Representation.

Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Automatic Symmetry Detection in Well-Formed Nets.

Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier

Proceedings of the Applications and Theory of Petri Nets 2003, 2003