Thierry Lecomte

42 papers B 3C 7Journal 9Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings RSSRail Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte
2025	—	`conf`	Bridging the B-Method and ACSL: Towards Verified C Code. SBMF Fagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte
2025	—	`conf`	Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems. SBMF Thierry Lecomte
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. 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, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025	—	`conf`	From Safe Rails to Autonomous Realms - (Invited Paper). TAROS Thierry Lecomte
2025	C	`conf`	Mathematical Proofs and Moving Trains: The Double Life of Atelier B. ABZ Thierry Lecomte
2024	C	`conf`	Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. FMICS Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte
2024	—	`conf`	Formal Validation and ERTMS Simulation. ISoLA (5) Thierry Lecomte
2024	—	`conf`	Proving B with Atelier B. The Application of Formal Methods Thierry Lecomte
2023	—	`conf`	CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
2023	—	`conf`	Formal Modelling to Improve Safety and Security. Applicable Formal Methods for Safe Industrial Products Thierry Lecomte
2023	J	`jnl`	Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
2023	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings RSSRail Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte
2023	—	`conf`	Teaching and Training in Formalisation with B. FMTea Thierry Lecomte
2022	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings RSSRail Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte
2022	—	`conf`	Safe and Secure Architecture Using Diverse Formal Methods. ISoLA (4) Thierry Lecomte
2022	—	`conf`	Standardisation Considerations for Autonomous Train Control. ISoLA (4) Jan Peleska, Anne E. Haxthausen, Thierry Lecomte
2020	C	`conf`	A Safety Flasher Developed with the CLEARSY Safety Platform. FMICS Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
2020	J	`jnl`	Applying a Formal Method in Industry: a 25-Year Trajectory. CoRR Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
2020	—	`conf`	Digital Modelling in the Railways. ISoLA (4) Thierry Lecomte
2020	—	`conf`	Ensuring Safety with System Level Formal Modelling. ISoLA (3) Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier
2020	J	`jnl`	Low Cost High Integrity Platform. CoRR Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
2020	C	`conf`	Programming the CLEARSY Safety Platform with B. ABZ Thierry Lecomte
2020	J	`jnl`	The Bourgeois Gentleman, Engineering and Formal Methods. CoRR Thierry Lecomte
2020	J	`jnl`	The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
2020	J	`jnl`	The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
2020	C	`conf`	The First Twenty-Five Years of Industrial Use of the B-Method. FMICS Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
2019	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings RSSRail Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky
2019	—	`conf`	The Bourgeois Gentleman, Engineering and Formal Methods. FM Workshops (1) Thierry Lecomte
2018	B	`conf`	Disruptive Innovations for the Development and the Deployment of Fault-Free Software. FM Thierry Lecomte
2018	J	`jnl`	Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
2017	—	`conf`	Applying a Formal Method in Industry: A 25-Year Trajectory. SBMF Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
2017	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings RSSRail Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky
2016	—	`ed.`	Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings SBMF Leila Ribeiro, Thierry Lecomte
2016	—	`conf`	Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data 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
2016	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings RSSRail Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky
2015	B	`conf`	Formal Virtual Modelling and Data Verification for Supervision Systems. FM Thierry Lecomte
2014	—	`conf`	LLVM-Based Code Generation for B. SBMF Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.
2012	J	`jnl`	Formally Checking Large Data Sets in the Railways CoRR Thierry Lecomte, Lilian Burdy, Michael Leuschel
2009	C	`conf`	Applying a Formal Method in Industry: A 15-Year Trajectory. FMICS Thierry Lecomte
2008	B	`conf`	Safe and Reliable Metro Platform Screen Doors Control/Command Systems. FM Thierry Lecomte
2004	C	`conf`	A hardware/software codesign framework for developing complex embedded systems using formal model refinement. FDL Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte