Follow
Lom Hillah
Lom Hillah
Laboratoire d'informatique de Paris 6
Verified email at lip6.fr
Title
Cited by
Cited by
Year
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
1042009
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
872010
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
732011
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
512006
Complete Results for the 2015 Edition of the Model Checking Contest
F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ...
502015
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
472019
UML behavioral consistency checking using instantiable Petri nets
Y Thierry-Mieg, LM Hillah
Innovations in systems and software engineering 4, 293-300, 2008
462008
PN standardisation: a survey
L Hillah, F Kordon, L Petrucci, N Trčves
International Conference on Formal Techniques for Networked and Distributed …, 2006
382006
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
232013
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
212017
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
202021
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
202017
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
202012
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
182018
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
182008
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
162015
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
152016
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
142006
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
132013
The system can't perform the operation now. Try again later.
Articles 1–20