Abdolbaghi Rezazadeh

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 8

Top Venues

FSEN

ABZ

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Comput. Electr. Eng.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. ABZ (2024)
Abeer Akkad, Gary B. Wills, Abdolbaghi Rezazadeh
An information security model for an IoT-enabled Smart Grid in the Saudi energy sector. Comput. Electr. Eng. 105 (2023)
Abeer Akkad, Gary B. Wills, Abdolbaghi Rezazadeh
An Information Security Model for an IoT-enabled Smart Grid. IoTBDS (2022)
Tope Omitola, Abdolbaghi Rezazadeh, Michael J. Butler
Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis. DEXA Workshops (2019)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi
Verifiable Code Generation from Scheduled Event-B Models. ABZ (2018)
Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh
Incremental Database Design using UML-B and Event-B. IMPEX/FM&MDD (2017)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
Derivation of algorithmic control structures in Event-B refinement. Sci. Comput. Program. 148 (2017)
Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
Modelling Complex Timing Requirements with Refinement. IRI (2016)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
From Event-B Models to Dafny Code Contracts. FSEN (2015)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
Transforming Event-B Models to Dafny Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh
Language and tool support for event refinement structures in Event-B. Formal Aspects Comput. 27 (3) (2015)
Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
An Interval-Based Approach to Modelling Time in Event-B. FSEN (2015)
Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler
Formal Modelling for Ada Implementations: Tasking Event-B. Ada-Europe (2012)
Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh
A Systematic Approach to Atomicity Decomposition in Event-B. SEFM (2012)
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. NASA Formal Methods (2011)
Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods (2010)
Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh
On an Extensible Rule-Based Prover for Event-B. ASM (2010)
Abdolbaghi Rezazadeh, Michael J. Butler
Some Guidelines for Formal Development of Web-Based Applications in B-Method. ZB (2005)

Abdolbaghi Rezazadeh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abdolbaghi Rezazadeh