Yann Thierry-Mieg

Available identifiers

zbMath Open thierry-mieg.yannMaRDI QIDQ2165224

List of research outcomes

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

Research outcomes over time

This page was built for person: Yann Thierry-Mieg