A hardware/software codesign framework for developing complex embedded systems using formal model refinement. - Nikolaos S. Voros; Colin F. Snook; Stefan Hallerstede; Thierry Lecomte (FDL, 2004)

Safe and Reliable Metro Platform Screen Doors Control/Command Systems. - Thierry Lecomte (FM, 2008)

Applying a Formal Method in Industry: A 15-Year Trajectory. - Thierry Lecomte (FMICS, 2009)

Formally Checking Large Data Sets in the Railways - Thierry Lecomte; Lilian Burdy; Michael Leuschel (CoRR, 2012)

LLVM-Based Code Generation for B. - Richard Bonichon; David Déharbe; Thierry Lecomte; Valério Medeiros Jr. (SBMF, 2014)

Formal Virtual Modelling and Data Verification for Supervision Systems. - Thierry Lecomte (FM, 2015)

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Peter Fritzson; Jörg Brauer; Christian Kleijn; Thierry Lecomte; Markus Pfeil; Ole Green; Stylianos Basagiannis; Andrey Sadovykh (CPS Data, 2016)

Applying a Formal Method in Industry: A 25-Year Trajectory. - Thierry Lecomte; David Déharbe; Étienne Prun; Erwan Mottin (SBMF, 2017)

Disruptive Innovations for the Development and the Deployment of Fault-Free Software. - Thierry Lecomte (FM, 2018)

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). - Fuyuki Ishikawa; Alexander B. Romanovsky; Thierry Lecomte (NII Shonan Meet. Rep., 2018)

The Bourgeois Gentleman, Engineering and Formal Methods. - Thierry Lecomte (FM Workshops (1), 2019)

Programming the CLEARSY Safety Platform with B. - Thierry Lecomte (ABZ, 2020)

The First Twenty-Five Years of Industrial Use of the B-Method. - Michael J. Butler; Philipp Körner; Sebastian Krings; Thierry Lecomte; Michael Leuschel; Luis-Fernando Mejia; Laurent Voisin (FMICS, 2020)

A Safety Flasher Developed with the CLEARSY Safety Platform. - Thierry Lecomte; Bruno Lavaud; Denis Sabatier; Lilian Burdy (FMICS, 2020)

Digital Modelling in the Railways. - Thierry Lecomte (ISoLA (4), 2020)

Ensuring Safety with System Level Formal Modelling. - Thierry Lecomte; Mathieu Comptier; Julien Molinero Perez; Denis Sabatier (ISoLA (3), 2020)

Low Cost High Integrity Platform. - Thierry Lecomte; David Déharbe; Denis Sabatier; Étienne Prun; Patrick Péronne; Emmanuel Chailloux; Steven Varoumas; Adilla Susungi; Sylvain Conchon (CoRR, 2020)

The CLEARSY safety platform: 5 years of research, development and deployment. - Thierry Lecomte; David Déharbe; Paulin Fournier; Marcel Oliveira (Sci. Comput. Program., 2020)

Safe and Secure Architecture Using Diverse Formal Methods. - Thierry Lecomte (ISoLA (4), 2022)

Standardisation Considerations for Autonomous Train Control. - Jan Peleska 001; Anne E. Haxthausen; Thierry Lecomte (ISoLA (4), 2022)

Formal Modelling to Improve Safety and Security. - Thierry Lecomte (Applicable Formal Methods for Safe Industrial Products, 2023)

CSP Specification and Verification of a Relay-Based Railway Interlocking System. - P. E. R. Bezerra; Marcel Vinícius Medeiros Oliveira; Thierry Lecomte; Dalay Israel de Almeida Pereira (SBMF, 2023)

Teaching and Training in Formalisation with B. - Thierry Lecomte (FMTea, 2023)

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. - Simon Collart Dutilleul; Anne E. Haxthausen; Thierry Lecomte; Jim Woodcock 001 (Formal Aspects Comput., 2023)

Proving B with Atelier B. - Thierry Lecomte (The Application of Formal Methods, 2024)

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 (FMICS, 2024)

Formal Validation and ERTMS Simulation. - Thierry Lecomte (ISoLA (5), 2024)

From Safe Rails to Autonomous Realms - (Invited Paper). - Thierry Lecomte (TAROS, 2025)

Mathematical Proofs and Moving Trains: The Double Life of Atelier B. - Thierry Lecomte (ABZ, 2025)

Formal Methods in Industry. - Maurice H. ter Beek; Rod Chapman; Rance Cleaveland; Hubert Garavel; Rong Gu; Ivo ter Horst; Jeroen J. A. Keiren; Thierry Lecomte; Michael Leuschel; Kristin Yvonne Rozier; Augusto Sampaio 001; Cristina Seceleanu; et al. (Formal Aspects Comput., 2025)