| Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ... 2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016 | 163 | 2016 |
| Formal methods in safety-critical railway systems T Lecomte, T Servat, G Pouzancre 10th Brasilian symposium on formal methods, 29-31, 2007 | 95 | 2007 |
| Applying a formal method in industry: a 25-year trajectory T Lecomte, D Déharbe, É Prun, E Mottin Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017 | 80 | 2017 |
| U2B: a tool for translating UML-B models into B F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... UML-B specification for proven embedded systems design, 85-108, 2004 | 75 | 2004 |
| The first twenty-five years of industrial use of the B-method M Butler, P Körner, S Krings, T Lecomte, M Leuschel, LF Mejia, L Voisin International Conference on Formal Methods for Industrial Critical Systems …, 2020 | 60 | 2020 |
| Formally checking large data sets in the railways T Lecomte, L Burdy, M Leuschel arXiv preprint arXiv:1210.6815, 2012 | 43 | 2012 |
| Safe and reliable metro platform screen doors control/command systems T Lecomte International Symposium on Formal Methods, 430-434, 2008 | 42 | 2008 |
| The UML-B profile for formal systems modelling in UML F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... UML-B specification for proven embedded systems design, 69-84, 2004 | 26 | 2004 |
| UML-B Specification for Proven Embedded Systems Design F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... Springer US, 2004 | 25 | 2004 |
| Standardisation considerations for autonomous train control J Peleska, AE Haxthausen, T Lecomte International Symposium on Leveraging Applications of Formal Methods, 286-307, 2022 | 23 | 2022 |
| Formal methods in industry MH ter Beek, R Chapman, R Cleaveland, H Garavel, R Gu, I ter Horst, ... Formal Aspects of Computing 37 (1), 1-38, 2024 | 14 | 2024 |
| LLVM-based code generation for B R Bonichon, D Déharbe, T Lecomte, V Medeiros Jr Brazilian Symposium on Formal Methods, 1-16, 2014 | 13 | 2014 |
| Trustworthy Cyber-Physical Systems Engineering, chap. Chapter 8: Collaborative Modelling and Simulation for Cyber-Physical Systems PG Larsen, J Fitzgerald, J Woodcock, T Lecomte Chapman and Hall/CRC (September 2016), iSBN 9781498742450, 0 | 13 | |
| Formal data validation in the railways T Lecomte, E Mottin Safety-critical Systems Symposium 2016, 2016 | 10 | 2016 |
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy … A Fantechi, T Lecomte, A Romanovsky Springer, 2017 | 9* | 2017 |
| The B method takes up floating-point numbers L Burdy, JL Dufour, T Lecomte Embedded Real Time Software and Systems (ERTS2012), 2012 | 9 | 2012 |
| Event Driven B: methodology, language, tool support and experiments T Lecomte RCS'02 International Workshop on Refinement of Critical Systems: Methods …, 2002 | 9 | 2002 |
| Patrons de conception prouvés T Lecomte, D Méry, D Cansell GENIE LOGICIEL-TOULOUSE THEN PARIS- 81, 14, 2007 | 8 | 2007 |
| An introduction to formal methods NS Voros, W Mueller, C Snook UML-B Specification for Proven Embedded Systems Design, 1-20, 2004 | 8 | 2004 |
| UML-B specification and hardware implementation of a hamming coder/decoder F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ... UML-B Specification for Proven Embedded Systems Design, 261-277, 2004 | 8 | 2004 |
