Articles

• R. Vacheret, F. Pérez, T. Ziadi, L. Hillah : “Boosting fault localization of statements by combining topic modeling and Ochiai”, Information and Software Technology, vol. 173, pp. 107499, (Elsevier) [Vacheret 2024]
• F. Kordon, L. Hillah, F. Hulin‑Hubard, L. Jezequel, E. Paviot‑Adet : “Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019”, International Journal on Software Tools for Technology Transfer, (Springer Verlag) [Kordon 2021]
• L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice”, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) [Hillah 2017a]
• F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, C. Rodríguez, F. Hulin‑Hubard : “MCC’2015 – The Fifth Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 9930, Lecture Notes in Computer Science, pp. 262-273, (Springer) [Kordon 2016b]
• S. Lamprier, N. Baskiotis, T. Ziadi, L. Hillah : “The CARE Platform for the Analysis of Behavior Model Inference Techniques”, Information and Software Technology, vol. 60, pp. 32-50, (Elsevier) [Lamprier 2015a]
• Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Controllability for Discrete Event Systems Modeled in VeriJ”, International Journal of Critical Computer-Based Systems, vol. 5 (3/4), pp. 218-240, (Inderscience) [Zhang 2014]
• L. Hillah, F. Kordon, Ch. Lakos, L. Petrucci : “Extending PNML Scope: a Framework to Combine Petri Nets Types”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), Lecture Notes in Computer Science, pp. 46-70, (Springer) [Hillah 2012]
• L. Hillah, L. Petrucci : “Standardisation des réseaux de Petri : état de l'art et enjeux futurs”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 93, pp. 5-10, (Génie industriel multimédia) [Hillah 2010b]
• L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Trèves : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, Petri Net Newsletter, vol. 76, pp. 9-28 [Hillah 2009]
• L. Hillah, F. Kordon, L. Petrucci : “Application des méthodes formelles à la robotique modulaire”, Journal Européen des Systèmes Automatisés, vol. 42 (4), pp. 459-478, (Lavoisier) [Hillah 2008]
• Y. Thierry‑Mieg, L. Hillah : “UML Behavioral Consistency Checking Using Instantiable Petri nets”, Innovations in Systems and Software Engineering, vol. 4 (3), pp. 293-300, (Springer Verlag) [Thierry-Mieg 2008]
• L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types Metamodels”, Petri Net Newsletter, vol. 69, pp. 22-40 [Hillah 2005]

Conference papers

