| A primer on the Petri Net Markup Language and ISO/IEC 15909-2 LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves Petri Net Newsletter 76, 9-28, 2009 | 91 | 2009 |
| A fully dynamic approach to the reverse engineering of UML sequence diagrams T Ziadi, MAA Da Silva, LM Hillah, M Ziane 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 62 | 2011 |
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language LM Hillah, F Kordon, L Petrucci, N Treves International Conference on Applications and Theory of Petri Nets, 318-327, 2010 | 62 | 2010 |
| 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 | 49 | 2006 |
| UML behavioral consistency checking using instantiable Petri nets Y Thierry-Mieg, LM Hillah Innovations in systems and software engineering 4 (3), 293-300, 2008 | 42 | 2008 |
| Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ... | 34 | 2015 |
| PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Treves International Conference on Formal Techniques for Networked and Distributed …, 2006 | 30 | 2006 |
| CosyVerif: An open source extensible verification environment É André, Y Lembachar, L Petrucci, F Hulin-Hubard, A Linard, L Hillah, ... 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 22 | 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 | 19 | 2012 |
| 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, ... | 18 | |
| Laser attacks on integrated circuits: from CMOS to FD-SOI JM Dutertre, S De Castro, A Sarafianos, N Boher, B Rouzeyre, M Lisart, ... 2014 9th IEEE International Conference on Design & Technology of Integrated …, 2014 | 16 | 2014 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallŕ, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 15 | 2019 |
| Petri Nets Repository: a tool to benchmark and debug Petri Net tools LM Hillah, F Kordon International Conference on Application and Theory of Petri Nets and …, 2017 | 15 | 2017 |
| Collision avoidance in intelligent transport systems: towards an application of control theory B Bérard, S Haddad, LM Hillah, F Kordon, Y Thierry-Mieg 2008 9th International Workshop on Discrete Event Systems, 346-351, 2008 | 15 | 2008 |
| An approach to model variations of a scenario: Application to Intelligent Transport Systems F Bonnefoi, L Hillah, F Kordon, G Frémont Workshop on Modelling of Objects, Components, and Agents (MOCA’06), 2006 | 14 | 2006 |
| MCC’2015–the fifth model checking contest F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, C Rodríguez, ... Transactions on Petri Nets and Other Models of Concurrency XI, 262-273, 2016 | 13 | 2016 |
| Design, modeling and analysis of ITS using UML and Petri Nets F Bonnefoi, LM Hillah, F Kordon, X Renault 2007 IEEE intelligent transportation systems conference, 314-319, 2007 | 13 | 2007 |
| Model engineering on Petri nets for ISO/IEC 15909-2: API framework for Petri net types metamodels L Hillah, F Kordon, L Petrucci, N Treves Petri Net Newsletter 69, 22-40, 2005 | 13 | 2005 |
| MCC’2017–the seventh model checking contest F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ... Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018 | 11 | 2018 |
| Automation and intelligent scheduling of distributed system functional testing LM Hillah, AP Maesano, F De Rosa, F Kordon, PH Wuillemin, R Fontanelli, ... International journal on software tools for technology transfer 19 (3), 281-308, 2017 | 11 | 2017 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
