, Standard NF EN 50128 Railway applications. Communication, signalling and processing systems. Software for railway control and protection systems
, Standard IEC 61508 Functional Safety of Electrical/Electronic/Programmable Electronic Safety
La signalisation fériovaire. Département Edition de l'Association des Ingénieurs Anciens Elèves de l'Ecole Nationale des Ponts et Chaussées, 1987. ,
50126 Railway Applications Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) ,
Hoang Nga Nguyen, and Markus Roggenbach, Comparing Formal Verification Approaches of Interlocking ,
Formal Methods for Safe Design of Autonomous Systems dedicated to risk management, 2016. ,
, Elements of mathematical logic (model theory), 1967.
Chapter 27. formal methods, 2011. ,
, Modeling in Event-B: System and Software Engineering, 2010.
, Modeling in Event-B: System and Software Engineering, 2010.
Peled, Model checking, 2001. ,
A formal framework for hybrid event b, Electronic Notes in Theoretical Computer Science, vol.309, pp.3-12, 2014. ,
A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems, Logical Methods in Computer Science, vol.8, issue.4, p.10, 2012. ,
Model checking hybrid systems -(invited talk), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications -6th International Symposium, pp.385-386, 2014. ,
Formal Development of a train control system using event-B. Theses, ETH Zurich, 2015. ,
Verification of railway interlocking systems, ESSS 2015, pp.19-31, 2015. ,
Formal modelling and verification of interlocking systems featuring sequential release, Science of Computer Programming, vol.133, pp.91-115, 2017. ,
On the Use of Static Checking in the Verification of Interlocking Systems, pp.266-278, 2016. ,
Dynamic state machines for modelling railway control systems, Science of Computer Programming, vol.133, issue.2, pp.116-153, 2014. ,
Refining abstractions of hybrid systems using counterexample fragments, Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, pp.242-257, 2005. ,