 | 2009 |
|---|
| 11 |       | Yann Thierry-Mieg,
Denis Poitrenaud,
Alexandre Hamez,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models.
TACAS 2009: 1-15 |
| 2008 |
|---|
| 10 | | Alexandre Hamez,
Yann Thierry-Mieg,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation.
Petri Nets 2008: 211-230 |
| 9 | | Yann Thierry-Mieg,
Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets.
ISSE 4(3): 293-300 (2008) |
| 2007 |
|---|
| 8 | | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg,
Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
ICATPN 2007: 495-504 |
| 7 | | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking.
IPDPS 2007: 1-8 |
| 2006 |
|---|
| 6 | | Alexandre Hamez,
Lom Hillah,
Fabrice Kordon,
Alban Linard,
Emmanuel Paviot-Adet,
Xavier Renault,
Yann Thierry-Mieg:
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
ACSD 2006: 273-275 |
| 5 | | Christine Choppy,
Serge Haddad,
Hanna Klaudel,
Fabrice Kordon,
Laure Petrucci,
Yann Thierry-Mieg:
Tutorial on Formal Methods for Distributed and Cooperative Systems.
ICTAC 2006: 362-365 |
| 2005 |
|---|
| 4 | | Jean-Michel Couvreur,
Yann Thierry-Mieg:
Hierarchical Decision Diagrams to Exploit Model Structure.
FORTE 2005: 443-457 |
| 3 | | Jérôme Hugues,
Thomas Vergnaud,
Laurent Pautet,
Yann Thierry-Mieg,
Souheib Baarir,
Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties.
Electr. Notes Theor. Comput. Sci. 133: 139-157 (2005) |
| 2004 |
|---|
| 2 | | Yann Thierry-Mieg,
Jean-Michel Ilié,
Denis Poitrenaud:
A Symbolic Symbolic State Space Representation.
FORTE 2004: 276-291 |
| 2003 |
|---|
| 1 | | Yann Thierry-Mieg,
Claude Dutheillet,
Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets.
ICATPN 2003: 82-101 |
