Dana Dghaym

28 papers B 4C 8Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Few-Shot Evaluation of Vision Language Models for Detecting Visual Defects in Autonomous Vehicle Software Requirement Specifications.
IEEE Access
Nabil Bukhary, Maaz Ahmad, Karim Rashad, Samarth Rai, Salsabeel Y. Shapsough, Yara Kaddoura, Dana Dghaym, Imran A. Zualkernan
2025 J jnl
Systematic hierarchical analysis of requirements for critical systems.
Innov. Syst. Softw. Eng.
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
2024 J jnl
Bat2Web: A Framework for Real-Time Classification of Bat Species Echolocation Signals Using Audio Sensor Data.
Sensors
Taslim Mahbub, Azadan Bhagwagar, Priyanka Chand, Imran A. Zualkernan, Jacky Judas, Dana Dghaym
2024 J jnl
Can GPT-4 Aid in Detecting Ambiguities, Inconsistencies, and Incompleteness in Requirements Analysis? A Comprehensive Case Study.
IEEE Access
Taslim Mahbub, Dana Dghaym, Aadhith Shankarnarayanan, Taufiq Syed, Salsabeel Y. Shapsough, Imran A. Zualkernan
2023 C conf
Designing Critical Systems Using Hierarchical STPA and Event-B.
ABZ
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
2022 — conf
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
MoDELS (Companion)
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
2022 — conf
Building an Extensible Textual Framework for the Rodin Platform.
SEFM Workshops
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
2022 — conf
Developing the UML-B Modelling Tools.
SEFM Workshops
Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym
2022 — conf
Generating SPARK from Event-B, Providing Fundamental Safety and Security.
MEDI Workshops
Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook
2021 J jnl
Domain-specific scenarios for refinement-based methods.
J. Syst. Archit.
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
2021 C conf
Extensible Record Structures in Event-B.
ABZ
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
2021 — conf
Refinable Record Structures in Formal Methods.
MEDI Workshops
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
2021 C conf
The CamilleX Framework for the Rodin Platform.
ABZ
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
2021 C conf
Verifying System-Level Security of a Smart Ballot Box.
ABZ
Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone
2020 J jnl
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.
Int. J. Softw. Tools Technol. Transf.
Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook
2019 B conf
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.
ICECCS
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
2019 — conf
Domain-Specific Scenarios for Refinement-Based Methods.
MEDI Workshops
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
2019 — conf
Formal Model Validation Through Acceptance Tests.
RSSRail
Tomas Fischer, Dana Dghaym
2018 C conf
Behaviour-Driven Formal Model Development.
ICFEM
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang
2018 C conf
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.
ABZ
Dana Dghaym, Michael Poppleton, Colin F. Snook
2018 B conf
Reusing Formal Models via Lifting.
ICECCS
Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler
2017 B conf
A Composition Mechanism for Refinement-Based Methods.
ICECCS
Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler
2017 C conf
Class-Diagrams for Abstract Data Types.
ICTAC
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler
2017 B conf
Extending ERS for Modelling Dynamic Workflows in Event-B.
ICECCS
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi
2017 — —
Extending the ERS approach for workflow modelling in Event-B.
Dana Dghaym
2017 — conf
Formal Modelling Techniques for Efficient Development of Railway Control Products.
RSSRail
Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer
2016 C conf
A Graphical Tool for Event Refinement Structures in Event-B.
ABZ
Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi
2013 J jnl
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi