default search action

combined dblp search
author search
venue search
publication search

ask others

Lom-Messan Hillah

Lom Hillah

> Home > Persons

Person information

affiliation: LIP6, Paris

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/VacheretPZH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/VacheretPZH24
Romain Vacheret, Francisca Pérez, Tewfik Ziadi, Lom Hillah:
Boosting fault localization of statements by combining topic modeling and Ochiai. Inf. Softw. Technol. 173: 107499 (2024)
2023
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/XuBZEBH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/XuBZEBH23
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah:
An Experience Report on the Optimization of the Product Configuration System of Renault ^*. ICECCS 2023: 197-206
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/XuBZEBH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/XuBZEBH23
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah:
Optimization of the Product Configuration System of Renault. SAC 2023: 1486-1489
2021
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KordonHHJP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KordonHHJP21
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): 931-952 (2021)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/XuBZHEB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/XuBZHEB21
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: 86-90

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AmparoreBCDGHHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19
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: 50-68
2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJHABBEJBLMSTPW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18
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: 181-209 (2018)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ZiadiH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ZiadiH18
Tewfik Ziadi, Lom-Messan Hillah:
Software Product Line Extraction from Bytecode Based Applications. ICECCS 2018: 221-225
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HillahMRKWFBGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HillahMRKWFBGM17
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): 281-308 (2017)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HillahK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HillahK17
Lom-Messan Hillah, Fabrice Kordon:
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Petri Nets 2017: 125-135
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HillahABDRGLMMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HillahABDRGLMMM17
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: 388-393
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJRH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJRH16
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: 262-273 (2016)
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/LinardBBCDHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LinardBBCDHM16
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: 287-306
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HillahMMRKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HillahMMRKW16
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: 1605-1610
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/LamprierBZH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/LamprierBZH15
Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah:
The CARE platform for the analysis of behavior model inference techniques. Inf. Softw. Technol. 60: 32-50 (2015)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HerboldFGHHKMMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HerboldFGHHKMMN15
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: 1-8
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/ZhangBHKT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/ZhangBHKT14
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): 218-240 (2014)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LamprierZBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LamprierZBH14
Sylvain Lamprier, Tewfik Ziadi, Nicolas Baskiotis, Lom-Messan Hillah:
Exact and Efficient Temporal Steering of Software Behavioral Model Inference. ICECCS 2014: 166-175
2013
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ZhangBHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ZhangBHT13
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg:
Semi-automatic controller design of Java-like models. FTfJP@ECOOP 2013: 3:1-3:7
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AndreLPHLHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AndreLPHLHK13
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon:
CosyVerif: An Open Source Extensible Verification Environment. ICECCS 2013: 33-36
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LamprierBZH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LamprierBZH13
Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah:
CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. ICECCS 2013: 252-255
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AndreBDHHKLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AndreBDHHKLP13
É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: 199-214
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KordonLBBFHHLLMPPRRTWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13
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 abs/1309.2485 (2013)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HillahKLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HillahKLP12
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: 46-70 (2012)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/ColangeHKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/ColangeHKP12
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto:
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop 2012: 330-352
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1209-2382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2382
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 abs/1209.2382 (2012)
2011
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/HillahKLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HillahKLP11
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci:
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE 2011: 92-106
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ZiadiSHZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ZiadiSHZ11
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: 107-116
2010
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HillahKPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HillahKPT10
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: 318-327
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/BaarirHKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/BaarirHKR10
Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault:
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop 2010: 103-121

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/Thierry-MiegH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Thierry-MiegH08
Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets. Innov. Syst. Softw. Eng. 4(3): 293-300 (2008)
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/BonnefoiHKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/BonnefoiHKR07
Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault:
Design, modeling and analysis of ITS using UML and Petri Nets. ITSC 2007: 314-319
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/HamezHKLPRT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/HamezHKLPRT06
Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg:
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD 2006: 273-275
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/HillahKPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HillahKPT06
Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves:
PN Standardisation: A Survey. FORTE 2006: 307-322

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.