Professor Paolo Missier
Dr Jeremy Bryans
Dr Carl Gamble
| Abstracting PROV provenance graphs: A validity-preserving approach | 2020 |
|
Dr Richard Payne
Professor John Fitzgerald
Dr Jeremy Bryans
| Applying Model-based SE Techniques for Dependable Land Systems | 2016 |
|
Professor Paolo Missier
Dr Jeremy Bryans
Dr Carl Gamble
| ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs | 2015 |
|
Dr Alexei Iliasov
Dr Jeremy Bryans
| A Proof-Based Method for Modelling Timed Systems | 2015 |
|
Professor Paolo Missier
Dr Jeremy Bryans
| Access control and view generation for provenance graphs | 2015 |
|
Professor Paolo Missier
Dr Jeremy Bryans
| Access control and view generation for provenance graphs | 2015 |
|
