Follow
Thierry Lecomte
Thierry Lecomte
ClearSy Systems Engineering
Verified email at clearsy.com - Homepage
Title
Cited by
Cited by
Year
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
1432016
Formal methods in safety-critical railway systems
T Lecomte, T Servat, G Pouzancre
10th Brasilian symposium on formal methods, 29-31, 2007
952007
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
722004
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
472017
Safe and reliable metro platform screen doors control/command systems
T Lecomte
International Symposium on Formal Methods, 430-434, 2008
412008
Formally checking large data sets in the railways
T Lecomte, L Burdy, M Leuschel
arXiv preprint arXiv:1210.6815, 2012
402012
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
362020
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
262004
Applying a formal method in industry: a 15-year trajectory
T Lecomte
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009
252009
UML-B Specification for Proven Embedded Systems Design
F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ...
Springer US, 2004
242004
Collaborative Modeling and Simulation for Cyber-Physical Systems
PG Larsen, J Fitzgerald, J Woodcock, T Lecomte
Trustworthy Cyber-Physical Systems Engineering, 203-224, 2016
152016
Standardisation considerations for autonomous train control
J Peleska, AE Haxthausen, T Lecomte
International Symposium on Leveraging Applications of Formal Methods, 286-307, 2022
122022
LLVM-based code generation for B
R Bonichon, D Déharbe, T Lecomte, V Medeiros Jr
Brazilian Symposium on Formal Methods, 1-16, 2014
112014
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
Patrons de conception prouvés
T Lecomte, D Méry, D Cansell
GENIE LOGICIEL-TOULOUSE THEN PARIS- 81, 14, 2007
92007
Formal data validation in the railways
T Lecomte, E Mottin
Safety-critical Systems Symposium 2016, 2016
82016
The B method takes up floating-point numbers
L Burdy, JL Dufour, T Lecomte
Embedded Real Time Software and Systems (ERTS2012), 2012
82012
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
82004
Event Driven B: methodology, language, tool support and experiments
T Lecomte
RCS'02 International Workshop on Refinement of Critical Systems: Methods …, 2002
82002
An introduction to formal methods
NS Voros, W Mueller, C Snook
UML-B Specification for Proven Embedded Systems Design. Springer, 1-20, 2004
72004
The system can't perform the operation now. Try again later.
Articles 1–20