Asieh Salehi Fathabadi

According to our database, Asieh Salehi Fathabadi authored at least 30 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Actual Trust in Multiagent Systems.

Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Trust Modelling and Verification Using Event-B.

Asieh Salehi Fathabadi, Vahid Yazdanpanah

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Designing Critical Systems Using Hierarchical STPA and Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective.

Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael J. Butler, Luc Moreau

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

2022

Developing the UML-B Modelling Tools.

Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Building an Extensible Textual Framework for the Rodin Platform.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

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 J. Butler, Dana Dghaym, Thai Son Hoang

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Generating SPARK from Event-B, Providing Fundamental Safety and Security.

Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

2021

Domain-specific scenarios for refinement-based methods.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

J. Syst. Archit., 2021

Refinable Record Structures in Formal Methods.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

The CamilleX Framework for the Rodin Platform.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extensible Record Structures in Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation.

Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael J. Butler, Bashir M. Al-Hashimi

IEEE Embed. Syst. Lett., 2020

2019

SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B.

Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.

Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger

Sci. Comput. Program., 2018

A model-based framework for software portability and verification in embedded power management systems.

Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Alfonso Maeda-Nunez, James R. B. Bantock, Bashir M. Al-Hashimi, Geoff V. Merrett

J. Syst. Archit., 2018

Verifiable Code Generation from Scheduled Event-B Models.

Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Extending ERS for Modelling Dynamic Workflows in Event-B.

Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Formal Modelling of Data Integration Systems Security Policies.

Fatimah Y. Akeel, Asieh Salehi Fathabadi, Federica Paci, Andrew M. Gravell, Gary B. Wills

Data Sci. Eng., 2016

A Graphical Tool for Event Refinement Structures in Event-B.

Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Language and tool support for event refinement structures in Event-B.

Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh

Formal Aspects Comput., 2015

Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods.

Asieh Salehi Fathabadi, Luis Alfonso Maeda-Nunez, Michael J. Butler, Bashir M. Al-Hashimi, Geoff V. Merrett

Proceedings of the IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2015

2014

Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems.

Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formal Derivation of Distributed MapReduce.

Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling.

Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Building Traceable Event-B Models from Requirements.

Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012

An approach to atomicity decomposition in the Event-B formal method.

Asieh Salehi Fathabadi

PhD thesis, 2012

A Systematic Approach to Atomicity Decomposition in Event-B.

Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.

Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler

Proceedings of the NASA Formal Methods, 2011

2009

Applying Event-B Atomicity Decomposition to a Multi Media Protocol.

Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009