14 citations · 22 across the 8 of their papers we have counts for
8 papers
A System-of-Systems Case Study for the Verification of Composed Digital Twins
Mennatullah T. Khedr, Mengwei Xu, John S. Fitzgerald +1
Current approaches to engineering dependable Digital Twins (DTs) of Cyber-Physical Systems lack practical guidance on how qualities such as relevance, verifiability, substitutabili…
Proceedings of the 20th International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 202…
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Peter Gorm Larsen, Hugo Daniel Macedo, John Fitzgerald +6
Businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design (MBD) face difficult choices from a wide range of methods, notations and tools…
Modelling System of Systems Interface Contract Behaviour
Oldrich Faldik, Richard Payne, John Fitzgerald +1
A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. Th…
SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study
Claire Ingram, Steve Riddle, John Fitzgerald +2
Systems of systems (SoSs) are particularly vulnerable to faults and other threats to their dependability, but frequently inhabit domains that demand high levels of dependability. F…
Proceedings Third Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans, John Fitzgerald
This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October…
Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans, John Fitzgerald
FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations. The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners…
Common Representation of Information Flows for Dynamic Coalitions
Igor Mozolevsky, John Fitzgerald
We propose a formal foundation for reasoning about access control policies within a Dynamic Coalition, defining an abstraction over existing access control models and providing mec…