Applying Event-B Atomicity Decomposition to a Multi Media Protocol. - Asieh Salehi Fathabadi; Michael J. Butler (FMCO, 2009)

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. - Asieh Salehi Fathabadi; Abdolbaghi Rezazadeh; Michael J. Butler (NASA Formal Methods, 2011)

A Systematic Approach to Atomicity Decomposition in Event-B. - Asieh Salehi Fathabadi; Michael J. Butler; Abdolbaghi Rezazadeh (SEFM, 2012)

An approach to atomicity decomposition in the Event-B formal method. - Asieh Salehi Fathabadi (2012)

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)

Formal Derivation of Distributed MapReduce. - Inna Pereverzeva; Michael J. Butler; Asieh Salehi Fathabadi; Linas Laibinis; Elena Troubitsyna (ABZ, 2014)

Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. - Asieh Salehi Fathabadi; Colin F. Snook; Michael J. Butler (IFM, 2014)

Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods. - Asieh Salehi Fathabadi; Luis Alfonso Maeda-Nunez; Michael J. Butler; Bashir M. Al-Hashimi; Geoff V. Merrett (MCSoC, 2015)

Language and tool support for event refinement structures in Event-B. - Asieh Salehi Fathabadi; Michael J. Butler; Abdolbaghi Rezazadeh (Formal Aspects Comput., 2015)

Building traceable Event-B models from requirements. - Eman H. Alkhammash; Michael J. Butler; Asieh Salehi Fathabadi; Corina Cîrstea (Sci. Comput. Program., 2015)

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

Formal Modelling of Data Integration Systems Security Policies. - Fatimah Y. Akeel; Asieh Salehi Fathabadi; Federica Paci; Andrew M. Gravell; Gary B. Wills (Data Sci. Eng., 2016)

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

Verifiable Code Generation from Scheduled Event-B Models. - Mohammadsadegh Dalvandi; Michael J. Butler; Abdolbaghi Rezazadeh; Asieh Salehi Fathabadi (ABZ, 2018)

A model-based framework for software portability and verification in embedded power management systems. - Asieh Salehi Fathabadi; Michael J. Butler; Sheng Yang 003; Luis Alfonso Maeda-Nunez; James R. B. Bantock; Bashir M. Al-Hashimi; Geoff V. Merrett (J. Syst. Archit., 2018)

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. - Thai Son Hoang; Colin F. Snook; Asieh Salehi Fathabadi; Michael J. Butler; Lukas Ladenberger (Sci. Comput. Program., 2018)

SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. - Mohammadsadegh Dalvandi; Michael J. Butler; Asieh Salehi Fathabadi (FM Workshops (1), 2019)

Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation. - Asieh Salehi Fathabadi; Mohammadsadegh Dalvandi; Michael J. Butler; Bashir M. Al-Hashimi (IEEE Embed. Syst. Lett., 2020)

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)

Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective. - Michael Akintunde; Victoria Young; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Pauline Leonard; Michael J. Butler; Luc Moreau 001 (TAS, 2023)

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)

Trust Modelling and Verification Using Event-B. - Asieh Salehi Fathabadi; Vahid Yazdanpanah (FMAS@iFM, 2023)

Actual Trust in Multiagent Systems. - Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Corina Cîrstea; Mehdi Dastani; Luc Moreau 001 (AAMAS, 2024)

Formal Specification of Actual Trust in Multiagent Systems. - Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Corina Cîrstea; Mehdi Dastani; Luc Moreau 001 (HHAI, 2024)

A Rigorous Analysis of the Safety and Security in Cyber-Physical Systems. - Samih Alkhamissi; Abdolbaghi Rezazadeh; Asieh Salehi Fathabadi (ICSRS, 2024)

"Trust equals less death - it's as simple as that" : Developing a Socio-technical Framework for Trustworthy Defence and Security Automated Systems. - Asieh Salehi Fathabadi; Pauline Leonard (TAS, 2024)

Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Asieh Salehi Fathabadi; Michael J. Butler (ABZ, 2024)

Property Ownership Formal Modelling Using Event-B and iUML-B. - Manar Altamimi; Nawfal Al Hashimy; Asieh Salehi Fathabadi; Gary B. Wills (ABZ, 2024)

Designing Exception Handling Using Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2024)

Analysing the Safety Implications of Security Risks in Cyber-Physical Systems. - Colin F. Snook; Thai Son Hoang; Asieh Salehi Fathabadi; Michael J. Butler; Martin Kubisch (The Practice of Formal Methods (II), 2024)

Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. - Colin F. Snook; Asieh Salehi Fathabadi; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2025)

Systematic hierarchical analysis of requirements for critical systems. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (Innov. Syst. Softw. Eng., 2025)