Dana Dghaym

According to our database1, Dana Dghaym authored at least 18 papers between 2013 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Domain-specific scenarios for refinement-based methods.
J. Syst. Archit., 2021

The CamilleX Framework for the Rodin Platform.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extensible Record Structures in Event-B.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Verifying System-Level Security of a Smart Ballot Box.
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.
Int. J. Softw. Tools Technol. Transf., 2020

2019
Formal Model Validation Through Acceptance Tests.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Domain-Specific Scenarios for Refinement-Based Methods.
Proceedings of the New Trends in Model and Data Engineering, 2019

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018
Behaviour-Driven Formal Model Development.
Proceedings of the Formal Methods and Software Engineering, 2018

Reusing Formal Models via Lifting.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Extending the ERS approach for workflow modelling in Event-B.
PhD thesis, 2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Class-Diagrams for Abstract Data Types.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

A Composition Mechanism for Refinement-Based Methods.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Extending ERS for Modelling Dynamic Workflows in Event-B.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
A Graphical Tool for Event Refinement Structures in Event-B.
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013


  Loading...