Lom-Messan Hillah

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 15

Top Topics

Temporal Properties

Pspace Complete

Concurrent Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

Trans. Petri Nets Other Model. Concurr.

Publications

Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah
Optimization of the Product Configuration System of Renault. SAC (2023)
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah
. ICECCS (2023)
Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Hao Xu, Souheib Baarir, Tewfik Ziadi, Lom-Messan Hillah, Siham Essodaigui, Yves Bossu
Optimisation for the product configuration system of Renault: towards an integration of symmetries. SPLC (B) (2021)
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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Tewfik Ziadi, Lom-Messan Hillah
Software Product Line Extraction from Bytecode Based Applications. ICECCS (2018)
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
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
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
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). SEFM (2017)
Lom-Messan Hillah, Fabrice Kordon
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Petri Nets (2017)
Lom-Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, Riccardo Fontanelli, Sergio Di Bona, Davide Guerri, Libero Maesano
Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Lom-Messan Hillah, Ariele-Paolo Maesano, Libero Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin
Service functional testing automation with intelligent scheduling and planning. SAC (2016)
Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
Layered Data: A Modular Formal Definition without Formalisms. PNSE @ Petri Nets (2016)
Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah
The CARE platform for the analysis of behavior model inference techniques. Inf. Softw. Technol. 60 (2015)
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
The MIDAS Cloud Platform for Testing SOA Applications. ICST (2015)
Sylvain Lamprier, Tewfik Ziadi, Nicolas Baskiotis, Lom-Messan Hillah
Exact and Efficient Temporal Steering of Software Behavioral Model Inference. ICECCS (2014)
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg
Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg
Semi-automatic controller design of Java-like models. FTfJP@ECOOP (2013)
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM (2013)
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
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah
CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. ICECCS (2013)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. 6 (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
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop (2012)
Tewfik Ziadi, Marcos Aurélio Almeida da Silva, Lom-Messan Hillah, Mikal Ziane
A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. ICECCS (2011)
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE (2011)
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Petri Nets (2010)
Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop (2010)
Yann Thierry-Mieg, Lom-Messan Hillah
UML behavioral consistency checking using instantiable Petri nets. Innov. Syst. Softw. Eng. 4 (3) (2008)
Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault
Design, modeling and analysis of ITS using UML and Petri Nets. ITSC (2007)