Alexandre Hamez

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Epistemic Logic

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Alexandre Hamez
A Symbolic Model Checker for Petri Nets: pnmc. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
Specification of Decision Diagram Operations. ACSD/Petri Nets Workshops (2010)
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
Hierarchical Set Decision Diagrams and Regular Models. TACAS (2009)
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae 94 (3-4) (2009)
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets (2008)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN (2007)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS (2007)
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)