Author of the publication

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

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)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)Modelling Hybrid Train Speed Controller using Proof and Refinement., , , , , and . ICECCS, page 107-113. IEEE, (2019)Mutation Testing for Rule-Based Verification of Railway Signaling Data., , and . IEEE Trans. Reliab., 70 (2): 676-691 (2021)On Developing Open Mobile Fault Tolerant Agent Systems., , and . SELMAS (LNCS), volume 4408 of Lecture Notes in Computer Science, page 21-40. Springer, (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)On using the CAMA framework for developing open mobile fault tolerant agent systems., , and . SELMAS, page 29-36. ACM, (2006)