Research
Research groups
Member of:
Research interests
- Formal methods
- Autonomous Systems
- Public Engagement
- My main research interest is model-based formal methods, in particular a formal method called Event-B, for software engineering. Formal methods are mathematically rigorous techniques for the specification, development and verification of software and hardware systems and hence can contribute to the reliability and robustness of a design. My research work includes application, tools and methodology for formal methods.
- I am also interested in Public Engagement (PE) activities to engage children with my ongoing research.
Current research
Research Projects:
- Principal Investigator: Verifiably Safe and Trusted Human-AI Systems (VESTAS)
- Senior Researcher: HD-Sec: Holistic Design of Secure Systems on Capability Hardware
- Senior Researcher: HICLASS: Enabling Development of Complex and Secure Aerospace Systems
- UML-B
- Event-B @ Soton
Publications
38 publications
Page 1 of 4
& Michael Butler
, 2022
Type: conference
Michael Butler,
, 2022
Type: conference
Michael Butler,
, 2022
Type: conference
Michael Butler,
, 2022
Type: conference
Asieh Salehi Fathabadi,
, 2021
Type: conference
Asieh Salehi Fathabadi,
, 2021
Type: conference
Asieh Salehi Fathabadi,
, 2021
, Journal of Systems Architecture
, 112
Type: article
Asieh Salehi Fathabadi,
, 2021
Type: conference
Asieh Salehi Fathabadi,
, 2021
Type: conference
Asieh Salehi Fathabadi,
Yamine Aït Ameur,
, 2021
Type: book
Pagination
- 1
- 2
- 3
- 4
-
Next page
Next
Supervision
Current PhD Students
Abeer Siraj A Akkad
PhD Computer Science
Biography
Asieh Salehi Fathabadi is a senior research fellow in the cyber-physical systems group at the University of Southampton, UK. Her main research area is formal methods for software engineering. She has spent the past 10 years working on several research projects to propose and facilitate use of formal methods for design and verification of safe and secure software-based systems.
Roles and Responsibilities:
- ECS Research Concordat Champion
- ECS EDI Committee