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 | 104 | 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 | 87 | 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 | 73 | 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 |
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 |
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 |
PN standardisation: a survey L Hillah, F Kordon, L Petrucci, N Trèves International Conference on Formal Techniques for Networked and Distributed …, 2006 | 38 | 2006 |
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 | |
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 | 21 | 2017 |
Amat F Kordon, P Bouvier, H Garavel, LM Hillah, F Hulin-Hubard N., Amparore, E., Berthomieu, B., Biswal, S., Donatelli, D., Galla, F.,, Dal …, 2021 | 20 | 2021 |
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 | 20 | 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 | 20 | 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 | 18 | 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 | 18 | 2008 |
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 | 16 | 2015 |
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 | 15 | 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 |
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, ... Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 13 | 2013 |