Thierry Lecomte
Thierry Lecomte
ClearSy Systems Engineering
Email verificata su clearsy.com - Home page
Titolo
Citata da
Citata da
Anno
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
902016
Formal methods in safety-critical railway systems
T Lecomte, T Servat, G Pouzancre
10th Brasilian symposium on formal methods, 29-31, 2007
832007
Safe and reliable metro platform screen doors control/command systems
T Lecomte
International Symposium on Formal Methods, 430-434, 2008
372008
Formally checking large data sets in the railways
T Lecomte, L Burdy, M Leuschel
arXiv preprint arXiv:1210.6815, 2012
332012
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
302017
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
202009
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
12
LLVM-based code generation for B
R Bonichon, D Déharbe, T Lecomte, V Medeiros
Brazilian Symposium on Formal Methods, 1-16, 2014
92014
The B method takes up floating-point numbers
L Burdy, JL Dufour, T Lecomte
Embedded Real Time Software and Systems (ERTS2012), 2012
82012
Patrons de conception prouvés
T Lecomte, D Méry, D Cansell
GENIE LOGICIEL-TOULOUSE THEN PARIS- 81, 14, 2007
82007
Event Driven B: methodology, language, tool support and experiments
T Lecomte
International Workshop on Refinement of Critical Systems: Methods, Tools and …, 2002
72002
RSSRail 2017. LNCS, vol. 10598
A Fantechi, T Lecomte, AB Romanovsky
Springer, Heidelberg, 2017
6*2017
Formal data validation in the railways
T Lecomte, E Mottin
Safety-critical Systems Symposium 2016, 2016
62016
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
Collaborative Modeling and Simulation for Cyber-Physical Systems
PG Larsen, J Fitzgerald, J Woodcock, T Lecomte
Trustworthy Cyber-Physical Systems Engineering, 177, 2016
42016
Return of experience on automating refinement in B
T Lecomte
1st International Workshop about Sets and Tools (SETS 2014), 57-68, 2014
42014
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
32020
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20