Abdolbaghi Rezazadeh

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