|
Search the dblp DataBase
Yann Thierry-Mieg:
[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]
- Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
Automatic Symmetry Detection in Well-Formed Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2003, pp:82-101 [Conf]
- Jean-Michel Couvreur, Yann Thierry-Mieg
Hierarchical Decision Diagrams to Exploit Model Structure. [Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:443-457 [Conf]
- Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
A Symbolic Symbolic State Space Representation. [Citation Graph (0, 0)][DBLP] FORTE, 2004, pp:276-291 [Conf]
- Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. [Citation Graph (0, 0)][DBLP] ICTAC, 2006, pp:362-365 [Conf]
- Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:139-157 [Journal]
- 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]
Experiences in Model Driven Verification of Behavior with UML. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|