Author of the publication

Specification Clones: An Empirical Study of the Structure of Event-B Specifications.

, , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 152-167. Springer, (2017)

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

Using dafny to solve the VerifyThis 2021 challenges., , and . FTfJP@ECOOP, page 32-38. ACM, (2021)Robotics: A New Mission for FRET Requirements., , , , and . NFM, volume 14627 of Lecture Notes in Computer Science, page 359-376. Springer, (2024)Modelling the Turtle Python library in CSP., , , and . AREA@IJCAI-ECAI, volume 362 of EPTCS, page 15-22. (2022)Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems., , , , , , , and . ISSRE Workshops, page 401-406. IEEE, (2021)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , and 3 other author(s). FMFun, volume 1301 of Communications in Computer and Information Science, page 1-26. Springer, (2019)Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages., , , , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 471-490. Springer, (2019)FRETting and Formal Modelling: A Mechanical Lung Ventilator., , , , and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 360-383. Springer, (2024)An Institution for Event-B., , and . WADT, volume 10644 of Lecture Notes in Computer Science, page 104-119. Springer, (2016)Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal., , , , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 39-44. Springer, (2022)Integrating Formal Verification and Assurance: An Inspection Rover Case Study., , , , , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 53-71. Springer, (2021)