Yann Thierry-Mieg

Orcid: 0000-0001-7775-1978

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A model-checker exploiting structural reductions even with stutter sensitive LTL.
Sci. Comput. Program., 2024

2023
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets.
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.
CoRR, 2022

LTL Under Reductions with Weaker Conditions Than Stutter Invariance.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021
Symbolic and Structural Model-Checking.
Fundam. Informaticae, 2021

2020
Structural Reductions Revisited.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Software Architecture of Modern Model Checkers.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019


Attack Trees: A Notion of Missing Attacks.
Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

2018
MCC'2017 - The Seventh Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2018

Modeling a Cache Coherence Protocol with the Guarded Action Language.
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?
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2016
Formal verification of mobile robot protocols.
Distributed Comput., 2016

Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology.
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).
, 2016

2015
Symbolic Model-Checking Using ITS-Tools.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Controllability for discrete event systems modelled in VeriJ.
Int. J. Crit. Comput. Based Syst., 2014

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.
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.
Trans. Petri Nets Other Model. Concurr., 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR, 2013

Semi-automatic controller design of Java-like models.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

Towards Distributed Software Model-Checking Using Decision Diagrams.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

Modeling and Analyzing Wireless Sensor Networks with VeriSensor.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

State Space Analysis Using Symmetries on Decision Diagrams.
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
CoRR, 2011

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2011

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Automated controllability and synthesis with hierarchical set decision diagrams.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Introduction.
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.
Fundam. Informaticae, 2009

Hierarchical Set Decision Diagrams and Regular Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008
UML behavioral consistency checking using instantiable Petri nets.
Innov. Syst. Softw. Eng., 2008

Experiences in Model Driven Verification of Behavior with UML.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Hierarchical Set Decision Diagrams and Automatic Saturation.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
IibDMC: a Library to Operate Efficient Distributed Model Checking.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Tutorial on Formal Methods for Distributed and Cooperative Systems.
Proceedings of the Theoretical Aspects of Computing, 2006

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Hierarchical Decision Diagrams to Exploit Model Structure.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
On the Formal Verification of Middleware Behavioral Properties.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

A Symbolic Symbolic State Space Representation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003
Automatic Symmetry Detection in Well-Formed Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003


  Loading...