Yann Thierry-Mieg

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

Alexandre Hamez, Loin Messan Hillah, Fabrice Kordon et al. · 2006 · 39 citations

Petri Net, Engineering, Network Analysis +29

Formal verification of mobile robot protocols

Béatrice Bérard, Pascal Lafourcade, Laure Millet et al. · Distributed Computing · 2016 · 36 citations · Full text

Formal Specification, Engineering, Automation +7

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet et al. · Electronic Notes in Theoretical Computer Science · 2005 · 33 citations · Full text

Petri Net, Distribution Middleware, Engineering +23

UML behavioral consistency checking using instantiable Petri nets

Yann Thierry-Mieg, Lom-Messan Hillah · Innovations in Systems and Software Engineering · 2008 · 30 citations

Petri Net, Engineering, Program Analysis +11

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

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon · Fundamenta Informaticae · 2009 · 22 citations · Full text