Personal information

Other IDs

Scopus Author ID: 56241643900

Activities

Collapse all

Employment (1)

University of Southampton: Southampton, GB

Employment
Source: check_circle
University of Southampton

Works (50 of 59)

Items per page:
Page 1 of 2

Analysing the Safety Implications of Security Risks in Cyber-Physical Systems

2024 | Book chapter
DOI: 10.1007/978-3-031-66673-5_6
Contributors: Colin Snook; Thai Son Hoang; Asieh Salehi Fathabadi; Michael Butler; Martin Kubisch
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Designing Exception Handling Using Event-B

2024 | Book chapter
DOI: 10.1007/978-3-031-63790-2_22
Contributors: Asieh Salehi Fathabadi; Colin Snook; Thai Son Hoang; Robert Thorburn; Michael Butler; Leonardo Aniello; Vladimiro Sassone
Source: check_circle
Crossref

Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems

2024 | Book chapter
DOI: 10.1007/978-3-031-63790-2_3
Contributors: Fahad Alotaibi; Thai Son Hoang; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
Crossref

Property Ownership Formal Modelling Using Event-B and iUML-B

2024 | Book chapter
DOI: 10.1007/978-3-031-63790-2_12
Contributors: Manar Altamimi; Nawfal Al Hashimy; Asieh Salehi Fathabadi; Gary Wills
Source: check_circle
Crossref

"Trust equals less death - it's as simple as that" : Developing a Socio-technical Framework for Trustworthy Defence and Security Automated Systems

2024-09-16 | Conference paper
DOI: 10.1145/3686038.3686071
Contributors: Asieh Salehi Fathabadi; Pauline Leonard
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Designing exception handling using Event-B

ABZ 2024 – 10th International Conference on Rigorous State Based Methods, Bergamo, Italy, 25/06/24
2024-06-25 | Conference paper | Author
SOURCE-WORK-ID:

eafb6c46-9408-4176-8461-ea9f718cd288
Contributors: Asieh Salehi Fathabadi; Colin Snook; Thai Son Hoang; Robert Thorburn; Michael Butler; LEONARDO ANIELLO; Vladimiro Sassone
Source: check_circle
University of Southampton

Event-B development of modelling human intervention request in self-driving vehicle systems

ABZ 2024 – 10th International Conference on Rigorous State Based Methods, Bergamo, Italy, 25/06/24
2024-06-25 | Conference paper | Author
SOURCE-WORK-ID:

b3452f99-1a7b-43ca-ab7f-de019379b07c
Contributors: F. Alotaibi; Thai Son Hoang; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
University of Southampton

Proceedings of the 11th Rodin user and developer workshop

11th Rodin User and Developer Workshop, 2024, Bergomo, Italy, 25/06/24
2024-06-25 | Edited book | Editor
SOURCE-WORK-ID:

34733ae9-92a5-4962-b7bc-38804f50db7f
Contributors: Asieh Salehi Fathabadi; Guillaume Verdier; Kristin Rutenkolk; Neeraj Kumar Singh; Sebastian Stock; Laurent Voisin
Source: check_circle
University of Southampton

Property ownership formal modelling using Event-B and iUML-B

ABZ 2024 – 10th International Conference on Rigorous State Based Methods, Bergamo, Italy, 25/06/24
2024-06-25 | Conference paper | Author
SOURCE-WORK-ID:

4bed75ed-0b55-49d5-b1f6-519e191336e9
Contributors: Manar; Nawfal Fadhel; Asieh Salehi Fathabadi; Gary Wills
Source: check_circle
University of Southampton

Formal specification of actual trust in multiagent systems

The third International Conference on Hybrid Human-Artificial Intelligence, Malmö, Sweden, 10/06/24
2024-06-10 | Conference paper | Author
SOURCE-WORK-ID:

098747e6-38ce-47fa-82fa-12796d401517
Contributors: Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; et al.; Corina Cirstea; Mehdi Dastani; Luc Moreau
Source: check_circle
University of Southampton

Formal Specification of Actual Trust in Multiagent Systems

