Lom-Messan Hillah

According to our database, Lom-Messan Hillah authored at least 34 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Boosting fault localization of statements by combining topic modeling and Ochiai.

Romain Vacheret, Francisca Pérez, Tewfik Ziadi, Lom Hillah

Inf. Softw. Technol., 2024

2023

Optimization of the Product Configuration System of Renault.

Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

An Experience Report on the Optimization of the Product Configuration System of Renault ^*.

Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

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

Optimisation for the product configuration system of Renault: towards an integration of symmetries.

Hao Xu, Souheib Baarir, Tewfik Ziadi, Lom-Messan Hillah, Siham Essodaigui, Yves Bossu

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2019

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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Software Product Line Extraction from Bytecode Based Applications.

Tewfik Ziadi, Lom-Messan Hillah

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

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

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, Juliano Iyoda

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools.

Lom-Messan Hillah, Fabrice Kordon

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

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

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

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

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

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

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, Marc-Florian Wendland, Pierre-Henri Wuillemin

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Controllability for discrete event systems modelled in VeriJ.

Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg

Int. J. Crit. Comput. Based Syst., 2014

Exact and Efficient Temporal Steering of Software Behavioral Model Inference.

Sylvain Lamprier, Tewfik Ziadi, Nicolas Baskiotis, Lom-Messan Hillah

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

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, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 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

Proceedings of the Formal Methods and Software Engineering, 2013

CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques.

Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

CosyVerif: An Open Source Extensible Verification Environment.

Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Semi-automatic controller design of Java-like models.

Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

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

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, Harro Wimmel, Karsten Wolf

CoRR, 2012

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach.

Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

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

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Extending PNML Scope: the Prioritised Petri Nets Experience.

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.

Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.

Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves

Proceedings of the Applications and Theory of Petri Nets, 2010

2008

UML behavioral consistency checking using instantiable Petri nets.

Yann Thierry-Mieg, Lom-Messan Hillah

Innov. Syst. Softw. Eng., 2008

2007

Design, modeling and analysis of ITS using UML and Petri Nets.

Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault

Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

2006

PN Standardisation: A Survey.

Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006