Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Dr Jeremy Bryans.
Newcastle Authors
Title
Year
Full text
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Peter Larsen
Collaborative Systems of Systems Need Collaborative Design
2014
Dr Zoe Andrews
Dr Jeremy Bryans
Dr Richard Payne
Fault Modelling in System-of-Systems Contracts
2014
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Richard Payne
Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML
2014
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Richard Payne
Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML
2014
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Richard Payne
SysML Contracts for Systems of Systems
2014
Professor Paolo Missier
Dr Jeremy Bryans
Preserving privacy in shared provenance data
2013
Professor Paolo Missier
Dr Jeremy Bryans
Dr Carl Gamble
Provenance graph abstraction by node grouping
2013
Dr Richard Payne
Dr Jeremy Bryans
Semi-Formal and Formal Interface Specification for System of Systems Architecture
2013
Dr Jeremy Bryans
Dr Richard Payne
Jack Holt
Semi-Formal and Formal Interface Specification for System of Systems Architecture
2013
Dr Jeremy Bryans
Professor Maciej Koutny
Dr Chunyan Mu
Towards Quantitative Analysis of Opacity
2013
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems
2012
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems
2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures
2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures
2012
Dr Richard Payne
Dr Jeremy Bryans
Modelling the Major Incident Procedure Manual: A System of Systems Case Study
2012
Dr Jeremy Bryans
Developing a Consensus Algorithm Using Stepwise Refinement
2011
Dr Jeremy Bryans
Developing a Consensus Algorithm using Stepwise Refinement
2011
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 VDM
2011
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Thomas McCutcheon
Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations
2011
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Thomas McCutcheon
Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations
2011
Dr Jeremy Bryans
Professor Maciej Koutny
Dr Chunyan Mu
Towards Quantitative Analysis of Opacity
2011
Dr Jeremy Bryans
Developing a Consensus Algorithm using Stepwise Refinement
2010
Dr Jeremy Bryans
Formal Analysis of BPMN models using Event-B
2010
Dr Jeremy Bryans
Formal Analysis of BPMN Models Using Event-B
2010
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Patterns for Modelling Time and Consistency in Business Information Systems
2010
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
2009
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Patterns for Modelling Time and Consistency in Business Information Systems
2009
Dr Jeremy Bryans
Professor John Fitzgerald
Proceedings of Formal Aspects of Virtual Organisations 2009
2009
Dr Peter Larsen
Dr Jeremy Bryans
Proceedings of the 7th OVERTURE workshop
2009
Dr Jeremy Bryans
Professor John Fitzgerald
Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations. Eindhoven, The Netherlands. 3 November 2009
2009
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Dr Richard Payne
A Dynamic Coalitions Workbench: Final Report
2008
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Alexander Romanovsky
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
2008
Dr Panos Periorellis
Dr Nick Cook
Dr Hugo Hiden
Dr Adrian Conlin
Michael Hamilton
et al.
GOLD infrastructure for virtual organizations
2008
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity generalised to transition systems
2008
Dr Jeremy Bryans
Professor John Fitzgerald
Proceedings of Formal Aspects of Virtual Organisations 2008
2008
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Panos Periorellis
A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
2007
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Panos Periorellis
A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
2007
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 Organisations
2007
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 Organisations
2007
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Igor Mozolevsky
Dimensions of Dynamic Coalitions
2006
Dr Jeremy Bryans
Professor Peter Ryan
E-voting: Dependability requirements and design for dependability
2006
Dr Jeremy Bryans
Formal analysis of access control policies
2006
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
2006
Dr Jeremy Bryans
Professor John Fitzgerald
Emeritus Professor Cliff Jones
Igor Mozolevsky
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
2006
Dr Panos Periorellis
Dr Nick Cook
Dr Hugo Hiden
Dr Adrian Conlin
Michael Hamilton
et al.
GOLD Infrastructure for Virtual Organisations
2006
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Panos Periorellis
Model Based Analysis and Validation of Access Control Policies
2006
Dr Jeremy Bryans
Professor Peter Ryan
Opacity generalised to transition systems
2006
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity generalised to transition systems
2006
Dr Panos Periorellis
Dr Nick Cook
Dr Hugo Hiden
Dr Adrian Conlin
Michael Hamilton
et al.
The GOLD Project: Architecture, Development and Deployment
2006
Dr Jeremy Bryans
Professor Peter Ryan
Modelling Dynamic Opacity using Petri Nets with Silent Actions
2005
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling dynamic opacity using petri nets with silent actions
2005
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling opacity using petri nets
2005
Dr Jeremy Bryans
Reasoning about XACML Policies using CSP
2005
Dr Jeremy Bryans
Reasoning about XACML policies using CSP
2005
Dr Jeremy Bryans
Reasoning about XACML policies using CSP
2005
Dr Jeremy Bryans
Dr Leonardus Arief
Security Implications of Structure
2005
Professor Peter Ryan
Dr Jeremy Bryans
A Simplified Version of the Chaum Voting Scheme
2004
Professor Peter Ryan
Dr Jeremy Bryans
A Simplified Version of the Chaum Voting Scheme
2004
Dr Jeremy Bryans
Expressing iterative properties logically in a symbolic setting
2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling Dynamic Opacity using Petri Nets with Silent Actions
2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling Opacity using Petri Nets
2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity Generalised to Transition Systems
2004
Dr Jeremy Bryans
Professor Peter Ryan
A Dependability Analysis of the Chaum Digital Voting Scheme
2003
Dr Jeremy Bryans
Model Checking Stochastic Automata
2003
Dr Jeremy Bryans
Analysis of a Multimedia Stream using Stochastic Process Algebra
2001
Dr Jeremy Bryans
Implementing a Modal Logic over Data and Processes using XTL
2001
Dr Jeremy Bryans
Using Rewriting Logic to implement the modal logic FULL
2001
Dr Jeremy Bryans
A Manual for a Model Checker for Stochastic Automata
2000
Dr Jeremy Bryans
A model checking algorithm for stochastic systems
2000
Dr Jeremy Bryans
Stochastic Specification and Verification
1999
Dr Jeremy Bryans
Using Probability to Reason about Soft Deadlines
1999
Dr Jeremy Bryans
Analysis of a Multimedia Stream using Stochastic Process Algebra
1998
Dr Jeremy Bryans
Combining CSP and Temporal Logic
1998
Dr Jeremy Bryans
Constraint Oriented Specification with CSP and Real-time Logic
1998
Dr Jeremy Bryans
Using Probability to Reason about Soft Deadlines
1998
Dr Jeremy Bryans
CSP, PVS and a Recursive Authentication Protocol
1997
Dr Jeremy Bryans
Mechanical Verification of the full Needham-Schroeder Public Key Protocol
1997
Dr Jeremy Bryans
Real-time LOTOS and Timed Observations
1996
Dr Jeremy Bryans
Towards a denotational semantics for ET-LOTOS
1995
Dr Jeremy Bryans
A failures semantics for ET-LOTOS
1994
Dr Jeremy Bryans
Real-time CSP and ET-LOTOS
1994