View all staff
Doctor Reza Rezazadeh

Dr Reza Rezazadeh

Senior Teaching Fellow

Connect with Reza

Email: [email protected]

Tel: +44 23 8059 3233

ORCID
Publications Biography
Publications Biography

Publications

27 publications
Page 1 of 3
An event-B formal model for access control and resource management of serverless apps
Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh & Michael Butler, 2024
Type: conference
An information security model for an IoT-enabled smart grid in the Saudi energy sector
Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2023, Computers & Electrical Engineering, 105
DOI: 10.1016/j.compeleceng.2022.108491
Type: article
An information security model for an IoT-enabled smart grid in the Saudi energy sector
A. Akkad, G. Wills & A. Rezazadeh, 2023
DOI: 10.1109/SASG57022.2022.10200572
Type: conference
An IoT-enabled smart grid: definitions, characteristics, challenges, and future directions
Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2022
DOI: 10.5281/zenodo.6698644
Type: conference
An information security model for an IoT-enabled smart grid
Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2022
DOI: 10.5220/0011042200003194
Type: conference
Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis
Temitope Omitola, Michael Butler & Abdolbaghi Rezazadeh, 2019
DOI: 10.1007/978-3-030-27684-3_11
Type: conference
UB2DB Rodin plug-in for automated database code generation
Ahmed, Zahran Nasser Al-Brashdi, Michael Butler & Abdolbaghi Rezazadeh, 2018
Type: conference
Incremental database design using UML-B and Event-B
Ahmed, Zahran Nasser Al-Brashdi, Michael Butler & Abdolbaghi Rezazadeh, 2018
DOI: 10.4204/EPTCS.271.3
Type: conference
Verifiable code generation from scheduled event-B models
Mohammad Sadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh & Asieh Salehi Fathabadi, 2018
DOI: 10.1007/978-3-319-91271-4_16
Type: conference
Derivation of algorithmic control structures in Event-B refinement
Mohammad Sadegh Dalvandi, Michael Butler & Abdolbaghi Rezazadeh, 2017, Science of Computer Programming, 148, 49-65
DOI: 10.1016/j.scico.2017.05.010
Type: article
How to edit profile