Dag McGeorge

Orcid: 0009-0008-1135-4214

According to our database1, Dag McGeorge authored at least 4 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles.
CoRR, 2024

Modular Assurance of Complex Systems Using Contract-Based Design Principles.
CoRR, 2024

Managing Changing Product Liability Obligations Emerging from New Proposed EU Directive.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2011
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011


  Loading...