Michael Butler
University of Southampton
H-index: 46
Europe-United Kingdom
Top articles of Michael Butler
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
An event-B formal model for access control and resource management of serverless apps | Mehmet Said Nur Yagmahan Abdolbaghi Rezazadeh Michael Butler | 2024/4/10 | |
An AIC-based approach for articulating unpredictable problems in open complex environments | arXiv preprint arXiv:2403.14697 | Haider Al-Shareefy Michael Butler Thai Son Hoang | 2024/3/15 |
Systematic hierarchical analysis of requirements for critical systems | Innovations in Systems and Software Engineering | Asieh Salehi Fathabadi Colin Snook Dana Dghaym Thai Son Hoang Fahad Alotaibi | 2024/3/12 |
A fairness-based refinement strategy to transform liveness properties in Event-B models | Science of Computer Programming | Chenyang Zhu Michael Butler Corina Cirstea Thai Son Hoang | 2023/1/1 |
Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective | Michael Akintunde Victoria Young Vahid Yazdanpanah Asieh Salehi Fathabadi Pauline Leonard | 2023/7 | |
A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems | Fahad Alotaibi Thai Son Hoang Michael Butler | 2023/6/26 | |
Designing Critical Systems Using Hierarchical STPA and Event-B | Asieh Salehi Fathabadi Colin Snook Dana Dghaym Thai Son Hoang Fahad Alotaibi | 2023/5/15 | |
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling | Karla Vanessa Morris Wright Thai Son Hoang Colin Snook Michael Butler | 2023/11/23 | |
Check for updates Designing Critical Systems Using Hierarchical STPA and Event-B | Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings | Asieh Salehi Fathabadi Colin Snook Dana Dghaym Thai Son Hoang Fahad Alotaibi | 2023/5/14 |
AIC Approach for Intelligent Systems Requirements Elicitation | Haider Al-Shareefy Michael Butler Thai Son Hoang | 2023/11/22 | |
Generating SPARK from Event-B, Providing Fundamental Safety and Security | Asieh Salehi Fathabadi Dana Dghaym Thai Son Hoang Michael Butler Colin Snook | 2022/11/21 | |
Dataset supporting the publication" Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling" | Thai Son Hoang Karla Morris Colin Snook Michael Butler | 2023/9/25 | |
Building an extensible textual framework for the rodin platform | Thai Son Hoang Colin Snook Dana Dghaym Asieh Salehi Fathabadi Michael Butler | 2022/9/26 | |
High-level rigorous template for analysing safety properties of self-driving vehicle systems | Fahad Alotaibi Thai Son Hoang Michael Butler | 2022/6/27 | |
DevFemOps: enhancing maintainability based on microservices using formal engineering methods | Connection Science | Tetsuo Fukuzaki Shaoying Liu Michael Butler | 2022/12/31 |
Formal verification and validation of run-to-completion style state charts using Event-B | Innovations in Systems and Software Engineering | Karla Morris Colin Snook Thai Son Hoang Geoffrey Hulette Robert Armstrong | 2022/12 |
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design | Robert Thorburn Vladimiro Sassone Asieh Salehi Fathabadi Leonardo Aniello Michael Butler | 2022/10/23 | |
Developing the UML-B modelling tools | Colin Snook Michael Butler Thai Son Hoang Asieh Salehi Fathabadi Dana Dghaym | 2022/9/26 | |
Domain-specific developments using rodin theories | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings | Thai Son Hoang Laurent Voisin Michael Butler | 2021 |
Verifying system-level security of a smart ballot box | Dana Dghaym Thai Son Hoang Michael Butler Runshan Hu Leonardo Aniello | 2021/5/23 |