The University of Southampton
Telephone:
+442380593233
Email:
ra3@ecs.soton.ac.uk

Abdolbaghi Rezazadeh PhD

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. Refinement of Critical Systems (RCS'03).

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

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 (2009) On an Extensible Rule-based Prover for Event-B s.n. (In Press)

Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. 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. 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. SBMF2011, Brazil. 26 - 28 Sep 2011. 6 pp .

Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. 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. (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. (doi:10.1007/s00165-014-0311-1).

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts. 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. 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. Ogata, K, Lawford, M and Liu, S (eds.) In Formal Methods and Software Engineering: ICFEM 2016. vol. 10009, Springer. pp. 210-225 . (doi:10.1007/978-3-319-47846-3_14).

Dalvandi, Mohammad Sadegh, 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. pp. 34-47 . (doi:10.4204/EPTCS.271.3).

Dalvandi, Mohammad Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh (2018) Verifiable code generation from scheduled event-B models. In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. pp. 1-15 . (doi:10.1007/978-3-319-91271-4_16).

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. pp. 1-2 .

Omitola, Temitope, Butler, Michael and Rezazadeh, Abdolbaghi (2019) Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis. Anderst-Kotsis, G., Tjoa, A. and Khalil, I. (eds.) In Database and Expert Systems Applications. vol. 1062, Springer. pp. 75-84 . (doi:10.1007/978-3-030-27684-3_11).

Contact

Share this profile FacebookTwitterWeibo