2024-06-05 | Book chapter
DOI: 10.3233/FAIA240179
Contributors: Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Corina Cirstea; Mehdi Dastani; Luc Moreau
Source: check_circle
Crossref

Actual Trust in Multiagent Systems

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024)
2024-05 | Conference paper | Author
SOURCE-WORK-ID:

d3815f6a-e071-46b5-9d5a-72142955346d
Contributors: Michael Akintunde; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Corina Cirstea; Mehdi Dastani; Luc Moreau
Source: check_circle
University of Southampton

Systematic hierarchical analysis of requirements for critical systems

Innovations in Systems and Software Engineering
2024-03-12 | Journal article
DOI: 10.1007/s11334-024-00551-8
Contributors: Asieh Salehi Fathabadi; Colin Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael Butler
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Building an Extensible Textual Framework for the Rodin Platform

2023 | Book chapter
DOI: 10.1007/978-3-031-26236-4_11
Contributors: Thai Son Hoang; Colin Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
Crossref

Designing Critical Systems Using Hierarchical STPA and Event-B

2023 | Book chapter
DOI: 10.1007/978-3-031-33163-3_17
Contributors: Asieh Salehi Fathabadi; Colin Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael Butler
Source: check_circle
Crossref

Developing the UML-B Modelling Tools

2023 | Book chapter
DOI: 10.1007/978-3-031-26236-4_16
Contributors: Colin Snook; Michael Butler; Thai Son Hoang; Asieh Salehi Fathabadi; Dana Dghaym
Source: check_circle
Crossref

Trust modelling and verification using Event-B

<br/>Fifth Workshop on Formal Methods for Autonomous Systems<br/>, Leiden, Netherlands, 15/11/23
2023-11-15 | Conference paper | Author
SOURCE-WORK-ID:

85bbde51-87fe-420f-9c0b-ec0cea5bde4c
Contributors: Asieh Salehi Fathabadi; Vahid Yazdanpanah
Source: check_circle
University of Southampton

Verifiably safe and trusted human-AI systems: a socio-technical perspective

First International Symposium on Trustworthy Autonomous Systems, Edinburgh, United Kingdom, 11/07/23
2023-07 | Conference paper | Author
SOURCE-WORK-ID:

aff1a4bd-d3b0-4c90-a8cc-eb1410e61569
Contributors: Michael Akintunde; Victoria Young; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Pauline Leonard; Michael Butler; Luc Moreau
Source: check_circle
University of Southampton

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

2023-07-11 | Conference paper
DOI: 10.1145/3597512.3599719
Contributors: Michael Akintunde; Victoria Young; Vahid Yazdanpanah; Asieh Salehi Fathabadi; Pauline Leonard; Michael Butler; Luc Moreau
Source: check_circle
Crossref

Designing critical systems using hierarchical STPA and event-B

9th International Conference on Rigorous State Based Methods, 30/05/23
2023-05-30 | Conference paper | Author
SOURCE-WORK-ID:

bd3944dc-8bf7-471a-a002-c5a3903a5519
Contributors: Asieh Salehi Fathabadi; Colin Snook; Dana Dghaym; Thai Son Hoang; F. Alotaibi; Michael Butler
Source: check_circle
University of Southampton

Developing the UML-B modelling tools

Software Engineering and Formal Methods / SEFM 2022 Collocated Workshops / AI4EA, CIFMA, CoSim-CPS, F-IDE, 26/09/22
2022 | Conference paper | Author
SOURCE-WORK-ID:

c9d077db-1780-48c2-865b-c07e9e5f2a1e
Contributors: Colin Snook; Michael Butler; Thai Son Hoang; Asieh Salehi Fathabadi; Dana Dghaym
Source: check_circle
University of Southampton

Generating SPARK from Event-B, providing fundamental safety and security

DETECT 2022 mo Deling, v Erification and Testing of d Ependable Cri Tical systems, In conjunction with 11th International Conference on Model and Data Engineering, 21/11/22
2022 | Conference paper | Author
SOURCE-WORK-ID:

