The University of Southampton

Asieh Salehi Fathabadi

Research Staff


Research interests

Formal methods (particularly Event-B language), Verification, Model checking, Modelling/testing of autonomous systems/safety critical systems, Modelling/verification/development of Run-Time Management (RTM) systems in embedded software using AI, Rodin toolset development (java technologies)
Also I recently performed public engagement activities to engage children with my ongoing research.


Salehi Fathabadi, Asieh and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol At FMCO Formal Methods for Components and Objects. , pp. 89-104. (doi:10.1007/978-3-642-17071-3_5).

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.

Butler, Michael, Salehi Fathabadi, Asieh and Silva, Renato (2012) Event-B and Rodin In, Boulanger, Jean-Louis (eds.) Industrial Use of Formal Methods: Formal Verification. Chichester, GB, ISTE; Wiley pp. 215-245.

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).

Salehi Fathabadi, Asieh (2012) An approach to atomicity decomposition in the Event-B formal method University of Southampton, Electronics and Computer Science, Doctoral Thesis , 276pp.

Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2014) Evaluation of graphical control flow management approaches for Event-B modelling At Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), United Kingdom. 15 pp.

Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements At Automated Verification of Critical Systems (AVoCS 2013).

Pereverzeva, Inna, Butler, Michael, Salehi Fathabadi, Asieh, Laibinis, Linas and Troubitsyna, Elena (2014) Formal derivation of distributed MapReduce At 4th International ABZ 2014 Conference, France. 02 - 06 Jun 2014. 17 pp.

Salehi Fathabadi, Asieh, Snook, Colin and Butler, Michael (2014) Applying an integrated modelling process to run-time management of many-core systems At 11th International Conference on Integrated Formal Methods (iFM), Italy. 09 - 11 Sep 2014.

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.

Alkhammash, Eman, Butler, Michael, Fathabadi, Asieh Salehi and Cîrstea, Corina (2015) Building traceable Event-B models from requirements Science of Computer Programming, 1- 21. (doi:10.1016/j.scico.2015.06.002).

Salehi Fathabadi, Asieh, Maeda-Nunez, Luis Alfonso, Butler, Michael, Al-Hashimi, Bashir and Merrett, Geoff (2015) Towards automatic code generation of run-time power management for embedded systems using formal methods At 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Italy. 23 - 25 Sep 2015. 8 pp.

Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh (2016) A graphical tool for event refinement structures in Event-B At Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Austria. , pp. 269-274. (doi:10.1007/978-3-319-33600-8_20).

Akeel, Fatmah, Salehi Fathabadi, Asieh, Paci, Federica, Gravell, Andy and Wills, Gary (2016) Formal modelling of data integration systems security policies Data Science and Engineering, 1, (3), pp. 139-148. (doi:10.1007/s41019-016-0016-y).

Salehi Fathabadi, Asieh, Butler, Michael and Snook, Colin (2016) Extending Code Generation to Support Platform-Independent Event-B Models At Rodin Developer Workshop, 2016. , p. 21.

Hoang, Son, Voisin, Laurent, Salehi Fathabadi, Asieh, Butler, Michael, Wilkinson, Toby and Beauger, Nicolas (2017) Theory plug-in for Rodin 3.x Computing Research Repository, abs/1701.08625, pp. 1-9.

Dghaym, Dana, Salehi Fathabadi, Asieh and Snook, Colin (2016) Using Rodin and BMotionStudio for public engagement At Rodin Developer Workshop 2016, Austria.

Hoang, Thai Son, Salehi Fathabadi, Asieh, Butler, Michael and Voisin, Laurent (2016) Theory plug-in for Rodin 3.x At 6th Rodin User and Developer Workshop, Austria. 23 May 2016. 2 pp.


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.