Open menu
View all staff
Doctor Reza Rezazadeh

Doctor Reza Rezazadeh

Senior Teaching Fellow

Connect with Reza

Email: ra3@ecs.soton.ac.uk

Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

ORCID
Publications Supervision Biography

Publications

27 publications
Page 1 of 3
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 (108491)
DOI: 10.1016/j.compeleceng.2022.108491
Type: article
An IoT-enabled Smart Grid: Definitions, Characteristics, Challenges, and Future Directions
Abeer Siraj A. Akkad,
Gary Wills,
& Abdolbaghi Rezazadeh
, 2022
DOI: 10.5281/zenodo.6698644
Type: conference
An information security model for an IoT-enabled smart grid in the Saudi energy sector
Abeer Siraj A. Akkad,
Gary Wills,
& Abdolbaghi Rezazadeh
, 2022
Type: conference
An information security model for an IoT-enabled smart grid
Abeer Siraj A 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
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
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
UB2DB Rodin plug-in for automated database code generation
Ahmed, Zahran Nasser Al-Brashdi,
Michael Butler,
& Abdolbaghi Rezazadeh
, 2018
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
Modelling complex timing requirements with refinement
Gintautas Sulskus,
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2016
Type: conference
How to edit profile
Back to top