Dr Richard Payne
Research Associate
- Email: richard.payne@ncl.ac.uk
- Telephone: +44 (0) 191 222 824 6
- Personal Website: http://homepages.cs.ncl.ac.uk/richard.payne/
Richard received his BSc (Hons) in Computing Science from Newcastle University in 2005. He obtained his PhD in 2012 at Newcastle University under the supervision of Dr. John Fitzgerald, as part of the DIRC project, titled Verifiable Resilience in Architectural Reconfiguration.
As part of his PhD, Richard provided a basis for the formal verification of policies defined using a reconfiguration policy language (RPL) for the governance of resilient component-based systems. Richard worked as an RA on the Ministry of Defence funded SSEI project and was involved in the 'Interface Contracts for Architectural Specification and Assessment' sub task, investigating the use of contract-based interface specification in system-of-system architectural models. Richard is now working on the COMPASS project, on the use of model-based techniques for developing and maintaining systems-of-systems.
- Payne RJ, Fitzgerald JS. Contract-Based Interface Specification Language for Functional and Non-Functional Properties. Newcastle University: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1250.
- Payne RJ, Fitzgerald JS. Evaluation of Architectural Frameworks Supporting Contract-based Specification. Newcastle University: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1233.
- Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. A Dynamic Coalitions Workbench: Final Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
- Fitzgerald JS, Bryans JW, Greathead D, Jones CB, Payne R. Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. In: FACS 2007 Christmas Workshop: Formal Methods in Industry. 2007, London: British Computer Society.
- Payne RJ. RPL: A Policy Language For Dynamic Reconfiguration. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1124.
- Payne R. RPL: A policy language for dynamic reconfiguration. In: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE). 2008, Newcastle upon Tyne, UK: ACM Press.
- Payne RJ, Fitzgerald JS. Interface Contracts for Architectural Specification and Assessment: a SysML Extension. In: Workshop on Dependable Systems of Systems. 2011, York, UK.
- Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
- Payne R, Bryans J. Modelling the Major Incident Procedure Manual: A System of Systems Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1320.