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

ORCID
Publications Biography
Publications Biography

Publications

29 publications
Page 3 of 3
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
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
Sanaz Yeganefard, Michael Butler & Abdolbaghi Rezazadeh, 2010
Type: conference
On an extensible rule-based prover for event-B
Issam Maamria, Michael Butler, Andrew Edmunds & Abdolbaghi Rezazadeh, 2010
Type: conference
Redevelopment of an industrial case study using Event-B and Rodin
Abdolbaghi Rezazadeh, Neil Evans & Michael Butler, 2007
Type: conference
Formal Patterns for Web-based Systems Design
Abdolbaghi Rezazadeh, 2006
Type: thesis
Some Guidelines for Formal Development of Web-based Applications in B-Method
Abdolbaghi Rezazadeh & Michael Butler, 2005
Type: conference
Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems
Abdolbaghi Rezazadeh & Michael Butler, 2003
Type: conference