|
Search the dblp DataBase
Alexandre Hamez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, X. Renault, Yann Thierry-Mieg
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. [Citation Graph (0, 0)][DBLP] ACSD, 2006, pp:273-275 [Conf]
- Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. [Citation Graph (0, 0)][DBLP] ICATPN, 2007, pp:495-504 [Conf]
- Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
IibDMC: a Library to Operate Efficient Distributed Model Checking. [Citation Graph (0, 0)][DBLP] IPDPS, 2007, pp:1-8 [Conf]
Hierarchical Set Decision Diagrams and Automatic Saturation. [Citation Graph (, )][DBLP]
Hierarchical Set Decision Diagrams and Regular Models. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|