| 2009 |
|---|
| 5 | EE | Yann Thierry-Mieg,
Denis Poitrenaud,
Alexandre Hamez,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models.
TACAS 2009: 1-15 |
| 2008 |
|---|
| 4 | EE | Alexandre Hamez,
Yann Thierry-Mieg,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation.
Petri Nets 2008: 211-230 |
| 2007 |
|---|
| 3 | EE | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg,
Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
ICATPN 2007: 495-504 |
| 2 | EE | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking.
IPDPS 2007: 1-8 |
| 2006 |
|---|
| 1 | EE | 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 |
