Lom-Messan Hillah

30 papers A 1B 8C 1Misc 2Journal 10Unranked 8

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