26fa13ad-9f24-4d6e-8135-7771e80071a2
Contributors: Asieh Salehi Fathabadi; Dana Dghaym; Thai Son Hoang; Michael Butler; Colin Snook
Source: check_circle
University of Southampton

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

2022 | Book chapter
DOI: 10.1007/978-3-031-23119-3_13
Contributors: Asieh Salehi Fathabadi; Dana Dghaym; Thai Son Hoang; Michael Butler; Colin Snook
Source: check_circle
Crossref

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design

International Conference on Model Driven Engineering Languages and Systems, Montreal, Canada, 23/10/22
2022-10-28 | Conference paper | Author
SOURCE-WORK-ID:

9022c4cd-c3cc-4e78-a080-4c2260be0a66
Contributors: Robert Thorburn; Vladimiro Sassone; Asieh Salehi Fathabadi; LEONARDO ANIELLO; Michael Butler; Dana Dghaym; Thai Son Hoang
Source: check_circle
University of Southampton

Building an extensible textual framework for the rodin platform

Software Engineering and Formal Methods / SEFM 2022 Collocated Workshops / AI4EA, CIFMA, CoSim-CPS, F-IDE, 26/09/22
2022-09 | Conference paper | Author
SOURCE-WORK-ID:

4d66e684-aebb-41cc-b758-6303a8ee7293
Contributors: Thai Son Hoang; Colin Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
University of Southampton

Extensible Record Structures in Event-B

2021 | Book chapter
DOI: 10.1007/978-3-030-77543-8_12
Contributors: Asieh Salehi Fathabadi; Colin Snook; Thai Son Hoang; Dana Dghaym; Michael Butler
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Proceedings of the 9th Rodin User and Developer Workshop, 2021

2021 | Book | Author
SOURCE-WORK-ID:

27dfb80f-2f8c-441b-bffe-b4e332c151c4
Contributors: Asieh Salehi Fathabadi; Yamine Aït Ameur; Thai Son Hoang; Colin Snook
Source: check_circle
University of Southampton

Refinable Record Structures in Formal Methods

2021 | Book chapter
DOI: 10.1007/978-3-030-87657-9_1
Contributors: Asieh Salehi Fathabadi; Colin Snook; Thai Son Hoang; Dana Dghaym; Michael Butler
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Scenario Checker: An Event-B tool for validating abstract models

9th Rodin User and Developer Workshop, 8/06/21
2021 | Conference paper | Author
SOURCE-WORK-ID:

b7e2410d-275e-44db-9642-2ab2c9ea2406
Contributors: Colin Snook; Thai Son Hoang; Asieh Salehi Fathabadi; Dana Dghaym; Michael Butler
Source: check_circle
University of Southampton

The CamilleX Framework for the Rodin Platform

2021 | Book chapter
DOI: 10.1007/978-3-030-77543-8_11
Contributors: Thai Son Hoang; Colin Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Towards CamilleX 3.0

9th Rodin User and Developer Workshop, 8/06/21
2021 | Conference paper | Author
SOURCE-WORK-ID:

d1df1f8e-8499-4cd8-b9b8-1fc4ad2d5140
Contributors: Thai Son Hoang; Colin Snook; Asieh Salehi Fathabadi; Dana Dghaym; Michael Butler
Source: check_circle
University of Southampton

Domain-specific scenarios for refinement-based methods

Journal of Systems Architecture
2021-01-01 | Journal article | Author
DOI: 10.1016/j.sysarc.2020.101833
SOURCE-WORK-ID:

c29a43ee-9f98-42e2-843f-9ff46e554752

EID:

2-s2.0-85091503874
Contributors: Colin Snook; Thai Son Hoang; Dana Dghaym; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
University of Southampton

SEB-CG: Code generation tool with algorithmic refinement support for Event-B

Practical Formal Verification for Software Dependability, Porto, Portugal, 7/10/19
2019 | Conference paper | Author
SOURCE-WORK-ID:

6f7f2430-6808-4380-8c48-5fc7979fb23b
Contributors: Mohammad Sadegh Dalvandi; Michael Butler; Asieh Salehi Fathabadi
Source: check_circle
University of Southampton

