View all staff
Doctor Reza Rezazadeh

Dr Reza Rezazadeh

Principal Teaching Fellow

Accepting applications from PhD students.

Connect with Reza

Email: ra3@ecs.soton.ac.uk

Tel: +44 23 8059 3233

Address: B53, West Highfield Campus, University Road, SO17 1BJ
ORCID
Publications Biography
Publications Biography

Publications

29 publications
Page 1 of 3
Student allocation - a case study with UML-B and ProB
Thai Son Hoang, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi, Colin Snook & Michael Butler, 2026
Type: bookChapter
A rigorous analysis of the safety and security in cyber-physical systems
Samih Alkhamissi, Reza Rezazadeh & Asieh Salehi Fathabadi, 2024
Type: conference
An event-B formal model for access control and resource management of serverless apps
Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh & Michael Butler, 2024
DOI: 10.1007/978-3-031-63790-2_11
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
Abeer Siraj 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