| 2026 | FM | Pragmatic Uses of AI in Formal Methods-Based Railway Projects: Early Lessons and Perspectives (Extended Abstract). | Thierry Lecomte, Dalay Almeida, Norman Maury |
| 2024 | FMICS | Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. | Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte |
| 2024 | ISoLA | Formal Validation and ERTMS Simulation. | Thierry Lecomte |
| 2022 | ISoLA | Safe and Secure Architecture Using Diverse Formal Methods. | Thierry Lecomte |
| 2022 | ISoLA | Standardisation Considerations for Autonomous Train Control. | Jan Peleska, Anne E. Haxthausen, Thierry Lecomte |
| 2020 | FMICS | The First Twenty-Five Years of Industrial Use of the B-Method. | Michael J. Butler, Philipp Krner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin |
| 2020 | FMICS | A Safety Flasher Developed with the CLEARSY Safety Platform. | Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy |
| 2020 | ISoLA | Digital Modelling in the Railways. | Thierry Lecomte |
| 2020 | ISoLA | Ensuring Safety with System Level Formal Modelling. | Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier |
| 2019 | FM | The Bourgeois Gentleman, Engineering and Formal Methods. | Thierry Lecomte |
| 2018 | FM | Disruptive Innovations for the Development and the Deployment of Fault-Free Software. | Thierry Lecomte |
| 2015 | FM | Formal Virtual Modelling and Data Verification for Supervision Systems. | Thierry Lecomte |
| 2009 | FMICS | Applying a Formal Method in Industry: A 15-Year Trajectory. | Thierry Lecomte |
| 2008 | FM | Safe and Reliable Metro Platform Screen Doors Control/Command Systems. | Thierry Lecomte |
| 2004 | FDL | A hardware/software codesign framework for developing complex embedded systems using formal model refinement. | Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte |