The University of Southampton
Warning! Your browser is out-of-date and not compatible with this website. Please download a new secure and faster browser to view this website correctly.
Telephone:
+442380593233
Telephone:
ra3@ecs.soton.ac.uk

Dr Abdolbaghi Rezazadeh

Academic Staff

Research

Professional

Qualifications

PhD

Duties

Academic Staff

Publications

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an extensible rule-based prover for event-B. In, Proceedings of ABZ 2010. ABZ2010 , Springer. (Lecture Notes in Computer Science).

Rezazadeh, Abdolbaghi and Butler, Michael (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In, Refinement of Critical Systems (RCS'03)

Rezazadeh, Abdolbaghi and Butler, Michael (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method. In, 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005,

Rezazadeh, Abdolbaghi , Evans, Neil and Butler, Michael (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. In, BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London,

Rezazadeh, Abdolbaghi (2006) Formal Patterns for Web-based Systems Design. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an Extensible Rule-based Prover for Event-B. In, ABZ2010, Orford, Canada, 23 - 25 Feb 2010.

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2009) On an Extensible Rule-based Prover for Event-B.

Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. In, Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, Washington DC, 13 - 14 Apr 2010. , 182-191.

Salehi Fathabadi, Asieh, Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In, THIRD NASA FORMAL METHODS SYMPOSIUM, Pasadena, California, 18 - 20 Apr 2011.

Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B models to code: sensing, actuating, and the environment. At SBMF2011, Sao Paulo, BR, 26 - 28 Sep 2011. 6pp.

Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. In, Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm, SE, 11 - 15 Jun 2012. 14pp.

Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2012) A systematic approach to atomicity decomposition in Event-B. [in special issue: Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings] Lecture Notes in Computer Science, 7504, 78-93. (doi:10.1007/978-3-642-33826-7_6).

Poppleton, Michael and Rezazadeh, Abdolbaghi (2012) Modelling the pacemaker in event-B: towards methodology for reuse. Southampton, GB, University of Southampton , 16pp.

Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Language and tool support for event refinement structures in Event-B. Formal Aspects of Computing, 27, (3), 499-523.

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts. In, 6th IPM International Conference on Fundamentals of Software Engineering (FSEN2015), Tehran, IR, 22 - 24 Apr 2015.

Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2015) An Interval-Based Approach to Modelling Time in Event-B. Fundamentals of Software Engineering, 9392, 292-307. (doi:10.1007/978-3-319-24644-4_20).

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts. In, 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Edinburgh, GB, 01 - 04 Sep 2015.

Contact

Telephone: +442380593233

Email: ra3@ecs.soton.ac.uk

Fax: +44 (0)23 8059 3045

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×