Some Guidelines for Formal Development of Web-Based Applications in B-Method. - Abdolbaghi Rezazadeh; Michael J. Butler (ZB, 2005)

Formal patterns for Web-based systems design. - Abdolbaghi Rezazadeh (2006)

On an Extensible Rule-Based Prover for Event-B. - Issam Maamria; Michael J. Butler; Andrew Edmunds; Abdolbaghi Rezazadeh (ASM, 2010)

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. - Sanaz Yeganefard; Michael J. Butler; Abdolbaghi Rezazadeh (NASA Formal Methods, 2010)

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)

Formal Modelling for Ada Implementations: Tasking Event-B. - Andrew Edmunds; Abdolbaghi Rezazadeh; Michael J. Butler (Ada-Europe, 2012)

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

From Event-B Models to Dafny Code Contracts. - Mohammadsadegh Dalvandi; Michael J. Butler; Abdolbaghi Rezazadeh (FSEN, 2015)

An Interval-Based Approach to Modelling Time in Event-B. - Gintautas Sulskus; Michael Poppleton; Abdolbaghi Rezazadeh (FSEN, 2015)

Transforming Event-B Models to Dafny Contracts. - Mohammadsadegh Dalvandi; Michael J. Butler; Abdolbaghi Rezazadeh (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

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

Modelling Complex Timing Requirements with Refinement. - Gintautas Sulskus; Michael Poppleton; Abdolbaghi Rezazadeh (IRI, 2016)

Incremental Database Design using UML-B and Event-B. - Ahmed Al-Brashdi; Michael J. Butler; Abdolbaghi Rezazadeh (IMPEX/FM&MDD, 2017)

Derivation of algorithmic control structures in Event-B refinement. - Mohammadsadegh Dalvandi; Michael J. Butler; Abdolbaghi Rezazadeh (Sci. Comput. Program., 2017)

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

Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis. - Tope Omitola; Abdolbaghi Rezazadeh; Michael J. Butler (DEXA Workshops, 2019)

An Information Security Model for an IoT-enabled Smart Grid. - Abeer Akkad; Gary B. Wills; Abdolbaghi Rezazadeh (IoTBDS, 2022)

An information security model for an IoT-enabled Smart Grid in the Saudi energy sector. - Abeer Akkad; Gary B. Wills; Abdolbaghi Rezazadeh (Comput. Electr. Eng., 2023)

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

An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. - Mehmet Said Nur Yagmahan; Abdolbaghi Rezazadeh; Michael J. Butler (ABZ, 2024)