Publications

Publications

  • Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Thorburn, Robert, Aniello, Leonardo, Sassone, Vladimiro and Butler, Michael (2024). Designing exception handling using Event-B In ABZ 2024: Rigorous State-Based Methods.
  • Said Nur Yagmahan, Mehmet, Rezazadeh, Abdolbaghi and Butler, Michael (2024). An Event-B Formal Model for Access Control and Resource Management of Serverless Apps In ABZ 2024: Rigorous State-Based Methods.
  • Salehi Fathabadi, Asieh, Snook, Colin, Dghaym, Dana, Hoang, Thai Son, Alotaibi, Fahad and Butler, Michael (2024). Systematic hierarchical analysis of requirements for critical systems In Innovations in Systems and Software Engineering (A NASA Journal).
  • Salehi Fathabadi, Asieh, Snook, Colin, Dghaym, Dana, Hoang, Thai Son, Alotaibi, Fahad and Butler, Michael (2023). Designing Critical Systems Using Hierarchical STPA and Event-B In ABZ 2023: Rigorous State-Based Methods.
  • Salehi Fathabadi, Asieh, Dghaym, Dana, Hoang, Thai Son, Butler, Michael and Snook, Colin (2022). Generating SPARK from Event-B, Providing Fundamental Safety and Security In DETECT 2022 moDeling, vErification and Testing of dEpendable CriTical systems, In conjunction with 11th International Conference on Model and Data Engineering.
  • Thorburn, Robert, Sassone, Vladimiro, Salehi Fathabadi, Asieh, Aniello, Leonardo, Butler, Michael, Dghaym, Dana and Hoang, Thai Son (2022). “ A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design. In MODELS ‘22: Proceedings of the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Pages 83–84.
  • Hoang, Thai Son, Snook, Colin, Dghaym, Dana, Salehi Fathabadi, Asieh and Butler, Michael (2022). Building an Extensible Textual Framework for the Rodin Platform. In F-IDE 2022: 7th Workshop on Formal Integrated Development Environment, Affiliated to SEFM 2022.
  • Snook, Colin, Butler, Michael, Hoang, Thai Son, Salehi Fathabadi, Asieh and Dghaym, Dana (2022). Developing the UML-B modelling tools.” In F-IDE 2022: 7th Workshop on Formal Integrated Development Environment, Affiliated to SEFM 2022.
  • Dghaym, Dana, Hoang, Thai Son, Butler, Michael, Hu, Runshan, Aniello, Leonardo and Sassone, Vladimiro (2021). “Verifying System-level Security of a Smart Ballot Box”. In ABZ 2021 – 8th International Conference on Rigorous State Based Methods: ABZ 2021.Springer Nature Switzerland AG. 16 pp.
  • Hoang, Thai Son, Snook, Colin, Dghaym, Dana, Salehi Fathabadi, Asieh and Butler, Michael (2021). “The CamilleX Framework for the Rodin Platform”. ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, Virtual. 07 - 11 Jun 2021. 6 pp.
  • Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Dghaym, Dana and Butler, Michael (2021). “Extensible Record Structures in Event-B”. ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, Virtual. 07 - 11 Jun 2021. 6 pp.

Posters

Talks

Downloads