| Hierarchical decision diagrams to exploit model structure JM Couvreur, Y Thierry-Mieg International Conference on Formal Techniques for Networked and Distributed …, 2005 | 96 | 2005 |
| Symbolic model-checking using ITS-tools Y Thierry-Mieg Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 86 | 2015 |
| Hierarchical set decision diagrams and regular models Y Thierry-Mieg, D Poitrenaud, A Hamez, F Kordon Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 73 | 2009 |
| On the formal verification of middleware behavioral properties J Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg, S Baarir, F Kordon Electronic Notes in Theoretical Computer Science 133, 139-157, 2005 | 54 | 2005 |
| New features in CPN-AMI 3: focusing on the analysis of complex distributed systems A Hamez, L Hillah, F Kordon, A Linard, E Paviot-Adet, X Renault, ... Sixth International Conference on Application of Concurrency to System …, 2006 | 51 | 2006 |
| Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ... | 50 | 2015 |
| Report on the model checking contest at Petri nets 2011 F Kordon, A Linard, D Buchs, M Colange, S Evangelista, K Lampka, ... Transactions on Petri Nets and Other Models of Concurrency VI, 169-196, 2012 | 50 | 2012 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 47 | 2019 |
| UML behavioral consistency checking using instantiable Petri nets Y Thierry-Mieg, LM Hillah Innovations in systems and software engineering 4, 293-300, 2008 | 46 | 2008 |
| Hierarchical set decision diagrams and automatic saturation A Hamez, Y Thierry-Mieg, F Kordon Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008 | 45 | 2008 |
| Self-loop aggregation product—a new hybrid approach to on-the-fly LTL model checking A Duret-Lutz, K Klai, D Poitrenaud, Y Thierry-Mieg International Symposium on Automated Technology for Verification and …, 2011 | 43 | 2011 |
| Formal verification of mobile robot protocols B Bérard, P Lafourcade, L Millet, M Potop-Butucaru, Y Thierry-Mieg, ... Distributed Computing 29, 459-487, 2016 | 41 | 2016 |
| Automatic symmetry detection in well-formed nets Y Thierry-Mieg, C Dutheillet, I Mounier Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 37 | 2003 |
| UML 2: pratique de la modélisation B Charroux, A Osmani, Y Thierry-Mieg Pearson Education, 2010 | 34 | 2010 |
| Building efficient model checkers using hierarchical set decision diagrams and automatic saturation A Hamez, Y Thierry-Mieg, F Kordon Fundamenta Informaticae 94 (3-4), 413-437, 2009 | 34 | 2009 |
| A symbolic symbolic state space representation Y Thierry-Mieg, JM Ilié, D Poitrenaud Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 31 | 2004 |
| Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag M Colange, S Baarir, F Kordon, Y Thierry-Mieg International Conference on Application and Theory of Petri Nets and …, 2011 | 27 | 2011 |
| Complete results for the 2016 edition of the model checking contest, June 2016 F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ... | 25 | |
| Towards distributed software model-checking using decision diagrams M Colange, S Baarir, F Kordon, Y Thierry-Mieg International Conference on Computer Aided Verification, 830-845, 2013 | 20 | 2013 |
| Raw report on the model checking contest at Petri nets 2012 F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, ... arXiv preprint arXiv:1209.2382, 2012 | 20 | 2012 |
Fabrice KordonProfesseur d'Informatique, Sorbonne Université在 lip6.fr 的电子邮件经过验证
