Richard Payne
Richard Payne
Senior Software Engineer, Asset55
Email verificata su assetfiftyfive.com
Titolo
Citata da
Citata da
Anno
A model-based approach for requirements engineering for systems of systems
J Holt, S Perry, R Payne, J Bryans, S Hallerstede, FO Hansen
IEEE Systems Journal 9 (1), 252-262, 2014
462014
COMPASS tool vision for a system of systems collaborative development environment
JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ...
System of Systems Engineering (SoSE), 2012 7th International Conference oná…, 2012
332012
Semi-formal and formal interface specification for system of systems architecture
J Bryans, R Payne, J Holt, S Perry
2013 IEEE International Systems Conference (SysCon), 612-619, 2013
302013
Collaborative Model-based Systems Engineering for Cyber-Physical Systems–a Case Study in Building Automation
J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady
Proc. INCOSE Intl. Symp. on Systems Engineering. Edinburgh, Scotland (July 2016), 2016
292016
2.2. 2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML
J Bryans, J Fitzgerald, R Payne, K Kristensen
INCOSE International Symposium 24 (1), 166-181, 2014
282014
SysML contracts for systems of systems
J Bryans, J Fitzgerald, R Payne, A Miyazawa, K Kristensen
2014 9th International Conference on System of Systems Engineering (SOSE), 73-78, 2014
272014
Modelling patterns for systems of systems architectures
C Ingram, R Payne, S Perry, J Holt, FO Hansen, LD Couto
2014 IEEE International Systems Conference Proceedings, 146-153, 2014
272014
A formal model-based approach to engineering systems-of-systems
J Fitzgerald, J Bryans, R Payne
Working Conference on Virtual Enterprises, 53-62, 2012
262012
Evaluation of architectural frameworks supporting contract-based specification
RJ Payne, J Fitzgerald
University of Newcastle upon Tyne, Computing Science, 2010
212010
Features of integrated model-based co-modelling and co-simulation technology
PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce
International Conference on Software Engineering and Formal Methods, 377-390, 2017
202017
Model-based development of fault tolerant systems of systems
Z Andrews, R Payne, A Romanovsky, A Didier, A Mota
2013 IEEE International Systems Conference (SysCon), 356-363, 2013
202013
Architectural modelling patterns for systems of systems
C Ingram, R Payne, J Fitzgerald
INCOSE International Symposium 25 (1), 1177-1192, 2015
172015
Fault modelling for systems of systems
Z Andrews, J Fitzgerald, R Payne, A Romanovsky
2013 IEEE Eleventh International Symposium on Autonomous Decentralizedá…, 2013
172013
3.2. 2 Traceable Engineering of Fault‐Tolerant SoSs
Z Andrews, C Ingram, R Payne, A Romanovsky, J Holt, S Perry
INCOSE International Symposium 24 (1), 258-273, 2014
132014
Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study
J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady
INCOSE International Symposium 26 (1), 817-832, 2016
122016
Towards verification of constituent systems through automated proof
LD Couto, S Foster, R Payne
arXiv preprint arXiv:1404.7792, 2014
112014
Interface specification for system-of-systems architectures
R Payne, J Bryans, J Fitzgerald, S Riddle
2012 7th International Conference on System of Systems Engineering (SoSEá…, 2012
112012
Checking SysML models for co-simulation
N Amßlio, R Payne, A Cavalcanti, J Woodcock
International Conference on Formal Engineering Methods, 450-465, 2016
102016
Exploring the Cyber‐Physical Design Space
J Fitzgerald, C Gamble, R Payne, B Lam
INCOSE International Symposium 27 (1), 371-385, 2017
92017
Modelling system of systems interface contract behaviour
O Faldik, R Payne, J Fitzgerald, B Buhnova
arXiv preprint arXiv:1703.07037, 2017
82017
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20