Richard John Payne

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Venues

SoSE

SysCon

CoRR

PRO-VE

University of Newcastle Upon Tyne, UK (PHD)

Education History

University of Newcastle Upon Tyne, UK

PHD

Publications

Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova
Modelling System of Systems Interface Contract Behaviour. FESCA@ETAPS (2017)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops (2017)
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
Checking SysML Models for Co-simulation. ICFEM (2016)
Jon Holt, Simon Perry, Richard John Payne, Jeremy W. Bryans, Stefan Hallerstede, Finn Overgaard Hansen
A Model-Based Approach for Requirements Engineering for Systems of Systems. IEEE Syst. J. 9 (1) (2015)
Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen
Fault Modelling in System-of-Systems Contracts. CoRR (2014)
Claire Ingram, Richard John Payne, Simon Perry, Jon Holt, Finn Overgaard Hansen, Luís Diogo Couto
Modelling patterns for systems of systems architectures. SysCon (2014)
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen
SysML contracts for systems of systems. SoSE (2014)
Claire Ingram, Zoe Andrews, Richard John Payne, Nico Plat
SysML fault modelling in a traffic management system of systems. SoSE (2014)
Luís Diogo Couto, Simon Foster, Richard John Payne
Towards Verification of Constituent Systems through Automated Proof. CoRR (2014)
Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky
Fault modelling for systems of systems. ISADS (2013)
Jeremy W. Bryans, Richard John Payne, Jon Holt, Simon Perry
Semi-formal and formal interface specification for system of systems architecture. SysCon (2013)
Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota
Model-based development of fault tolerant systems of systems. SysCon (2013)
Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle
Interface specification for system-of-systems architectures. SoSE (2012)
Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne
A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE (2012)
Richard John Payne
RPL: a policy language for dynamic reconfiguration. SERENE (2008)

Richard John Payne.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard John Payne