Open menu
View all staff
Doctor Reza Rezazadeh

Dr Reza Rezazadeh

Senior Teaching Fellow

Connect with Reza

Email: ra3@ecs.soton.ac.uk

Tel: +44 23 8059 3233

ORCID
Publications Biography
Publications Biography

Publications

26 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
DOI: 10.1109/SASG57022.2022.10200572
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
Tool support for model-based database design with Event-B
Ahmed Al-Brashdi,
Michael Butler,
Abdolbaghi Rezazadeh,
& Colin Snook
, 2016
DOI: 10.1007/978-3-319-47846-3_14
Type: conference
How to edit profile