New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. - Alexandre Hamez; Fabrice Kordon; Yann Thierry-Mieg; Fabrice Legond-Aubry (ICATPN, 2007)

IibDMC: a Library to Operate Efficient Distributed Model Checking. - Alexandre Hamez; Fabrice Kordon; Yann Thierry-Mieg (IPDPS, 2007)

Hierarchical Set Decision Diagrams and Automatic Saturation. - Alexandre Hamez; Yann Thierry-Mieg; Fabrice Kordon (Petri Nets, 2008)

Hierarchical Set Decision Diagrams and Regular Models. - Yann Thierry-Mieg; Denis Poitrenaud; Alexandre Hamez; Fabrice Kordon (TACAS, 2009)

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. - Alexandre Hamez; Yann Thierry-Mieg; Fabrice Kordon (Fundam. Informaticae, 2009)

Specification of Decision Diagram Operations. - Alexandre Hamez; Steve Hostettler; Alban Linard; Alexis Marechal; Emmanuel Paviot-Adet; Matteo Risoldi (ACSD/Petri Nets Workshops, 2010)

A Symbolic Model Checker for Petri Nets: pnmc. - Alexandre Hamez (Trans. Petri Nets Other Model. Concurr., 2016)