| 2023 | CoDIT | Representation of Time Petri Nets using Interval Weighted Automata. | Brangre Daviaud, Sbastien Lahaye, Mehdi Lhommeau, Jan Komenda |
| 2023 | CoDIT | Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. | Shaowen Miao, Aiwen Lai, Xiao Yu, Sbastien Lahaye, Jan Komenda |
| 2019 | CoDIT | A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. | Aiwen Lai, Sbastien Lahaye, Alessandro Giua |
| 2012 | ICINCO | Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata. | Rabah Boukra, Sbastien Lahaye, Jean-Louis Boimond |
| 2009 | ICINCO | A Min-plus Approach for Traffic Flow Modeling. | Julien Rousseau, Sbastien Lahaye, Claude Martinez, Jean-Louis Boimond |
| 2007 | ICINCO | Supervisory control of heap models using synchronous composition. | Jan Komenda, Jean-Louis Boimond, Sbastien Lahaye |
| 2006 | ICINCO | On just in time control of switching max-plus linear systems. | Michel Alsaba, Sbastien Lahaye, Jean-Louis Boimond |
| 2005 | ICINCO | Performance analysis of timed event graphs with multipliers using (min, +) algebra. | Samir Hamaci, Jean-Louis Boimond, Sbastien Lahaye |
| 2004 | ICINCO | On Modeling and Control of Discrete Timed Event Graphs with Multipliers Using (min, +) Algebra. | Samir Hamaci, Jean-Louis Boimond, Sbastien Lahaye |
| 2000 | SMC | MAISTeR: a user friendly software package for performance analysis and decision, based on (max, +) algebra. | Jean-Louis Ferrier, Sbastien Lahaye, Laurent Hardouin, Jean-Louis Boimond |