| 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 | 90 | 2009 |
| 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 | 57 | 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 | 55 | 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 | 48 | 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 | 39 | 2008 |
| PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Treves International Conference on Formal Techniques for Networked and Distributed …, 2006 | 28 | 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, ... | 26 | 2015 |
| Tri. nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016 F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ... | 25 | |
| 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 | 18 | 2012 |
| 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 |
| 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 | 13 | 2017 |
| 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 |
| 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 | 13 | 2006 |
| 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 |
| A modular approach for reusing formalisms in verification tools of concurrent systems É André, B Barbot, C Démoulins, LM Hillah, F Hulin-Hubard, F Kordon, ... International Conference on Formal Engineering Methods, 199-214, 2013 | 11 | 2013 |
| 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 | 10 | 2016 |
| The MIDAS cloud platform for testing SOA applications S Herbold, A De Francesco, J Grabowski, P Harms, LM Hillah, F Kordon, ... 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 10 | 2015 |
| Model Checking Contest@ Petri Nets Report on the 2012 edition F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, ... arXiv preprint arXiv:1209.2382, 2012 | 10 | 2012 |
| Web report on the model checking contest@ Petri net 2013 F Kordon, A Linard, M Becutti, D Buchs, L Fronc, LM Hillah, ... | 9 | 2013 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
