Verification of railway interlocking systems, Proceedings 4th International Workshop on Engineering Safety and Security Systems, pp.19-31, 2015. ,
DOI : 10.4204/EPTCS.184.2
Verification by discrete simulation of interlocking systems, 29th Annual European Simulation and Modelling Conference 2015, pp.402-409, 2015. ,
A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. The Annals of Mathematical Statistics, pp.493-507, 1952. ,
Formal Verification of a Railway Interlocking System using Model Checking, Formal Aspects of Computing, vol.10, issue.4, pp.361-380, 1998. ,
DOI : 10.1007/s001650050022
Solid-state interlocking (SSI): an integrated electronic signalling system for mainline railways, IEE Proceedings B (Electric Power Applications), pp.148-158, 1987. ,
DOI : 10.1049/ip-b.1987.0024
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard, pp.99-109, 1999. ,
DOI : 10.1007/3-540-48153-2_9
Distributing the Challenge of Model Checking Interlocking Control Tables, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp.276-289, 2012. ,
DOI : 10.1007/978-3-642-34032-1_26
Some trends in formal methods applications to railway signaling. Formal methods for industrial critical systems: a survey of applications, p.167183, 2013. ,
Applied bounded model checking for interlocking system designs, International Conference on Software Engineering and Formal Methods, pp.205-220, 2013. ,
Towards an Integrated Model Checker for Railway Signalling Data, Formal MethodsGetting IT Right, pp.204-223, 2002. ,
DOI : 10.1007/3-540-45614-7_12
Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification -25th International Conference, pp.576-591, 2013. ,
DOI : 10.1007/978-3-642-39799-8_38
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, Leveraging Applications of Formal Methods, Verification and Validation . Specialized Techniques and Applications, pp.143-159, 2014. ,
DOI : 10.1007/978-3-662-45231-8_11
URL : https://hal.archives-ouvertes.fr/hal-01087828
Bounded linear-time temporal logic: A proof-theoretic investigation, Annals of Pure and Applied Logic, vol.163, issue.4, pp.439-466, 2012. ,
DOI : 10.1016/j.apal.2011.12.002
URL : http://dx.doi.org/10.1016/j.apal.2011.12.002
Statistical Model Checking: An Overview, pp.122-135, 2010. ,
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593
RailML -a standard data interface for railroad applications. Publication of, 2004. ,
An overview of the Scala programming language, 2004. ,
OscaR: Scala in OR Available from https, 2012. ,
Tool support for checking railway interlocking designs, Proceedings of the 10th Australian workshop on Safety critical systems and software, pp.101-107, 2006. ,
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings, pp.246-260, 2012. ,
DOI : 10.1007/978-3-642-34032-1_24