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
1022016
Formal methods in safety-critical railway systems
T Lecomte, T Servat, G Pouzancre
10th Brasilian symposium on formal methods, 29-31, 2007
862007
Safe and reliable metro platform screen doors control/command systems
T Lecomte
International Symposium on Formal Methods, 430-434, 2008
402008
Applying a formal method in industry: a 25-year trajectory
T Lecomte, D Déharbe, É Prun, E Mottin
Brazilian Symposium on Formal Methods, 70-87, 2017
362017
Formally checking large data sets in the railways
T Lecomte, L Burdy, M Leuschel
arXiv preprint arXiv:1210.6815, 2012
362012
UML-B Specification for Proven Embedded Systems Design
F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ...
Springer US, 2004
232004
Applying a formal method in industry: a 15-year trajectory
T Lecomte
International Workshop on Formal Methods for Industrial Critical Systems, 26-34, 2009
192009
Collaborative Modeling and Simulation for Cyber-Physical Systems
PG Larsen, J Fitzgerald, J Woodcock, T Lecomte
Trustworthy Cyber-Physical Systems Engineering, 203-224, 2016
142016
LLVM-based code generation for B
R Bonichon, D Déharbe, T Lecomte, V Medeiros
Brazilian Symposium on Formal Methods, 1-16, 2014
92014
Patrons de conception prouvés
T Lecomte, D Méry, D Cansell
GENIE LOGICIEL-TOULOUSE THEN PARIS- 81, 14, 2007
92007
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
82020
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
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
7*2017
Event Driven B: methodology, language, tool support and experiments
T Lecomte
International Workshop on Refinement of Critical Systems: Methods, Tools and …, 2002
72002
D4. 4.1: Methodological Guidelines: Interface based synthesis/refinement in B
T Lecomte
IST-2000-30103 PUSSEE, Project Report, 2003
52003
Abstract modeling: System level modeling and refinement in B
T Lecomte, JR Abrial, F Badeau, C Czernecki, D Sabatier, C Snook
Technical Report, Project IST-2000-30103 PUSSEE, 2003
52003
Double cœur et preuve formelle pour automatismes sil4
T Lecomte
Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement …, 2016
32016
Return of experience on automating refinement in B
T Lecomte
1st International Workshop about Sets and Tools (SETS 2014), 57-68, 2014
32014
Dwarf signal formalisation in B
T Lecomte, B Atelier
FME, Rail Workshop 5, 22-24, 0
3
The system can't perform the operation now. Try again later.
Articles 1–20