Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling. - Dana Dghaym; Michael J. Butler; Asieh Salehi Fathabadi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A Graphical Tool for Event Refinement Structures in Event-B. - Dana Dghaym; Matheus Garay Trindade; Michael J. Butler; Asieh Salehi Fathabadi (ABZ, 2016)

Extending ERS for Modelling Dynamic Workflows in Event-B. - Dana Dghaym; Michael J. Butler; Asieh Salehi Fathabadi (ICECCS, 2017)

A Composition Mechanism for Refinement-Based Methods. - Thai Son Hoang; Dana Dghaym; Colin F. Snook; Michael J. Butler (ICECCS, 2017)

Class-Diagrams for Abstract Data Types. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Michael J. Butler (ICTAC, 2017)

Formal Modelling Techniques for Efficient Development of Railway Control Products. - Michael J. Butler; Dana Dghaym; Tomas Fischer; Thai Son Hoang; Klaus Reichl; Colin F. Snook; Peter Tummeltshammer (RSSRail, 2017)

Extending the ERS approach for workflow modelling in Event-B. - Dana Dghaym (2017)

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. - Dana Dghaym; Michael Poppleton; Colin F. Snook (ABZ, 2018)

Reusing Formal Models via Lifting. - Dana Dghaym; Colin F. Snook; Thai Son Hoang; Michael J. Butler (ICECCS, 2018)

Behaviour-Driven Formal Model Development. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler; Tomas Fischer; Rupert Schlick; Keming Wang (ICFEM, 2018)

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. - Michael J. Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin F. Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer (ICECCS, 2019)

Domain-Specific Scenarios for Refinement-Based Methods. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (MEDI Workshops, 2019)

Formal Model Validation Through Acceptance Tests. - Tomas Fischer; Dana Dghaym (RSSRail, 2019)

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. - Dana Dghaym; Mohammadsadegh Dalvandi; Michael Poppleton; Colin F. Snook (Int. J. Softw. Tools Technol. Transf., 2020)

Verifying System-Level Security of a Smart Ballot Box. - Dana Dghaym; Thai Son Hoang; Michael J. Butler; Runshan Hu; Leonardo Aniello; Vladimiro Sassone (ABZ, 2021)

Extensible Record Structures in Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (ABZ, 2021)

The CamilleX Framework for the Rodin Platform. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (ABZ, 2021)

Refinable Record Structures in Formal Methods. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (MEDI Workshops, 2021)

Domain-specific scenarios for refinement-based methods. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (J. Syst. Archit., 2021)

Generating SPARK from Event-B, Providing Fundamental Safety and Security. - Asieh Salehi Fathabadi; Dana Dghaym; Thai Son Hoang; Michael J. Butler; Colin F. Snook (MEDI Workshops, 2022)

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. - Robert Thorburn; Vladimiro Sassone; Asieh Salehi Fathabadi; Leonardo Aniello; Michael J. Butler; Dana Dghaym; Thai Son Hoang (MoDELS (Companion), 2022)

Building an Extensible Textual Framework for the Rodin Platform. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (SEFM Workshops, 2022)

Developing the UML-B Modelling Tools. - Colin F. Snook; Michael J. Butler; Thai Son Hoang; Asieh Salehi Fathabadi; Dana Dghaym (SEFM Workshops, 2022)

Designing Critical Systems Using Hierarchical STPA and Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (ABZ, 2023)

Bat2Web: A Framework for Real-Time Classification of Bat Species Echolocation Signals Using Audio Sensor Data. - Taslim Mahbub; Azadan Bhagwagar; Priyanka Chand; Imran A. Zualkernan; Jacky Judas; Dana Dghaym (Sensors, 2024)