Richard John Payne

According to our database, Richard John Payne authored at least 18 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Modelling System of Systems Interface Contract Behaviour.

Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce

Proceedings of the Software Engineering and Formal Methods, 2017

Sound Simulation and Co-simulation for Robotics.

Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Checking SysML Models for Co-simulation.

Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2016

2015

A Model-Based Approach for Requirements Engineering for Systems of Systems.

Jon Holt, Simon Perry, Richard John Payne, Jeremy W. Bryans, Stefan Hallerstede, Finn Overgaard Hansen

IEEE Syst. J., 2015

2014

Towards Verification of Constituent Systems through Automated Proof.

Luís Diogo Couto, Simon Foster, Richard John Payne

CoRR, 2014

Fault Modelling in System-of-Systems Contracts.

Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen

CoRR, 2014

SysML fault modelling in a traffic management system of systems.

Claire Ingram, Zoe Andrews, Richard John Payne, Nico Plat

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

SysML contracts for systems of systems.

Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Modelling patterns for systems of systems architectures.

Claire Ingram, Richard John Payne, Simon Perry, Jon Holt, Finn Overgaard Hansen, Luís Diogo Couto

Proceedings of the IEEE International Systems Conference, 2014

2013

Semi-formal and formal interface specification for system of systems architecture.

Jeremy W. Bryans, Richard John Payne, Jon Holt, Simon Perry

Proceedings of the IEEE International Systems Conference, 2013

Model-based development of fault tolerant systems of systems.

Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota

Proceedings of the IEEE International Systems Conference, 2013

Fault modelling for systems of systems.

Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky

Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

2012

Verifiable resilience in architectural reconfiguration.

Richard John Payne

PhD thesis, 2012

Interface specification for system-of-systems architectures.

Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

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

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A Formal Model-Based Approach to Engineering Systems-of-Systems.

John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne

Proceedings of the Collaborative Networks in the Internet of Services, 2012

2008

RPL: a policy language for dynamic reconfiguration.

Richard John Payne

Proceedings of the SERENE 2008, 2008