Thierry Lecomte

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 23

Top Topics

Development Lifecycle

Provably Correct

Top Venues

Publications

Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte
Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. FMICS (2024)
Thierry Lecomte
Teaching and Training in Formalisation with B. FMTea (2023)
P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF (2023)
Thierry Lecomte
Formal Modelling to Improve Safety and Security. Applicable Formal Methods for Safe Industrial Products (2023)
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35 (1) (2023)
Thierry Lecomte
Safe and Secure Architecture Using Diverse Formal Methods. ISoLA (4) (2022)
Jan Peleska, Anne E. Haxthausen, Thierry Lecomte
Standardisation Considerations for Autonomous Train Control. ISoLA (4) (2022)
Thierry Lecomte
Teaching and Training in Formalisation with B. FMTea (2022)
Thierry Lecomte
Programming the CLEARSY Safety Platform with B. ABZ (2020)
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
A Safety Flasher Developed with the CLEARSY Safety Platform. FMICS (2020)
Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier
Ensuring Safety with System Level Formal Modelling. ISoLA (3) (2020)
Thierry Lecomte
The Bourgeois Gentleman, Engineering and Formal Methods. CoRR (2020)
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR (2020)
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
Low Cost High Integrity Platform. CoRR (2020)
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199 (2020)
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
The First Twenty-Five Years of Industrial Use of the B-Method. FMICS (2020)
Thierry Lecomte
Digital Modelling in the Railways. ISoLA (4) (2020)
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
Applying a Formal Method in Industry: a 25-Year Trajectory. CoRR (2020)
Thierry Lecomte
The Bourgeois Gentleman, Engineering and Formal Methods. FM Workshops (1) (2019)
Thierry Lecomte
Disruptive Innovations for the Development and the Deployment of Fault-Free Software. FM (2018)
Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. 2018 (2018)
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
Applying a Formal Method in Industry: A 25-Year Trajectory. SBMF (2017)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data (2016)
Thierry Lecomte
Formal Virtual Modelling and Data Verification for Supervision Systems. FM (2015)
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.
LLVM-Based Code Generation for B. SBMF (2014)
Thierry Lecomte, Lilian Burdy, Michael Leuschel
Formally Checking Large Data Sets in the Railways CoRR (2012)
Thierry Lecomte
Applying a Formal Method in Industry: A 15-Year Trajectory. FMICS (2009)
Thierry Lecomte
Safe and Reliable Metro Platform Screen Doors Control/Command Systems. FM (2008)
Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte
A hardware/software codesign framework for developing complex embedded systems using formal model refinement. FDL (2004)