Author of the publication

A Proof-Based Method for Modelling Timed Systems.

, and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 161-176. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SafeCap: from formal verification of railway interlocking to its certification., , , and . CoRR, (2021)A Proof-Based Method for Modelling Timed Systems., and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 161-176. Springer, (2014)Practical Verification of Railway Signalling Programs., , , and . IEEE Trans. Dependable Secur. Comput., 20 (1): 695-707 (2023)A Refinement Based Method for Developing Distributed Protocols., , , , , and . HASE, page 90-97. IEEE, (2019)Formal Distributed Protocol Development for Reservation of Railway Sections., , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 203-219. Springer, (2020)On using the CAMA framework for developing open mobile fault tolerant agent systems., , and . SELMAS, page 29-36. ACM, (2006)Safety Invariant Verification that Meets Engineers' Expectations., , , , and . RSSRail, volume 13294 of Lecture Notes in Computer Science, page 20-31. Springer, (2022)Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems., , , , , , and . FDL, page 1-7. IEEE, (2016)On fault tolerance reuse during refinement., , and . SERENE, page 22-31. ACM, (2010)Mutation Testing for Rule-Based Verification of Railway Signaling Data., , and . IEEE Trans. Reliab., 70 (2): 676-691 (2021)