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 2 of 3
Modelling complex timing requirements with refinement
Gintautas Sulskus, Michael Poppleton & Abdolbaghi Rezazadeh, 2016
Type: conference
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
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
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
From Event-B models to Dafny code contracts
Mohammadsadegh Dalvandi, Michael Butler & Abdolbaghi Rezazadeh, 2015
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
How to edit profile