Verifying cross-layer interactions through formal model-based assertion generation

IEEE Embedded Systems Letters
2019-11-22 | Journal article | Author
DOI: 10.1109/LES.2019.2955316
SOURCE-WORK-ID:

2a1a0ac1-4c0f-49c9-bf72-596caddc28f4

EID:

2-s2.0-85075997192
Contributors: Asieh Salehi Fathabadi; Mohammadsadegh Dalvandi ; Michael Butler; Bashir M. Al-Hashimi
Source: check_circle
University of Southampton

Developing portable embedded software for multicore systems through formal abstraction and refinement

Many-Core Computing: Hardware and Software
2019-06-03 | Book chapter | Author
SOURCE-WORK-ID:

66cc214c-1ff1-467b-b672-05f3f52b351e

EID:

2-s2.0-85118035865

Part of ISBN: 978-1-78561-582-5
Contributors: Asieh Salehi Fathabadi; Mohammad Sadegh Dalvandi; Michael Butler
Source: check_circle
University of Southampton

A report on PRiME code generation activities

7th Rodin Workshop, Southampton, United Kingdom, 5/06/18
2018-06-05 | Conference abstract | Author
SOURCE-WORK-ID:

69cf7783-e3c0-4aa3-9909-c2acf8befcad
Contributors: Mohammad Sadegh Dalvandi; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
University of Southampton

Verifiable code generation from scheduled event-B models

Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018-05-08 | Conference paper | Author
DOI: 10.1007/978-3-319-91271-4_16
SOURCE-WORK-ID:

78ab9ae1-f573-4121-86b4-0097b9734458

EID:

2-s2.0-85047401894

Part of ISBN: 978-3-319-91271-4
Part of ISBN: 978-3-319-91270-7
Contributors: Mohammad Sadegh Dalvandi; Michael Butler; Abdolbaghi Rezazadeh; Asieh Salehi Fathabadi
Source: check_circle
University of Southampton

Using formal methods for automatic platform-independent code generation of run-time management

University Booth at DATE 2018, Dresden, Germany, 19/03/18
2018-03 | Conference abstract | Author
SOURCE-WORK-ID:

b53afed7-1af8-49e9-9d8d-62e68fddebf7
Contributors: Mohammad Sadegh Dalvandi; Asieh Salehi Fathabadi; Michael Butler
Source: check_circle
University of Southampton

Extending ERS for modelling dynamic workflows in Event-B

22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan, 5/11/17
2018-02-14 | Conference paper | Author
DOI: 10.1109/ICECCS.2017.29
SOURCE-WORK-ID:

0b6e6f5e-419b-41a6-88b5-38d98f64fbdb

EID:

2-s2.0-85045268388
Contributors: Dana Dghaym; Michael Butler; Asieh Salehi Fathabadi
Source: check_circle
University of Southampton

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

Journal of Systems Architecture
2018-01 | Journal article | Author
DOI: 10.1016/j.sysarc.2017.12.001
SOURCE-WORK-ID:

5bcc3cc6-5c0b-4e29-a88b-08071d4ad689

EID:

2-s2.0-85039760691
Contributors: Asieh Salehi Fathabadi; Michael Butler; Sheng Yang; Luis Maeda-Nunez; James Bantock; Bashir M. Al-Hashimi; Geoff Merrett
Source: check_circle
University of Southampton

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

Science of Computer Programming
2017-11-17 | Journal article | Author
DOI: 10.1016/j.scico.2017.11.002
SOURCE-WORK-ID:

36a1c119-719f-44a3-adcc-1d54f0f079b5

EID:

2-s2.0-85034734101
Contributors: Thai Son Hoang; Colin Snook; Asieh Salehi Fathabadi; Michael Butler; Lukas Ladenberger
Source: check_circle
University of Southampton

Theory plug-in for Rodin 3.x

arXiv
2017-01-04 | Journal article | Author
SOURCE-WORK-ID:

