Следене
Richard Payne
Richard Payne
Senior Software Engineer, Asset55
Потвърден имейл адрес: assetfiftyfive.com
Заглавие
Позовавания
Позовавания
Година
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
802014
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
382014
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
362014
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
362012
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
332013
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
312014
A formal model-based approach to engineering systems-of-systems
J Fitzgerald, J Bryans, R Payne
Collaborative Networks in the Internet of Services: 13th IFIP WG 5.5 Working …, 2012
312012
Features of integrated model-based co-modelling and co-simulation technology
PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
302018
Fault modelling for systems of systems
Z Andrews, J Fitzgerald, R Payne, A Romanovsky
2013 IEEE Eleventh International Symposium on Autonomous Decentralized …, 2013
282013
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
262016
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
232013
Architectural modelling patterns for systems of systems
C Ingram, R Payne, J Fitzgerald
INCOSE International Symposium 25 (1), 1177-1192, 2015
222015
Evaluation of architectural frameworks supporting contract-based specification
RJ Payne, JS Fitzgerald
School of Computing Science Technical Report Series, 2010
212010
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
172014
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
152016
Exploring the cyber‐physical design space
J Fitzgerald, C Gamble, R Payne, B Lam
INCOSE international symposium 27 (1), 371-385, 2017
142017
Modelling system of systems interface contract behaviour
O Faldik, R Payne, J Fitzgerald, B Buhnova
arXiv preprint arXiv:1703.07037, 2017
142017
Checking SysML models for co-simulation
N Amálio, R Payne, A Cavalcanti, J Woodcock
Formal Methods and Software Engineering: 18th International Conference on …, 2016
142016
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
132012
Foundations of the SysML profile for CPS modelling
N Amálio, R Payne, A Cavalcanti, E Brosse
Deliverable D2. 1a, version 1, 2015
102015
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20