Asieh Salehi Fathabadi

发表

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

Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi, Michael Butler, 2018 .

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

Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, 2015, Formal Aspects of Computing.

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

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, Sci. Comput. Program..

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

Michael J. Butler, Dana Dghaym, Asieh Salehi Fathabadi, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

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

Asieh Salehi Fathabadi, 2012 .

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

Michael Butler, Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi, 2019 .

Extending ERS for Modelling Dynamic Workflows in Event-B

Michael J. Butler, Dana Dghaym, Asieh Salehi Fathabadi, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).

Formal Modelling of Data Integration Systems Security Policies

Gary B. Wills, Asieh Salehi Fathabadi, Andrew M. Gravell, 2016, Data Science and Engineering.

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

Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, 2011, NASA Formal Methods.

A Systematic Approach to Atomicity Decomposition in Event-B

Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, 2012, SEFM.

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

Luis Alfonso Maeda-Nunez, Geoff V. Merrett, Bashir M. Al-Hashimi, 2018, J. Syst. Archit..

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

Michael Butler, Colin Snook, Asieh Salehi Fathabadi, 2016 .

Building Traceable Event-B Models from Requirements

Corina Cîrstea, Michael J. Butler, Asieh Salehi Fathabadi, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Verifiable Code Generation from Scheduled Event-B Models

Michael J. Butler, Mohammadsadegh Dalvandi, Asieh Salehi Fathabadi, 2018, ABZ.

Applying Event-B Atomicity Decomposition to a Multi Media Protocol

Michael J. Butler, Asieh Salehi Fathabadi, 2009, FMCO.

A Graphical Tool for Event Refinement Structures in Event-B

Michael J. Butler, Dana Dghaym, Asieh Salehi Fathabadi, 2016, ABZ.

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

Mohammadsadegh Dalvandi, Asieh Salehi Fathabadi, Michael Butler, 2019, FM Workshops.

A report on PRiME code generation activities

Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi, Michael Butler, 2018 .

Formal Derivation of Distributed MapReduce

Elena Troubitsyna, Michael J. Butler, Linas Laibinis, 2014, ABZ.

Domain-specific scenarios for refinement-based methods

Thai Son Hoang, Dana Dghaym, Colin Snook, 2020 .

Event-B and Rodin

Michael Butler, Asieh Salehi Fathabadi, Renato Silva, 2013 .

Building traceable Event-B models from requirements

Corina Cîrstea, Asieh Salehi Fathabadi, Eman Alkhammash, 2015, Sci. Comput. Program..

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

Luis Alfonso Maeda-Nunez, Geoff V. Merrett, Bashir M. Al-Hashimi, 2015, 2015 IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip.

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

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

Extensible Record Structures in Event-B

Colin F. Snook, Thai Son Hoang, Dana Dghaym, 2021, ABZ.

Refinable Record Structures in Formal Methods

Colin F. Snook, Thai Son Hoang, Dana Dghaym, 2021, MEDI Workshops.

The CamilleX Framework for the Rodin Platform

Colin F. Snook, Thai Son Hoang, Dana Dghaym, 2021, ABZ.

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

Asieh Salehi Fathabadi, Michael J. Butler, V. Sassone, 2022, MoDELS.