• H. Xu, S. Baarir, T. Ziadi, S. Essodaigui, Y. Bossu, L. Hillah : “An Experience Report on the Optimization of the Product Configuration System of Renault *”, 2023 27^th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, pp. 197-206, (IEEE), (ISBN: 979-8-3503-4004-4) [Xu 2023a]
• H. Xu, S. Baarir, T. Ziadi, S. Essodaigui, Y. Bossu, L. Messan Hillah : “Optimization of the Product Configuration System of Renault”, SAC '23: 38^th ACM/SIGAPP Symposium on Applied Computing, SAC '23, Tallinn, Estonia, pp. 1486-1489, (ACM), (ISBN: 9781450395175) [Xu 2023b]
• H. Xu, S. Baarir, T. Ziadi, L. Hillah, S. Essodaigui, Y. Bossu : “Optimisation for the product configuration system of Renault: towards an integration of symmetries”, 25^th ACM International Systems and Software Product Line Conference - Volume B, vol. B, SPLC '21: Proceedings of the 25^th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, pp. 86-90, (ACM) [Xu 2021]
• E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot‑Adet, J. Srba, Y. Thierry‑Mieg, T. Van Dijk, K. Wolf : “Presentation of the 9th Edition of the Model Checking Contest”, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, vol. 11429, Prague, Czechia, pp. 50-68 [Amparore 2019]
• T. Ziadi, L. Hillah : “Software Product Line Extraction from Bytecode based applications”, International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [Ziadi 2018a]
• E. Kindler, P. Egilsson, L. Hillah : “Using the Event Coordination Notation for Validation”, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Augsburg, Germany, pp. 13-20 [Kindler 2018]
• L. Hillah, R. Assad, A. Bertolino, L. Maesano, J. Iyoda : “Automated Deployment and Management of Self-* Applications on Hybrid Clouds”, Cloudscape Brazil and Workshop on Cloud Networks 2017, São Paulo, Brazil [Hillah 2017c]
• L. Hillah, F. Kordon : “Petri Nets Repository: a tool to benchmark and debug Petri Net tools”, 38^th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, vol. 10258, Lecture Notes in Computer Science, Zaragoza, Spain, pp. 125-135, (Springer) [Hillah 2017b]
• L. Hillah, R. Assad, A. Bertolino, M. Delamaro, F. De Rosa, V. Garcia, F. Lonetti, A.‑P. Maesano, L. Maesano, E. Marchetti, B. Miranda, A. Vincenzi, J. Iyoda : “Towards automated deployment of self-adaptive applications on hybrid clouds”, 15^th International Conference on Software Engineering and Formal Methods (SEFM 2017), Trento, Italy [Hillah 2017d]
• A. Linard, B. Barbot, D. Buchs, M. Colange, C. Démoulins, L. Hillah, A. Martin : “Layered Data: A Modular Formal Definition without Formalisms”, CEUR-WS.org, vol. 1591, CEUR Workshops Proceedings, Toruń, Poland, pp. 287-306 [Linard 2016]
• L. Hillah, A.‑P. Maesano, L. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin : “Service functional testing automation with intelligent scheduling and planning”, Symposium on Applied Computing (SAC), Proceeding of the 31^st Annual ACM Symposium on Applied Computing, Pisa, Italy, pp. 1605-1610 [Hillah 2016]
• L. Hillah, A.‑P. Maesano, F. De Rosa, L. Maesano, M. Lettere, R. Fontanelli : “Service functional test automation”, Workshop on System Testing and Validation, Sophia Antipolis, France [Hillah 2015]
• S. Herbold, J. Grabowski, P. Harms, L. Hillah, F. Kordon, A.‑P. Maesano, L. Maesano, C. Di Napoli, F. De Rosa, M. Schneider, N. Tonelloto, M.‑F. Wendland, P.‑H. Wuillemin : “The MIDAS Cloud Platform for Testing SOA Applications”, 8^th International IEEE Conference on Software Testing, Verification and Validation (ICST), Graz, Austria, pp. 1-8, (IEEE Press) [Herbold 2015]
• S. Lamprier, T. Ziadi, N. Baskiotis, L. Hillah : “Exact and Efficient Temporal Steering of Software Behavioral Model Inference”, Proc. of 19^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, pp. 166-175, (IEEE) [Lamprier 2014]
• É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin‑Hubard, F. Kordon, A. Linard, L. Petrucci : “A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems”, 15^th International Conference on Formal Engineering Methods (ICFEM'13), vol. 8144, Lecture Notes in Computer Science, Queenstown, New Zealand, pp. 199-214, (Springer Berlin Heidelberg) [André 2013a]
• S. Lamprier, N. Baskiotis, T. Ziadi, L. Hillah : “CARE: a platform for reliable Comparison and Analysis of Reverse-Engineering techniques”, 18^th IEEE International Conference on Engineering of Complex Computer Systems -- ICECCS, Singapore, Singapore, pp. 252-255, (IEEE) [Lamprier 2013]
• É. André, Y. Lembachar, L. Petrucci, F. Hulin‑Hubard, A. Linard, L. Hillah, F. Kordon : “CosyVerif: An Open Source Extensible Verification Environment”, 18^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Singapore, pp. 33-36, (IEEE Computer Society Press) [André 2013b]
• Y. Zhang, B. Bérard, L. Hillah, Y. Thierry‑Mieg : “Semi-Automatic Controller Design of Java-like Models”, Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, pp. 3:1-3:7, (ACM) [Zhang 2013]
• M. Colange, L. Hillah, F. Kordon, P. Parutto : “Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach”, Development, Operation and Management of Large-Scale Complex IT Systems, 17^th Monterey Workshop, Revised Selected Papers, vol. 7539, Lecture Notes in Computer Science, Oxford, United Kingdom, pp. 330-352, (Springer) [Colange 2012b]
• T. Ziadi, M. Almeida Da Silva, L. Hillah, M. Ziane : “A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams”, 16^th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Las Vegas, United States, pp. 107-116, (IEEE) [Ziadi 2011]
• Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Modeling complex systems with VeriJ”, 5^th Verification and Evaluation of Computer and Communication System (VECOS), Tunis, Tunisia, pp. 34-45, (British Informatics Society Ltd) [Zhang 2011a]
• L. Hillah, F. Kordon, Ch. Lakos, L. Petrucci : “{Extending PNML Scope: the Prioritised Petri Nets Experience}”, Petri Net and Software Engineering (PNSE 2011), vol. 723, CEUR-WS, Newcastle, United Kingdom, pp. 92-106, (CEUR) [Hillah 2011]
• L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “PNML Framework: an extendable reference implementation of the Petri Net Markup Language”, 31^st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), vol. 6128, Lecture Notes in Computer Science, Braga, Portugal, pp. 318-327, (Springer) [Hillah 2010a]
• S. Baarir, L. Hillah, F. Kordon, E. Renault : “Self-Reconfigurable Modular Robots and their Symbolic Configuration Space”, Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16^th Monterey Workshop 2010, Redmond, Revised Selected Papers, vol. 6662, Lecture Notes in Computer Science, Redmond, United States, pp. 103-121, (Springer) [Baarir 2010b]
• N. Trèves, L. Hillah, F. Kordon, L. Petrucci : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, 10^th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Aarhus, Denmark, pp. 19 [Trèves 2009]
• B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory”, 9^th International Workshop on Discrete Event Systems (WODES'08), Goteborg, Sweden, pp. 346-351, (IEEE Computer Society) [Bérard 2008c]
• F. Bonnefoi, L. Hillah, F. Kordon, X. Renault : “Design, Modeling and Analysis of ITS using UML and Petri Nets”, 10^th International IEEE Conference on Intelligent Transportation Systems, Seattle, WA, United States, pp. 314-319, (IEEE) [Bonnefoi 2007d]
• F. Bonnefoi, L. Hillah, F. Kordon, G. Fremont : “An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems”, Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Turku, Finland, pp. 65-86 [Bonnefoi 2006]
• A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot‑Adet, X. Renault, Y. Thierry‑Mieg : “New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems”, 6^th International Conference on Application of Concurrency to System Design (ACSD '06), Turku, Finland, pp. 273-275, (IEEE Computer Society) [Hamez 2006]
• L. Hillah, F. Kordon, L. Petrucci, N. Trèves : “PN standardisation: a survey”, 26^th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), vol. 4229, Lecture Notes in Computer Science, Paris, France, pp. 307-322, (Springer-Verlag) [Hillah 2006]

Edited books

• F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017 - The Seventh Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (Springer) [Kordon 2018c]

Other publications

• F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, L. Hillah, F. Hulin‑Hubard, F. Legond‑Aubry, N. Lohmann, A. Marechal, E. Paviot‑Adet, F. Pommereau, C. Rodríguez, Ch. Rohr, Y. Thierry‑Mieg, H. Wimmel, C. Wolf : “Web Report on the Model Checking Contest @ Petri Net 2013”, [Kordon 2013a]