8 citations · 9 across the 5 of their papers we have counts for
5 papers
ProvAbs: model, policy, and tooling for abstracting PROV graphs
Paolo Missier, Jeremy Bryans, Carl Gamble +2
Provenance metadata can be valuable in data sharing settings, where it can be used to help data consumers form judgements regarding the reliability of the data produced by third pa…
Fault Modelling in System-of-Systems Contracts
Zoe Andrews, Jeremy Bryans, Richard Payne +1
The nature of Systems of Systems (SoSs), large complex systems composed of independent, geographically distributed and continuously evolving constituent systems, means that faults…
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…
Stochastic Model Checking for Multimedia
Jeremy Bryans, Howard Bowman, John Derrick
Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia facilities where…