New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

PN Standardisation: A Survey. - Lom Hillah; Fabrice Kordon; Laure Petrucci-Dauchy; Nicolas Trèves (FORTE, 2006)

Design, modeling and analysis of ITS using UML and Petri Nets. - Fabien Bonnefoi; Lom-Messan Hillah; Fabrice Kordon; Xavier Renault (ITSC, 2007)

UML behavioral consistency checking using instantiable Petri nets. - Yann Thierry-Mieg; Lom-Messan Hillah (Innov. Syst. Softw. Eng., 2008)

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. - Lom-Messan Hillah; Fabrice Kordon; Laure Petrucci; Nicolas Trèves (Petri Nets, 2010)

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. - Souheib Baarir; Lom-Messan Hillah; Fabrice Kordon; Etienne Renault (Monterey Workshop, 2010)

Extending PNML Scope: the Prioritised Petri Nets Experience. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (PNSE, 2011)

A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. - Tewfik Ziadi; Marcos Aurélio Almeida da Silva; Lom-Messan Hillah; Mikal Ziane (ICECCS, 2011)

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. - Maximilien Colange; Lom-Messan Hillah; Fabrice Kordon; Pierre Parutto (Monterey Workshop, 2012)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Extending pnml Scope: A Framework to Combine Petri Nets Types. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2012)

Semi-automatic controller design of Java-like models. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Yann Thierry-Mieg (FTfJP@ECOOP, 2013)

CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. - Sylvain Lamprier; Nicolas Baskiotis; Tewfik Ziadi; Lom-Messan Hillah (ICECCS, 2013)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. - Étienne André; Benoît Barbot; Clement Demoulins; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Kordon; Alban Linard; Laure Petrucci (ICFEM, 2013)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)

Exact and Efficient Temporal Steering of Software Behavioral Model Inference. - Sylvain Lamprier; Tewfik Ziadi; Nicolas Baskiotis; Lom-Messan Hillah (ICECCS, 2014)

Controllability for discrete event systems modelled in VeriJ. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg (Int. J. Crit. Comput. Based Syst., 2014)

The MIDAS Cloud Platform for Testing SOA Applications. - Steffen Herbold; Alberto De Francesco; Jens Grabowski; Patrick Harms; Lom-Messan Hillah; Fabrice Kordon; Ariele-Paolo Maesano; Libero Maesano; Claudia Di Napoli; Fabio De Rosa; Martin A. Schneider; Nicola Tonellotto; et al. (ICST, 2015)

The CARE platform for the analysis of behavior model inference techniques. - Sylvain Lamprier; Nicolas Baskiotis; Tewfik Ziadi; Lom-Messan Hillah (Inf. Softw. Technol., 2015)

Layered Data: A Modular Formal Definition without Formalisms. - Alban Linard; Benoît Barbot; Didier Buchs; Maximilien Colange; Clément Démoulins; Lom-Messan Hillah; Alexis Martin (PNSE @ Petri Nets, 2016)

Service functional testing automation with intelligent scheduling and planning. - Lom-Messan Hillah; Ariele-Paolo Maesano; Libero Maesano; Fabio De Rosa; Fabrice Kordon; Pierre-Henri Wuillemin (SAC, 2016)

MCC'2015 - The Fifth Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; César Rodríguez; Francis Hulin-Hubard (Trans. Petri Nets Other Model. Concurr., 2016)

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. - Lom-Messan Hillah; Fabrice Kordon (Petri Nets, 2017)

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). - Lom-Messan Hillah; Rodrigo Elia Assad; Antonia Bertolino; Márcio Eduardo Delamaro; Fabio De Rosa; Vinicius C. Garcia; Francesca Lonetti; Ariele-Paolo Maesano; Libero Maesano; Eda Marchetti; Breno Miranda; Auri Vincenzi; et al. (SEFM, 2017)

Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. - Lom-Messan Hillah; Ariele-Paolo Maesano; Fabio De Rosa; Fabrice Kordon; Pierre-Henri Wuillemin; Riccardo Fontanelli; Sergio Di Bona; Davide Guerri; Libero Maesano (Int. J. Softw. Tools Technol. Transf., 2017)

Software Product Line Extraction from Bytecode Based Applications. - Tewfik Ziadi; Lom-Messan Hillah (ICECCS, 2018)

MCC'2017 - The Seventh Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; Francis Hulin-Hubard; Elvio Gilberto Amparore; Marco Beccuti; Bernard Berthomieu; Hugues Evrard; Peter Gjøl Jensen; Didier Le Botlan; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal-Zilio; Francesco Gallà; Lom-Messan Hillah; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Optimisation for the product configuration system of Renault: towards an integration of symmetries. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Lom-Messan Hillah; Siham Essodaigui; Yves Bossu (SPLC (B), 2021)

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. - Fabrice Kordon; Lom-Messan Hillah; Francis Hulin-Hubard; Loïg Jezequel; Emmanuel Paviot-Adet (Int. J. Softw. Tools Technol. Transf., 2021)

An Experience Report on the Optimization of the Product Configuration System of Renault *. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Siham Essodaigui; Yves Bossu; Lom-Messan Hillah (ICECCS, 2023)

Optimization of the Product Configuration System of Renault. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Siham Essodaigui; Yves Bossu; Lom-Messan Hillah (SAC, 2023)

Boosting fault localization of statements by combining topic modeling and Ochiai. - Romain Vacheret; Francisca Pérez 001; Tewfik Ziadi; Lom Hillah (Inf. Softw. Technol., 2024)