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 | 35 | 2021 |
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 | 28 | 2018 |
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 | 25 | 2017 |
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 | 19 | 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 | 18 | 2021 |
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 | 16 | 2017 |
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 |
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 | 8 | 2022 |
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 |
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 | 6 | 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 | 6 | 2017 |
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 | 5 | 2021 |
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 | 4 | 2022 |
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 |
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 a framework for trustworthy autonomous maritime systems D Dghaym, S Turnock, M Butler, J Downes, TS Hoang, B Pritchard Sciendo, 2019 | 3 | 2019 |
Designing Critical Systems Using Hierarchical STPA and Event-B A Salehi Fathabadi, C Snook, D Dghaym, TS Hoang, F Alotaibi, M Butler International Conference on Rigorous State-Based Methods, 220-237, 2023 | 2 | 2023 |
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 |
Extensible Record Structures in Event-B. AS Fathabadi, CF Snook, TS Hoang, D Dghaym, MJ Butler ABZ, 130-136, 2021 | 2 | 2021 |