Dana Dghaym

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 23

Top Venues

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Taslim Mahbub, Azadan Bhagwagar, Priyanka Chand, Imran A. Zualkernan, Jacky Judas, Dana Dghaym
Bat2Web: A Framework for Real-Time Classification of Bat Species Echolocation Signals Using Audio Sensor Data. Sensors 24 (9) (2024)
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ (2023)
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) (2022)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops (2022)
Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook
Generating SPARK from Event-B, Providing Fundamental Safety and Security. MEDI Workshops (2022)
Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym
Developing the UML-B Modelling Tools. SEFM Workshops (2022)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Domain-specific scenarios for refinement-based methods. J. Syst. Archit. 112 (2021)
Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone
Verifying System-Level Security of a Smart Ballot Box. ABZ (2021)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Extensible Record Structures in Event-B. ABZ (2021)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Refinable Record Structures in Formal Methods. MEDI Workshops (2021)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
The CamilleX Framework for the Rodin Platform. ABZ (2021)
Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS (2019)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Domain-Specific Scenarios for Refinement-Based Methods. MEDI Workshops (2019)
Tomas Fischer, Dana Dghaym
Formal Model Validation Through Acceptance Tests. RSSRail (2019)
Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler
Reusing Formal Models via Lifting. ICECCS (2018)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang
Behaviour-Driven Formal Model Development. ICFEM (2018)
Dana Dghaym, Michael Poppleton, Colin F. Snook
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. ABZ (2018)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler
Class-Diagrams for Abstract Data Types. ICTAC (2017)
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi
Extending ERS for Modelling Dynamic Workflows in Event-B. ICECCS (2017)
Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer
Formal Modelling Techniques for Efficient Development of Railway Control Products. RSSRail (2017)
Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler
A Composition Mechanism for Refinement-Based Methods. ICECCS (2017)
Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi
A Graphical Tool for Event Refinement Structures in Event-B. ABZ (2016)
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)

Dana Dghaym.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dana Dghaym