Abdolbaghi Rezazadeh

According to our database, Abdolbaghi Rezazadeh authored at least 18 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., January, 2023

2022

An Information Security Model for an IoT-enabled Smart Grid.

Abeer Akkad, Gary B. Wills, Abdolbaghi Rezazadeh

Proceedings of the 7th International Conference on Internet of Things, 2022

2019

Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis.

Tope Omitola, Abdolbaghi Rezazadeh, Michael J. Butler

Proceedings of the Database and Expert Systems Applications, 2019

2018

Verifiable Code Generation from Scheduled Event-B Models.

Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Derivation of algorithmic control structures in Event-B refinement.

Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh

Sci. Comput. Program., 2017

Incremental Database Design using UML-B and Event-B.

Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

2016

Modelling Complex Timing Requirements with Refinement.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015

Language and tool support for event refinement structures in Event-B.

Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh

Formal Aspects Comput., 2015

Transforming Event-B Models to Dafny Contracts.

Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh

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

An Interval-Based Approach to Modelling Time in Event-B.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

From Event-B Models to Dafny Code Contracts.

Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2012

A Systematic Approach to Atomicity Decomposition in Event-B.

Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Formal Modelling for Ada Implementations: Tasking Event-B.

Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.

Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler

Proceedings of the NASA Formal Methods, 2011

2010

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.

Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Second NASA Formal Methods Symposium, 2010

On an Extensible Rule-Based Prover for Event-B.

Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh

Proceedings of the Abstract State Machines, 2010

2006

Formal patterns for Web-based systems design.

Abdolbaghi Rezazadeh

PhD thesis, 2006

2005

Some Guidelines for Formal Development of Web-Based Applications in B-Method.

Abdolbaghi Rezazadeh, Michael J. Butler

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005