Dana Dghaym

According to our database, Dana Dghaym authored at least 24 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Designing Critical Systems Using Hierarchical STPA and Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2022

Developing the UML-B Modelling Tools.

Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Building an Extensible Textual Framework for the Rodin Platform.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

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

Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

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

Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

2021

Domain-specific scenarios for refinement-based methods.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

J. Syst. Archit., 2021

Refinable Record Structures in Formal Methods.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

The CamilleX Framework for the Rodin Platform.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extensible Record Structures in Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Verifying System-Level Security of a Smart Ballot Box.

Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

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

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook

Int. J. Softw. Tools Technol. Transf., 2020

2019

Formal Model Validation Through Acceptance Tests.

Tomas Fischer, Dana Dghaym

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Domain-Specific Scenarios for Refinement-Based Methods.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the New Trends in Model and Data Engineering, 2019

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

Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Behaviour-Driven Formal Model Development.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang

Proceedings of the Formal Methods and Software Engineering, 2018

Reusing Formal Models via Lifting.

Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

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

Dana Dghaym, Michael Poppleton, Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Extending the ERS approach for workflow modelling in Event-B.

Dana Dghaym

PhD thesis, 2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.

Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Class-Diagrams for Abstract Data Types.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

A Composition Mechanism for Refinement-Based Methods.

Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Extending ERS for Modelling Dynamic Workflows in Event-B.

Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

A Graphical Tool for Event Refinement Structures in Event-B.

Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2013

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

Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013