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) 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) 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 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 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 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 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 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 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, 78-93.

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. At 6th IPM International Conference on Fundamentals of Software Engineering 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.

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts. 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. In Information Reuse and Integration (IRI), 2016 IEEE 17th International Conference on. IEEE. 9 pp.

Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B. 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, 148, 49-65. (doi:10.1016/j.scico.2017.05.010).

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) Incremental database design using UML-B and Event-B. 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, Xi'an, China. 16 Nov 2017. 14 pp, pp. 34-47. (doi:10.4204/EPTCS.271.3).

Dalvandi, Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh (2018) Verifiable code generation from scheduled event-B models. In 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018, Proceedings of. University of Southampton. 15 pp, pp. 1-15.

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) UB2DB Rodin plug-in for automated database code generation. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018. 2 pp, pp. 1-2.

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.

×