9de07b7f-7081-4c9b-bbdb-e7446336f85a
Contributors: Thai Son Hoang; Laurent Voisin; Asieh Salehi Fathabadi; Michael Butler; Toby Wilkinson; Nicolas Beauger
Source: check_circle
University of Southampton

Extending Code Generation to Support Platform-Independent Event-B Models

Rodin Developer Workshop, 2016, 1/01/16
2016 | Conference paper | Author
SOURCE-WORK-ID:

2a04f89c-7058-4544-b728-9dd58404270f
Contributors: Asieh Salehi Fathabadi; Michael Butler; Colin Snook
Source: check_circle
University of Southampton

Formal modelling of data integration systems security policies

Data Science and Engineering
2016-09 | Journal article | Author
DOI: 10.1007/s41019-016-0016-y
SOURCE-WORK-ID:

fae62a93-7611-4099-8fcf-1d327cdc6ee4

EID:

2-s2.0-85049178356
Contributors: Fatmah Akeel; Asieh Salehi Fathabadi; Federica Paci; Andy Gravell; Gary Wills
Source: check_circle
University of Southampton

Theory plug-in for Rodin 3.x

6th Rodin User and Developer Workshop, Austria, 23/05/16
2016-05-23 | Conference paper | Author
SOURCE-WORK-ID:

c61fd753-4c48-4a42-ac45-13d0e87315b9
Contributors: Thai Son Hoang; Asieh Salehi Fathabadi; Michael Butler; Laurent Voisin
Source: check_circle
University of Southampton

Using Rodin and BMotionStudio for public engagement

Rodin Developer Workshop 2016, Austria, 23/05/16
2016-05-23 | Conference paper | Author
SOURCE-WORK-ID:

55b0cdbd-471b-4cce-bb4e-e27789738482
Contributors: Dana Dghaym; Asieh Salehi Fathabadi; Colin Snook
Source: check_circle
University of Southampton

A graphical tool for event refinement structures in Event-B

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Austria, 23/02/16
2016-05-11 | Conference paper | Author
DOI: 10.1007/978-3-319-33600-8_20
SOURCE-WORK-ID:

f05eec6e-78bd-466f-8668-4478c1df716f

EID:

2-s2.0-84978655752
Contributors: Dana Dghaym; Matheus Garay Trindade; Michael Butler; Asieh Salehi Fathabadi
Source: check_circle
University of Southampton

Towards automatic code generation of run-time power management for embedded systems using formal methods

9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Italy, 23/09/15
2015-09 | Conference paper | Author
SOURCE-WORK-ID:

6f167560-fdd1-4cec-b140-92071b5998d4

EID:

2-s2.0-84962729949
Contributors: Asieh Salehi Fathabadi; Luis Alfonso Maeda-Nunez; Michael Butler; Bashir Al-Hashimi; Geoff Merrett
Source: check_circle
University of Southampton

Building traceable Event-B models from requirements

Science of Computer Programming
2015-06-15 | Journal article | Author
DOI: 10.1016/j.scico.2015.06.002
SOURCE-WORK-ID:

da9b7c76-3b91-4529-bed7-872335dd1b69

EID:

2-s2.0-84941180393

WOSUID:

000368556700006
Contributors: Eman Alkhammash; Michael Butler; Asieh Salehi Fathabadi; Corina Cirstea
Source: check_circle
University of Southampton

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

Formal Aspects of Computing
2015-05 | Journal article | Author
DOI: 10.1007/s00165-014-0311-1
SOURCE-WORK-ID:

88c64699-82be-40a6-a755-98e9f5ba8800

EID:

2-s2.0-84928632150

WOSUID:

000353826900003
Contributors: Asieh Salehi Fathabadi; Michael Butler; Abdolbaghi Rezazadeh
Source: check_circle
University of Southampton
Items per page:
Page 1 of 2

Peer review (4 reviews for 4 publications/grants)

Review activity for Computers in industry. (1)
Review activity for e-Prime - Advances in Electrical Engineering, Electronics and Energy (1)
Review activity for Formal aspects of computing. (1)
Review activity for Sustainable futures. (1)
How many people are using ORCID?