Thierry Lecomte

According to our database, Thierry Lecomte authored at least 26 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formal Validation and ERTMS Simulation.

Thierry Lecomte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 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

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems.

Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock

Formal Aspects Comput., March, 2023

Teaching and Training in Formalisation with B.

Thierry Lecomte

Proceedings of the Formal Methods Teaching: 5th International Workshop, 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

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

Formal Modelling to Improve Safety and Security.

Thierry Lecomte

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Standardisation Considerations for Autonomous Train Control.

Jan Peleska, Anne E. Haxthausen, Thierry Lecomte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Safe and Secure Architecture Using Diverse Formal Methods.

Thierry Lecomte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

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

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

Ensuring Safety with System Level Formal Modelling.

Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Digital Modelling in the Railways.

Thierry Lecomte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

A Safety Flasher Developed with the CLEARSY Safety Platform.

Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy

Proceedings of the Formal Methods for Industrial Critical Systems, 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

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Programming the CLEARSY Safety Platform with B.

Thierry Lecomte

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

The Bourgeois Gentleman, Engineering and Formal Methods.

Thierry Lecomte

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

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

Disruptive Innovations for the Development and the Deployment of Fault-Free Software.

Thierry Lecomte

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Applying a Formal Method in Industry: A 25-Year Trajectory.

Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.

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

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

Formal Virtual Modelling and Data Verification for Supervision Systems.

Thierry Lecomte

Proceedings of the FM 2015: Formal Methods, 2015

2014

LLVM-Based Code Generation for B.

Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2012

Formally Checking Large Data Sets in the Railways

Thierry Lecomte, Lilian Burdy, Michael Leuschel

CoRR, 2012

2009

Applying a Formal Method in Industry: A 15-Year Trajectory.

Thierry Lecomte

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Safe and Reliable Metro Platform Screen Doors Control/Command Systems.

Thierry Lecomte

Proceedings of the FM 2008: Formal Methods, 2008

2004

A hardware/software codesign framework for developing complex embedded systems using formal model refinement.

Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte

Proceedings of the Forum on specification and Design Languages, 2004