Publications by Dr Richard Payne - ePrints

Browsing publications by Dr Richard Payne.

Newcastle Authors	Title	Year
Dr Richard Payne Professor John Fitzgerald Dr Jeremy Bryans	Applying Model-based SE Techniques for Dependable Land Systems	2016
Professor John Fitzgerald Dr Carl Gamble Dr Richard Payne Dr Peter Larsen	Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study	2016
Gioia Bottesi Dr Richard Payne Professor Mark Freeston	Revising the Intolerance of Uncertainty Model of Generalized Anxiety Disorder: Evidence from UK and Italian Undergraduate Samples	2016
Dr Claire Ingram Dr Richard Payne Professor John Fitzgerald	Architectural Modelling Patterns for Systems of Systems	2015
Dr Claire Ingram Dr Richard Payne Professor John Fitzgerald	Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism	2015
Dr Claire Ingram Dr Richard Payne Professor John Fitzgerald	Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism	2015
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 Claire Ingram Dr Richard Payne	Modelling Patterns for Systems of Systems Architectures	2014
Dr Richard Payne Dr Zoe Andrews	Proceedings of the Workshop on Engineering Dependable Systems of Systems (EDSoS) 2014	2014
Dr Jeremy Bryans Professor John Fitzgerald Dr Richard Payne	SysML Contracts for Systems of Systems	2014
Dr Claire Ingram Dr Zoe Andrews Dr Richard Payne	SysML Fault Modelling in a Traffic Management System of Systems	2014
Dr Zoe Andrews Dr Claire Ingram Dr Richard Payne	Traceable Engineering of Fault-Tolerant SoSs	2014
Dr Zoe Andrews Dr Claire Ingram Dr Richard Payne Professor Alexander Romanovsky	Traceable Engineering of Fault-Tolerant SoSs	2014
Dr Zoe Andrews Professor John Fitzgerald Dr Richard Payne Professor Alexander Romanovsky	Fault Modelling for Systems of Systems	2013
Dr Zoe Andrews Dr Richard Payne Andre Ribeiro Didier	Model-based development of fault tolerant systems of systems	2013
Dr Zoe Andrews Dr Richard Payne Professor Alexander Romanovsky	Model-based development of fault tolerant systems of systems	2013
Dr Jeremy Bryans Dr Richard Payne Jack Holt	Semi-Formal and Formal Interface Specification for System of Systems Architecture	2013
Dr Richard Payne Dr Jeremy Bryans	Semi-Formal and Formal Interface Specification for System of Systems Architecture	2013
Dr Zoe Andrews Dr Claire Ingram Dr Richard Payne Professor Alexander Romanovsky	Traceable Engineering of Fault-Tolerant SoSs	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 Zoe Andrews Professor John Fitzgerald Dr Richard Payne Professor Alexander Romanovsky	Fault Modelling for 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 Richard Payne Professor John Fitzgerald	Contract-Based Interface Specification Language for Functional and Non-Functional Properties	2011
Dr Richard Payne Professor John Fitzgerald	Interface Contracts for Architectural Specification and Assessment: a SysML Extension	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 Richard Payne Professor John Fitzgerald	Evaluation of Architectural Frameworks Supporting Contract-based Specification	2010
Dr Jeremy Bryans Professor John Fitzgerald Professor Cliff Jones Dr Richard Payne	A Dynamic Coalitions Workbench: Final Report	2008
Dr Richard Payne	RPL: A Policy Language For Dynamic Reconfiguration	2008
Dr Richard Payne	RPL: A policy language for dynamic reconfiguration	2008
Professor John Fitzgerald Dr Jeremy Bryans Dr David Greathead Professor Cliff Jones Dr Richard Payne et al.	Animation-based Validation of a Formal Model of Dynamic Virtual Organisations	2007