Dana Dghaym

发表

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, 2019, International Journal on Software Tools for Technology Transfer.

Class-Diagrams for Abstract Data Types

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, ICTAC.

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..

Dataset for: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, 2019 .

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

Thai Son Hoang, Dana Dghaym, Colin Snook, 2019, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).

Systematic verification and testing

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

Requirements document, scenarios, and Event-B models for lift examples

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

RailGround using Theory plug-in

Thai Son Hoang, Michael Butler, Dana Dghaym, 2017 .

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).

ERTMS Hybrid Level 3 - model using iUML-B/Event-B

Dana Dghaym, Michael Poppleton, Colin Snook, 2018 .

Railground RSSRail models - iUML-B/Event-B

Thai Son Hoang, Michael Butler, Dana Dghaym, 2017 .

Domain-Specific Scenarios for Refinement-Based Methods

Thai Son Hoang, Michael Butler, Dana Dghaym, 2019, MEDI Workshops.

Development of a System Controlling Cars on a Bridge using Machine Inclusion

Thai Son Hoang, Michael Butler, Dana Dghaym, 2017 .

Behaviour-Driven Formal Model Development

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2018, ICFEM.

Formal Modelling Techniques for Efficient Development of Railway Control Products

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, RSSRail.

Reusing Formal Models via Lifting

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2018, 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).

Extending the ERS approach for workflow modelling in Event-B

Dana Dghaym, Dana Dghaym, 2017 .

A Graphical Tool for Event Refinement Structures in Event-B

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

Domain-specific scenarios for refinement-based methods

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

Developing a Framework for Trustworthy Autonomous Maritime Systems

Thai Son Hoang, Stephen R. Turnock, Dana Dghaym, 2020 .

A Composition Mechanism for Refinement-Based Methods

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3

Colin F. Snook, Dana Dghaym, Michael Poppleton, 2018, ABZ.

Formal Model Validation Through Acceptance Tests

Dana Dghaym, Tomas Fischer, Tomáš Fischer, 2019, RSSRail.

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.

Verifying System-Level Security of a Smart Ballot Box

Thai Son Hoang, Vladimiro Sassone, Dana Dghaym, 2021, ABZ.

An STPA-based formal composition framework for trustworthy autonomous maritime systems

Stephen R. Turnock, Thai Son Hoang, Dana Dghaym, 2021 .