The University of Southampton
Telephone:
+442380593233
Email:
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. Springer. 3 pp.

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

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

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

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 At ABZ2010. 23 - 25 Feb 2010.

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

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

Salehi Fathabadi, Asieh, Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B At THIRD NASA FORMAL METHODS SYMPOSIUM. 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, Brazil. 26 - 28 Sep 2011. 6 pp.

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

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, pp. 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), pp. 499-523.

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

Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2015) An Interval-Based Approach to Modelling Time in Event-B In Fundamentals of Software Engineering. vol. 9392, , pp. 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 At 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), United Kingdom. 01 - 04 Sep 2015.

Sulskus, Gintautas, Poppleton, Michael and Rezazadeh, Abdolbaghi (2016) Modelling complex timing requirements with refinement At IEEE 17th International Conference on Information Reuse and Integration, United States. 28 - 30 Jul 2016. 9 pp.

Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B At Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systemsc at ICFEM 2016, Japan. 14 - 16 Nov 2016. 7 pp.

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Derivation of algorithmic control structures in Event-B refinement Science of Computer Programming (Submitted).

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.

×