Lom-Messan Hillah

Orcid: 0000-0002-4558-720X

Affiliations:
  • LIP6, Paris


According to our database1, Lom-Messan Hillah authored at least 33 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Optimization of the Product Configuration System of Renault.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

An Experience Report on the Optimization of the Product Configuration System of Renault <sup>*</sup>.
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.
Int. J. Softw. Tools Technol. Transf., 2021

Optimisation for the product configuration system of Renault: towards an integration of symmetries.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2019

2018
MCC'2017 - The Seventh Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2018

Software Product Line Extraction from Bytecode Based Applications.
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.
Int. J. Softw. Tools Technol. Transf., 2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016
MCC'2015 - The Fifth Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2016

Service functional testing automation with intelligent scheduling and planning.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Layered Data: A Modular Formal Definition without Formalisms.
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.
Inf. Softw. Technol., 2015


2014
Controllability for discrete event systems modelled in VeriJ.
Int. J. Crit. Comput. Based Syst., 2014

Exact and Efficient Temporal Steering of Software Behavioral Model Inference.
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.
CoRR, 2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
Proceedings of the Formal Methods and Software Engineering, 2013

CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

CosyVerif: An Open Source Extensible Verification Environment.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Semi-automatic controller design of Java-like models.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012
Extending pnml Scope: A Framework to Combine Petri Nets Types.
Trans. Petri Nets Other Model. Concurr., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach.
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.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Extending PNML Scope: the Prioritised Petri Nets Experience.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.
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.
Proceedings of the Applications and Theory of Petri Nets, 2010

2008
UML behavioral consistency checking using instantiable Petri nets.
Innov. Syst. Softw. Eng., 2008

2007
Design, modeling and analysis of ITS using UML and Petri Nets.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

2006
PN Standardisation: A Survey.
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.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006


  Loading...