| 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 | 98 | 2009 |
| PNML Framework: an extendable reference implementation of the Petri Net Markup Language LM Hillah, F Kordon, L Petrucci, N Treves Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 79 | 2010 |
| 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 | 70 | 2011 |
| 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 |
| UML behavioral consistency checking using instantiable Petri nets Y Thierry-Mieg, LM Hillah Innovations in systems and software engineering 4, 293-300, 2008 | 45 | 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, ... | 44 | 2015 |
| PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Treves Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006 | 36 | 2006 |
| 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 | 31 | 2019 |
| 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, ... | 24 | |
| 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 | 23 | 2013 |
| Petri Nets Repository: a tool to benchmark and debug Petri Net tools LM Hillah, F Kordon Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 22 | 2017 |
| Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice LM Hillah, AP Maesano, F De Rosa, F Kordon, PH Wuillemin, R Fontanelli, ... International journal on software tools for technology transfer 19, 281-308, 2017 | 19 | 2017 |
| 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 |
| 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 | 17 | 2018 |
| 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 | 17 | 2008 |
| Amat F Kordon, P Bouvier, H Garavel, LM Hillah, F Hulin-Hubard N., Amparore, E., Berthomieu, B., Biswal, S., Donatelli, D., Galla, F.,, Dal …, 2020 | 15 | 2020 |
| 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 | 14 | 2016 |
| 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 |
| 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 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
