Yann Thierry-Mieg

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Structural reductions revisited Application and Theory of Petri Nets and Concurrency	2022-09-01	Paper
LTL under reductions with weaker conditions than stutter invariance (available as arXiv preprint)	2022-08-19	Paper
Symbolic and structural model-checking Fundamenta Informaticae	2022-02-01	Paper
Formal verification of mobile robot protocols Distributed Computing	2017-06-22	Paper
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking Automated Technology for Verification and Analysis	2011-10-07	Paper
Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag Applications and Theory of Petri Nets	2011-06-29	Paper
Automatic Symmetry Detection in Well-Formed Nets Applications and Theory of Petri Nets 2003	2010-03-31	Paper
Building efficient model checkers using hierarchical set decision diagrams and automatic saturation Fundamenta Informaticae	2009-11-30	Paper
Hierarchical Set Decision Diagrams and Regular Models Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
Hierarchical Set Decision Diagrams and Automatic Saturation Applications and Theory of Petri Nets	2008-07-03	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper

Research outcomes over time

This page was built for person: Yann Thierry-Mieg