T. Lecomte

Publications38
h-index9
Citations322
Highly Influential Citations20
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • M. Leuschel
  • 314 Publications • 5,284 Citations
  • P. Larsen
  • 236 Publications • 4,907 Citations
  • A. Haxthausen
  • 93 Publications • 1,454 Citations
  • J. Fitzgerald
  • 183 Publications • 3,788 Citations
  • Publications
  • Influence
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
TLDR
The INTO-CPS project is described, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs) and challenges facing model-based CPS engineering are described.
View on IEEE
Formally Checking Large Data Sets in the Railways
This article presents industrial experience of validating large data sets against specification written using the B / Event-B mathematical language and the ProB model checker.
View PDF on arXiv
Applying a Formal Method in Industry: A 15-Year Trajectory
TLDR
Industrial experience of applying the B formal method in the industry, on diverse application fields (railways, automotive, smartcard, etc.) is presented.
View via Publisher
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
TLDR
Some recent applications of the B formal method to the development of safety critical system, guaranteeing a correct by construction behaviour of the system in absence of failure of its components are presented.
View via Publisher
Applying a Formal Method in Industry: A 25-Year Trajectory
TLDR
Industrial applications involving formal methods are still exceptions to the general rule, but feedback provided by industry to academics is not as constructive as it might be.
View PDF on arXiv
The First Twenty-Five Years of Industrial Use of the B-Method
TLDR
A survey of the industrial usage of the B-Method since the first toolset in 1993 and the inauguration of the driverless metro line 14 in Paris in 1999 is presented.
View via Publisher
UML-B specification for proven embedded systems design
TLDR
The UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder and the PUSSEE Method in Practice are presented.
View via Publisher
Formal Methods in Safety-Critical Railway Systems
TLDR
Some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers, which have their functional specification based on a formal model.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the refereed proceedings of the First International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2016, held in Paris, France, in June 2016. The 15…
View on Springer
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
s of Keynote Talks Cyber Security in Railways: Quo Vadis?
View on Springer
...
...