Asieh Salehi Fathabadi

41 papers A 1B 4C 10Journal 10Unranked 14

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