Publications by Dr Jeremy Bryans - ePrints

Browsing publications by Dr Jeremy Bryans.

Newcastle Authors	Title	Year
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 Emeritus 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 Emeritus 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 Emeritus 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 Emeritus 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 Emeritus Professor Maciej Koutny Professor Peter Ryan	Modelling dynamic opacity using petri nets with silent actions	2005
Dr Jeremy Bryans Emeritus 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 Emeritus Professor Maciej Koutny Professor Peter Ryan	Modelling Dynamic Opacity using Petri Nets with Silent Actions	2004
Dr Jeremy Bryans Emeritus Professor Maciej Koutny Professor Peter Ryan	Modelling Opacity using Petri Nets	2004
Dr Jeremy Bryans Emeritus 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