Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Jeremy Bryans.

Newcastle AuthorsTitleYearFull text
Professor Paolo Missier
Dr Jeremy Bryans
Dr Carl Gamble
Abstracting PROV provenance graphs: A validity-preserving approach2020
Dr Richard Payne
Professor John Fitzgerald
Dr Jeremy Bryans
Applying Model-based SE Techniques for Dependable Land Systems2016
Professor Paolo Missier
Dr Jeremy Bryans
Dr Carl Gamble
ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs2015
Dr Alexei Iliasov
Dr Jeremy Bryans
A Proof-Based Method for Modelling Timed Systems2015
Professor Paolo Missier
Dr Jeremy Bryans
Access control and view generation for provenance graphs2015
Professor Paolo Missier
Dr Jeremy Bryans
Access control and view generation for provenance graphs2015