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 2 of 3
Modelling complex timing requirements with refinement
Gintautas Sulskus,
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2016
Type: conference
Transforming Event-B models to Dafny contracts
Mohammadsadegh Dalvandi,
Michael Butler,
& Abdolbaghi Rezazadeh
, 2015
Type: conference
Language and tool support for event refinement structures in Event-B
Asieh Salehi Fathabadi,
Michael Butler,
& Abdolbaghi Rezazadeh
, 2015 , Formal Aspects of Computing , 27 (3) , 499--523
DOI: 10.1007/s00165-014-0311-1
Type: article
From Event-B models to Dafny code contracts
Mohammadsadegh Dalvandi,
Michael Butler,
& Abdolbaghi Rezazadeh
, 2015
Type: conference
An Interval-Based Approach to Modelling Time in Event-B
Gintautas Sulskus,
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2015
DOI: 10.1007/978-3-319-24644-4_20
Type: conference
Modelling the pacemaker in event-B: towards methodology for reuse
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2012
Type: workingPaper
Formal modelling for Ada implementations: tasking Event-B
Andrew Edmunds,
Abdolbaghi Rezazadeh,
& Michael Butler
, 2012
Type: conference
A systematic approach to atomicity decomposition in Event-B
Asieh Salehi Fathabadi,
Michael Butler,
& Abdolbaghi Rezazadeh
, 2012 , Lecture Notes in Computer Science , 7504 , 78--93
DOI: 10.1007/978-3-642-33826-7_6
Type: article
From Event-B models to code: sensing, actuating, and the environment
Andrew Edmunds,
Abdolbaghi Rezazadeh,
& Michael Butler
, 2011
Type: conference
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
& Michael Butler
, 2011
Type: conference
How to edit profile
Back to top