Asieh Salehi Fathabadi
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Research Interests
Asieh Salehi Fathabadi has a total of 28 co-authors. Here are the top co-authors by number of shared publications:
- Michael Butler
University of Southampton
16 shared publications - Thai Son Hoang
University of Southampton
15 shared publications - Colin Snook
University of Southampton
13 shared publications - Dana Dghaym
Department of Computer Science and Engineering, American University of Sharjah, Sharjah, United Arab Emirates
8 shared publications - Fahad Alotaibi
King Saud University
3 shared publications - Vahid Yazdanpanah
University of Southampton
3 shared publications
Latest Publications
- 20 September 2026
- Published by Springer Nature
- p. 1-18
Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development
- 20 September 2026
- Published by Springer Nature
- p. 1-18
Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development
- 16 June 2026
- Published by Springer Nature
- p. 332-353
Refinement-Centric Hazard Analysis with SHARCS: A Case Study Bridging Requirements and Formal Model
- 16 June 2026
- Published by Springer Nature
- p. 332-353
Refinement-Centric Hazard Analysis with SHARCS: A Case Study Bridging Requirements and Formal Model
- 22 May 2026
- Published by Springer Nature
- p. 331-338
SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems
- 22 May 2026
- Published by Springer Nature
- p. 331-338
SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems
- 22 May 2026
- Published by Springer Nature
- p. 256-264
Human-Centred Formal Verification: A Vision for Bridging Technical Rigour with Stakeholder Needs in Autonomous Systems
- 22 May 2026
- Published by Springer Nature
- p. 256-264
Human-Centred Formal Verification: A Vision for Bridging Technical Rigour with Stakeholder Needs in Autonomous Systems
- 16 November 2025
- Published by Springer Nature
- p. 271-289
Formal Modeling of Trust in Autonomous Delivery Vehicles
- 16 November 2025
- Published by Springer Nature
- p. 271-289
Formal Modeling of Trust in Autonomous Delivery Vehicles
- 2 June 2025
- Published by Springer Nature
- p. 180-199
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
- 2 June 2025
- Published by Springer Nature
- p. 180-199
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
- Open Access
- 16 September 2024
- Published by Association for Computing Machinery (ACM)
- p. 1-10
"Trust equals less death - it's as simple as that" : Developing a Socio-technical Framework for Trustworthy Defence and Security Automated Systems
With the dramatic rise in the affordances of Automated Systems (AS) across the full range of industrial sectors, designing and implementing AS which are judged as trustworthy by their users is a key challenge facing systems developers, industrial managers and employees alike. However, for some domains, such as Defence and Security (DAS), the stakes are particularly high: a failure of the system could result in fatalities in significant numbers. Gaining a better understanding of the sociological and technical foundations of trustworthiness is critical for the sector, essential for both building trust and designing robust technical solutions to maintain this trust. This paper draws on new interdisciplinary research conducted in the Defence and Security (DAS) sector, exploring social and technical conditions and understandings of trustworthy automated systems. We argue that the distinctiveness of DAS brings some very specific challenges to both developers and users, but the findings of the research have also relevance to a wider variety of domains, especially those where the outcomes may be a matter of life and death.
- 16 September 2024
- Published by Association for Computing Machinery (ACM)
- p. 1-10
Open Access"Trust equals less death - it's as simple as that" : Developing a Socio-technical Framework for Trustworthy Defence and Security Automated Systems
With the dramatic rise in the affordances of Automated Systems (AS) across the full range of industrial sectors, designing and implementing AS which are judged as trustworthy by their users is a key challenge facing systems developers, industrial managers and employees alike. However, for some domains, such as Defence and Security (DAS), the stakes are particularly high: a failure of the system could result in fatalities in significant numbers. Gaining a better understanding of the sociological and technical foundations of trustworthiness is critical for the sector, essential for both building trust and designing robust technical solutions to maintain this trust. This paper draws on new interdisciplinary research conducted in the Defence and Security (DAS) sector, exploring social and technical conditions and understandings of trustworthy automated systems. We argue that the distinctiveness of DAS brings some very specific challenges to both developers and users, but the findings of the research have also relevance to a wider variety of domains, especially those where the outcomes may be a matter of life and death.
- 4 September 2024
- Published by Springer Nature
- p. 97-119
Analysing the Safety Implications of Security Risks in Cyber-Physical Systems
- 4 September 2024
- Published by Springer Nature
- p. 97-119
Analysing the Safety Implications of Security Risks in Cyber-Physical Systems
- 21 June 2024
- Published by Springer Nature
- p. 191-200
Property Ownership Formal Modelling Using Event-B and iUML-B
- 21 June 2024
- Published by Springer Nature
- p. 191-200
Property Ownership Formal Modelling Using Event-B and iUML-B