| An STPA-based formal composition framework for trustworthy autonomous maritime systems D Dghaym, TS Hoang, SR Turnock, M Butler, J Downes, B Pritchard Safety science 136, 105139, 2021 | 41 | 2021 |
| A composition mechanism for refinement-based methods TS Hoang, D Dghaym, C Snook, M Butler 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 32 | 2017 |
| Diagram-led formal modelling using iUML-B for hybrid ERTMS level 3 D Dghaym, M Poppleton, C Snook Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 30 | 2018 |
| Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B D Dghaym, M Dalvandi, M Poppleton, C Snook International Journal on Software Tools for Technology Transfer 22, 297-313, 2020 | 21 | 2020 |
| Domain-specific scenarios for refinement-based methods C Snook, TS Hoang, D Dghaym, AS Fathabadi, M Butler Journal of Systems Architecture 112, 101833, 2021 | 19 | 2021 |
| Behaviour-driven formal model development C Snook, TS Hoang, D Dghyam, M Butler, T Fischer, R Schlick, K Wang Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 17 | 2018 |
| Formal modelling techniques for efficient development of railway control products M Butler, D Dghaym, T Fischer, TS Hoang, K Reichl, C Snook, ... Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017 | 17 | 2017 |
| Formal model validation through acceptance tests T Fischer, D Dghyam Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2019 | 12 | 2019 |
| Building an extensible textual framework for the rodin platform TS Hoang, C Snook, D Dghaym, AS Fathabadi, M Butler International Conference on Software Engineering and Formal Methods, 132-147, 2022 | 10 | 2022 |
| A graphical tool for event refinement structures in Event-B D Dghaym, MG Trindade, M Butler, AS Fathabadi Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 10 | 2016 |
| The CamilleX framework for the Rodin platform TS Hoang, C Snook, D Dghaym, A Salehi Fathabadi, M Butler International Conference on Rigorous State-Based Methods, 124-129, 2021 | 9 | 2021 |
| Verifying system-level security of a smart ballot box D Dghaym, TS Hoang, M Butler, R Hu, L Aniello, V Sassone International Conference on Rigorous State-Based Methods, 34-49, 2021 | 8 | 2021 |
| Extending ERS for modelling dynamic workflows in Event-B D Dghaym, M Butler, AS Fathabadi 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 8 | 2017 |
| Extensible record structures in Event-B A Salehi Fathabadi, C Snook, TS Hoang, D Dghaym, M Butler International Conference on Rigorous State-Based Methods, 130-136, 2021 | 6 | 2021 |
| Behaviour-driven formal model development of the etcs hybrid level 3 M Butler, D Dghaym, TS Hoang, T Omitola, C Snook, A Fellner, R Schlick, ... 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 4 | 2019 |
| Developing a framework for trustworthy autonomous maritime systems D Dghaym, S Turnock, M Butler, J Downes, TS Hoang, B Pritchard Sciendo, 2019 | 4 | 2019 |
| Class-diagrams for abstract data types TS Hoang, C Snook, D Dghaym, M Butler Theoretical Aspects of Computing–ICTAC 2017: 14th International Colloquium …, 2017 | 4 | 2017 |
| Evaluation of graphical control flow management approaches for Event-B modelling D Dghaym, M Butler, AS Fathabadi Electronic Communications of the EASST 66, 2014 | 4 | 2014 |
| Developing the UML-B modelling tools C Snook, M Butler, TS Hoang, AS Fathabadi, D Dghaym International Conference on Software Engineering and Formal Methods, 181-188, 2022 | 3 | 2022 |
| Scenario checker: an Event-B tool for validating abstract models C Snook, TS Hoang, AS Fathabadi, D Dghaym, M Butler Proceedings of the 9th Rodin User and Developer Workshop, 12-14, 2021 | 2 | 2021 |
