Alexandre Hamez

According to our database, Alexandre Hamez authored at least 8 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

A Symbolic Model Checker for Petri Nets: pnmc.

Alexandre Hamez

Trans. Petri Nets Other Model. Concurr., 2016

2010

Specification of Decision Diagram Operations.

Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundam. Informaticae, 2009

Hierarchical Set Decision Diagrams and Regular Models.

Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Hierarchical Set Decision Diagrams and Automatic Saturation.

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

IibDMC: a Library to Operate Efficient Distributed Model Checking.

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006