Asieh Salehi Fathabadi

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 24

Top Venues

ABZ

J. Syst. Archit.

SEFM Workshops

Sci. Comput. Program.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
Designing Exception Handling Using Event-B. ABZ (2024)
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau
Actual Trust in Multiagent Systems. AAMAS (2024)
Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. ABZ (2024)
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau
Formal Specification of Actual Trust in Multiagent Systems. HHAI (2024)
Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills
Property Ownership Formal Modelling Using Event-B and iUML-B. ABZ (2024)
Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael J. Butler, Luc Moreau
Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective. TAS (2023)
Asieh Salehi Fathabadi, Vahid Yazdanpanah
Trust Modelling and Verification Using Event-B. CoRR (2023)
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ (2023)
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) (2022)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops (2022)
Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook
Generating SPARK from Event-B, Providing Fundamental Safety and Security. MEDI Workshops (2022)
Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym
Developing the UML-B Modelling Tools. SEFM Workshops (2022)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Domain-specific scenarios for refinement-based methods. J. Syst. Archit. 112 (2021)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Extensible Record Structures in Event-B. ABZ (2021)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Refinable Record Structures in Formal Methods. MEDI Workshops (2021)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
The CamilleX Framework for the Rodin Platform. ABZ (2021)
Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael J. Butler, Bashir M. Al-Hashimi
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation. IEEE Embed. Syst. Lett. 12 (3) (2020)
Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. FM Workshops (1) (2019)
Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Alfonso Maeda-Nunez, James R. B. Bantock, Bashir M. Al-Hashimi, Geoff V. Merrett
A model-based framework for software portability and verification in embedded power management systems. J. Syst. Archit. 82 (2018)
Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi
Verifiable Code Generation from Scheduled Event-B Models. ABZ (2018)
Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Sci. Comput. Program. 158 (2018)
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi
Extending ERS for Modelling Dynamic Workflows in Event-B. ICECCS (2017)
Fatimah Y. Akeel, Asieh Salehi Fathabadi, Federica Paci, Andrew M. Gravell, Gary B. Wills
Formal Modelling of Data Integration Systems Security Policies. Data Sci. Eng. 1 (3) (2016)
Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi
A Graphical Tool for Event Refinement Structures in Event-B. ABZ (2016)
Eman H. Alkhammash, Michael J. Butler, Asieh Salehi Fathabadi, Corina Cîrstea
Building traceable Event-B models from requirements. Sci. Comput. Program. 111 (2015)
Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh
Language and tool support for event refinement structures in Event-B. Formal Aspects Comput. 27 (3) (2015)
Asieh Salehi Fathabadi, Luis Alfonso Maeda-Nunez, Michael J. Butler, Bashir M. Al-Hashimi, Geoff V. Merrett
Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods. MCSoC (2015)
Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
Formal Derivation of Distributed MapReduce. ABZ (2014)
Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. IFM (2014)
Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea
Building Traceable Event-B Models from Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh
A Systematic Approach to Atomicity Decomposition in Event-B. SEFM (2012)
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. NASA Formal Methods (2011)
Asieh Salehi Fathabadi, Michael J. Butler
Applying Event-B Atomicity Decomposition to a Multi Media Protocol. FMCO (2009)

Asieh Salehi Fathabadi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Asieh Salehi Fathabadi