| Applying atomicity and model decomposition to a space craft system in Event-B A Salehi Fathabadi, A Rezazadeh, M Butler NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 44 | 2011 |
| Language and tool support for event refinement structures in Event-B A Salehi Fathabadi, M Butler, A Rezazadeh Formal Aspects of Computing 27, 499-523, 2015 | 33 | 2015 |
| Building traceable Event-B models from requirements E Alkhammash, M Butler, AS Fathabadi, C Cîrstea Science of Computer Programming 111, 318-338, 2015 | 29 | 2015 |
| A systematic approach to atomicity decomposition in Event-B A Salehi Fathabadi, M Butler, A Rezazadeh International Conference on Software Engineering and Formal Methods, 78-93, 2012 | 25 | 2012 |
| Applying Event-B atomicity decomposition to a multi media protocol A Salehi Fathabadi, M Butler International Symposium on Formal Methods for Components and Objects, 89-104, 2009 | 24 | 2009 |
| A model-based framework for software portability and verification in embedded power management systems AS Fathabadi, MJ Butler, S Yang, LA Maeda-Nunez, J Bantock, ... Journal of Systems Architecture 82, 12-23, 2018 | 17 | 2018 |
| Formal modelling of data integration systems security policies F Akeel, A Salehi Fathabadi, F Paci, A Gravell, G Wills Data Science and Engineering 1, 139-148, 2016 | 17 | 2016 |
| Domain-specific scenarios for refinement-based methods C Snook, TS Hoang, D Dghaym, AS Fathabadi, M Butler Journal of Systems Architecture 112, 101833, 2021 | 14 | 2021 |
| A graphical tool for event refinement structures in Event-B D Dghaym, MG Trindade, M Butler, AS Fathabadi Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 11 | 2016 |
| Verifiable code generation from scheduled Event-B models M Dalvandi, M Butler, A Rezazadeh, A Salehi Fathabadi Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 10 | 2018 |
| Extensible record structures in Event-B A Salehi Fathabadi, C Snook, TS Hoang, D Dghaym, M Butler International Conference on Rigorous State-Based Methods, 130-136, 2021 | 8 | 2021 |
| Theory Plug-in for Rodin 3. x TS Hoang, L Voisin, A Salehi, M Butler, T Wilkinson, N Beauger arXiv preprint arXiv:1701.08625, 2017 | 8 | 2017 |
| Building an extensible textual framework for the Rodin platform TS Hoang, C Snook, D Dghaym, AS Fathabadi, M Butler International Conference on Software Engineering and Formal Methods, 132-147, 2022 | 7 | 2022 |
| Applying an integrated modelling process to run-time management of many-core systems A Salehi Fathabadi, C Snook, M Butler Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014 | 7 | 2014 |
| The CamilleX framework for the Rodin platform TS Hoang, C Snook, D Dghaym, A Salehi Fathabadi, M Butler International Conference on Rigorous State-Based Methods, 124-129, 2021 | 6 | 2021 |
| Extending ERS for modelling dynamic workflows in Event-B D Dghaym, M Butler, AS Fathabadi 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 6 | 2017 |
| Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset TS Hoang, C Snook, A Salehi, M Butler, L Ladenberger Science of Computer Programming 158, 122-147, 2018 | 5 | 2018 |
| Theory plug-in user manual I Maamria, AS Fathabadi Theory_Plugin. pdf, 2014 | 4 | 2014 |
| Evaluation of graphical control flow management approaches for Event-B modelling D Dghaym, M Butler, AS Fathabadi Electronic Communications of the EASST 66, 2014 | 4 | 2014 |
| Formal derivation of distributed mapreduce I Pereverzeva, M Butler, AS Fathabadi, L Laibinis, E Troubitsyna Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 4 | 2014 |
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
