default search action

combined dblp search
author search
venue search
publication search

ask others

Thierry Lecomte

> Home > Persons

Person information

affiliation: CLEARSY, Aix-en-Provence, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BeekCCGGHKLLR0S25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BeekCCGGHKLLR0S25
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:
Formal Methods in Industry. Formal Aspects Comput. 37(1): 7:1-7:38 (2025)
2023
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/DutilleulHLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DutilleulHLW23
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): 1:1-1:2 (2023)
2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LecomteDFO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LecomteDFO20
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira:
The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199: 102524 (2020)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Lecomte24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Lecomte24
Thierry Lecomte:
Proving B with Atelier B. The Application of Formal Methods 2024: 329-345
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PereiraJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PereiraJL24
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: 182-198
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Lecomte24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Lecomte24
Thierry Lecomte:
Formal Validation and ERTMS Simulation. ISoLA (5) 2024: 142-158
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Lecomte23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Lecomte23
Thierry Lecomte:
Formal Modelling to Improve Safety and Security. Applicable Formal Methods for Safe Industrial Products 2023: 147-159
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BezerraOLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BezerraOLP23
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: 36-54
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Lecomte23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Lecomte23
Thierry Lecomte:
Teaching and Training in Formalisation with B. FMTea 2023: 82-95
2022
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/PeleskaHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/PeleskaHL22
Jan Peleska, Anne E. Haxthausen, Thierry Lecomte:
Standardisation Considerations for Autonomous Train Control. ISoLA (4) 2022: 286-307
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Lecomte22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Lecomte22
Thierry Lecomte:
Safe and Secure Architecture Using Diverse Formal Methods. ISoLA (4) 2022: 321-333
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Lecomte20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Lecomte20
Thierry Lecomte:
Programming the CLEARSY Safety Platform with B. ABZ 2020: 124-138
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ButlerKKLLMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ButlerKKLLMV20
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: 189-209
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LecomteLSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LecomteLSB20
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy:
A Safety Flasher Developed with the CLEARSY Safety Platform. FMICS 2020: 210-227
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Lecomte20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Lecomte20
Thierry Lecomte:
Digital Modelling in the Railways. ISoLA (4) 2020: 124-139
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LecomteCPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LecomteCPS20
Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier:
Ensuring Safety with System Level Formal Modelling. ISoLA (3) 2020: 393-403
2019
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Lecomte19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lecomte19
Thierry Lecomte:
The Bourgeois Gentleman, Engineering and Formal Methods. FM Workshops (1) 2019: 12-18
2018
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Lecomte18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lecomte18
Thierry Lecomte:
Disruptive Innovations for the Development and the Deployment of Fault-Free Software. FM 2018: 686-689
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LecomteDPM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LecomteDPM17
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin:
Applying a Formal Method in Industry: A 25-Year Trajectory. SBMF 2017: 70-87
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/LarsenFWFBKLPGB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16
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: 1-6
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Lecomte15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lecomte15
Thierry Lecomte:
Formal Virtual Modelling and Data Verification for Supervision Systems. FM 2015: 597-600
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BonichonDLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BonichonDLM14
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.:
LLVM-Based Code Generation for B. SBMF 2014: 1-16
2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Lecomte09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Lecomte09
Thierry Lecomte:
Applying a Formal Method in Industry: A 15-Year Trajectory. FMICS 2009: 26-34
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Lecomte08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lecomte08
Thierry Lecomte:
Safe and Reliable Metro Platform Screen Doors Control/Command Systems. FM 2008: 430-434
2004
[c1]
- view
- export record
  dblp key:
  - conf/fdl/VorosSHL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/VorosSHL04
Nikolaos 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: 598-612

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2023
Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14198, Springer 2023, ISBN 978-3-031-43365-8 [contents]
2022
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2022
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Lecture Notes in Computer Science 13294, Springer 2022, ISBN 978-3-031-05813-4 [contents]
2019
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2019
Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11495, Springer 2019, ISBN 978-3-030-18743-9 [contents]
2017
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2017
Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Lecture Notes in Computer Science 10598, Springer 2017, ISBN 978-3-319-68498-7 [contents]
2016
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2016
Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Lecture Notes in Computer Science 9707, Springer 2016, ISBN 978-3-319-33950-4 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2016
Leila Ribeiro, Thierry Lecomte:
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science 10090, 2016, ISBN 978-3-319-49814-0 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07190
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07190
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin:
Applying a Formal Method in Industry: a 25-Year Trajectory. CoRR abs/2005.07190 (2020)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07191
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 abs/2005.07191 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-08309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-08309
Thierry Lecomte:
The Bourgeois Gentleman, Engineering and Formal Methods. CoRR abs/2005.08309 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10662
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira:
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR abs/2005.10662 (2020)
2018
[i2]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/IshikawaRL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IshikawaRL18
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)
2012
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1210-6815
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-6815
Thierry Lecomte, Lilian Burdy, Michael Leuschel:
Formally Checking Large Data Sets in the Railways. CoRR abs/1210.6815 (2012)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.