Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Jeremy Bryans.

Newcastle AuthorsTitleYearFull text
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Peter Larsen
Collaborative Systems of Systems Need Collaborative Design2014
Dr Zoe Andrews
Dr Jeremy Bryans
Dr Richard Payne
Fault Modelling in System-of-Systems Contracts2014
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Richard Payne
Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML2014
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Richard Payne
Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML2014
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Richard Payne
SysML Contracts for Systems of Systems2014
Professor Paolo Missier
Dr Jeremy Bryans
Preserving privacy in shared provenance data2013
Professor Paolo Missier
Dr Jeremy Bryans
Dr Carl Gamble
Provenance graph abstraction by node grouping2013
Dr Richard Payne
Dr Jeremy Bryans
Semi-Formal and Formal Interface Specification for System of Systems Architecture2013
Dr Jeremy Bryans
Dr Richard Payne
Jack Holt
Semi-Formal and Formal Interface Specification for System of Systems Architecture2013
Dr Jeremy Bryans
Professor Maciej Koutny
Dr Chunyan Mu
Towards Quantitative Analysis of Opacity2013
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems2012
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures2012
Dr Richard Payne
Dr Jeremy Bryans
Modelling the Major Incident Procedure Manual: A System of Systems Case Study2012
Dr Jeremy Bryans
Developing a Consensus Algorithm Using Stepwise Refinement2011
Dr Jeremy Bryans
Developing a Consensus Algorithm using Stepwise Refinement2011
Dr Zoe Andrews
Dr Jeremy Bryans
Professor John Fitzgerald
John Hughes
Dr Richard Payne
et al.
Modelling and Refinement of the MONDEX Electronic Purse in VDM2011
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Thomas McCutcheon
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations2011
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Thomas McCutcheon
Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations2011
Dr Jeremy Bryans
Professor Maciej Koutny
Dr Chunyan Mu
Towards Quantitative Analysis of Opacity2011
Dr Jeremy Bryans
Developing a Consensus Algorithm using Stepwise Refinement2010
Dr Jeremy Bryans
Formal Analysis of BPMN models using Event-B2010
Dr Jeremy Bryans
Formal Analysis of BPMN Models Using Event-B2010
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Patterns for Modelling Time and Consistency in Business Information Systems2010
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware2009
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Patterns for Modelling Time and Consistency in Business Information Systems2009
Dr Jeremy Bryans
Professor John Fitzgerald
Proceedings of Formal Aspects of Virtual Organisations 20092009
Dr Peter Larsen
Dr Jeremy Bryans
Proceedings of the 7th OVERTURE workshop2009
Dr Jeremy Bryans
Professor John Fitzgerald
Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations. Eindhoven, The Netherlands. 3 November 20092009
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Dr Richard Payne
A Dynamic Coalitions Workbench: Final Report2008
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware2008
Dr Panos Periorellis
Dr Nick Cook
Dr Hugo Hiden
Dr Adrian Conlin
Michael Hamilton
et al.
GOLD infrastructure for virtual organizations2008
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity generalised to transition systems2008
Dr Jeremy Bryans
Professor John Fitzgerald
Proceedings of Formal Aspects of Virtual Organisations 20082008
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Panos Periorellis
A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations2007
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Panos Periorellis
A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations2007
Professor John Fitzgerald
Dr Jeremy Bryans
Dr David Greathead
Emeritus Professor Cliff Jones
Dr Richard Payne
et al.
Animation-based Validation of a Formal Model of Dynamic Virtual Organisations2007
Dr Jeremy Bryans
Professor John Fitzgerald
Formal Engineering of XACML Access Control Policies in VDM++2007
Dr Jeremy Bryans
Professor John Fitzgerald
Formal Engineering of XACML Access Control Policies in VDM++2007
Dr Jeremy Bryans
Professor John Fitzgerald
Validating Access Control Policies for Virtual Organisations2007
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Igor Mozolevsky
Dimensions of Dynamic Coalitions2006
Dr Jeremy Bryans
Professor Peter Ryan
E-voting: Dependability requirements and design for dependability2006
Dr Jeremy Bryans
Formal analysis of access control policies2006
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering2006
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering2006
Dr Panos Periorellis
Dr Nick Cook
Dr Hugo Hiden
Dr Adrian Conlin
Michael Hamilton
et al.
GOLD Infrastructure for Virtual Organisations2006
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Panos Periorellis
Model Based Analysis and Validation of Access Control Policies2006
Dr Jeremy Bryans
Professor Peter Ryan
Opacity generalised to transition systems2006
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity generalised to transition systems2006
Dr Panos Periorellis
Dr Nick Cook
Dr Hugo Hiden
Dr Adrian Conlin
Michael Hamilton
et al.
The GOLD Project: Architecture, Development and Deployment2006
Dr Jeremy Bryans
Professor Peter Ryan
Modelling Dynamic Opacity using Petri Nets with Silent Actions2005
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling dynamic opacity using petri nets with silent actions2005
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling opacity using petri nets2005
Dr Jeremy Bryans
Reasoning about XACML Policies using CSP2005
Dr Jeremy Bryans
Reasoning about XACML policies using CSP2005
Dr Jeremy Bryans
Reasoning about XACML policies using CSP2005
Dr Jeremy Bryans
Dr Leonardus Arief
Security Implications of Structure2005
Professor Peter Ryan
Dr Jeremy Bryans
A Simplified Version of the Chaum Voting Scheme2004
Professor Peter Ryan
Dr Jeremy Bryans
A Simplified Version of the Chaum Voting Scheme2004
Dr Jeremy Bryans
Expressing iterative properties logically in a symbolic setting2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling Dynamic Opacity using Petri Nets with Silent Actions2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling Opacity using Petri Nets2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity Generalised to Transition Systems2004
Dr Jeremy Bryans
Professor Peter Ryan
A Dependability Analysis of the Chaum Digital Voting Scheme2003
Dr Jeremy Bryans
Model Checking Stochastic Automata2003
Dr Jeremy Bryans
Analysis of a Multimedia Stream using Stochastic Process Algebra2001
Dr Jeremy Bryans
Implementing a Modal Logic over Data and Processes using XTL2001
Dr Jeremy Bryans
Using Rewriting Logic to implement the modal logic FULL2001
Dr Jeremy Bryans
A Manual for a Model Checker for Stochastic Automata2000
Dr Jeremy Bryans
A model checking algorithm for stochastic systems2000
Dr Jeremy Bryans
Stochastic Specification and Verification1999
Dr Jeremy Bryans
Using Probability to Reason about Soft Deadlines1999
Dr Jeremy Bryans
Analysis of a Multimedia Stream using Stochastic Process Algebra1998
Dr Jeremy Bryans
Combining CSP and Temporal Logic1998
Dr Jeremy Bryans
Constraint Oriented Specification with CSP and Real-time Logic1998
Dr Jeremy Bryans
Using Probability to Reason about Soft Deadlines1998
Dr Jeremy Bryans
CSP, PVS and a Recursive Authentication Protocol1997
Dr Jeremy Bryans
Mechanical Verification of the full Needham-Schroeder Public Key Protocol1997
Dr Jeremy Bryans
Real-time LOTOS and Timed Observations1996
Dr Jeremy Bryans
Towards a denotational semantics for ET-LOTOS1995
Dr Jeremy Bryans
A failures semantics for ET-LOTOS1994
Dr Jeremy Bryans
Real-time CSP and ET-LOTOS1994