 | 2010 |
|---|
| 7 |       | Alexandre Hamez,
Steve Hostettler,
Alban Linard,
Alexis Marechal,
Emmanuel Paviot-Adet,
Matteo Risoldi:
Specification of Decision Diagram Operations.
ACSD/Petri Nets Workshops 2010: 437-451 |
| 2009 |
|---|
| 6 | | Yann Thierry-Mieg,
Denis Poitrenaud,
Alexandre Hamez,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models.
TACAS 2009: 1-15 |
| 5 | | Alexandre Hamez,
Yann Thierry-Mieg,
Fabrice Kordon:
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.
Fundam. Inform. 94(3-4): 413-437 (2009) |
| 2008 |
|---|
| 4 | | Alexandre Hamez,
Yann Thierry-Mieg,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation.
Petri Nets 2008: 211-230 |
| 2007 |
|---|
| 3 | | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg,
Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
ICATPN 2007: 495-504 |
| 2 | | Alexandre Hamez,
Fabrice Kordon,
Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking.
IPDPS 2007: 1-8 |
| 2006 |
|---|
| 1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page