| 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 | 46 | 2014 |
| 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 | 33 | 2012 |
| 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 | 30 | 2013 |
| 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 | 29 | 2016 |
| 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 | 28 | 2014 |
| 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 | 27 | 2014 |
| 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 | 27 | 2014 |
| A formal model-based approach to engineering systems-of-systems J Fitzgerald, J Bryans, R Payne Working Conference on Virtual Enterprises, 53-62, 2012 | 26 | 2012 |
| Evaluation of architectural frameworks supporting contract-based specification RJ Payne, J Fitzgerald University of Newcastle upon Tyne, Computing Science, 2010 | 21 | 2010 |
| 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 | 20 | 2017 |
| 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 | 20 | 2013 |
| Architectural modelling patterns for systems of systems C Ingram, R Payne, J Fitzgerald INCOSE International Symposium 25 (1), 1177-1192, 2015 | 17 | 2015 |
| Fault modelling for systems of systems Z Andrews, J Fitzgerald, R Payne, A Romanovsky 2013 IEEE Eleventh International Symposium on Autonomous Decentralized …, 2013 | 17 | 2013 |
| 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 | 13 | 2014 |
| 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 | 12 | 2016 |
| Towards verification of constituent systems through automated proof LD Couto, S Foster, R Payne arXiv preprint arXiv:1404.7792, 2014 | 11 | 2014 |
| 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 | 11 | 2012 |
| Checking SysML models for co-simulation N Amálio, R Payne, A Cavalcanti, J Woodcock International Conference on Formal Engineering Methods, 450-465, 2016 | 10 | 2016 |
| Exploring the Cyber‐Physical Design Space J Fitzgerald, C Gamble, R Payne, B Lam INCOSE International Symposium 27 (1), 371-385, 2017 | 9 | 2017 |
| Modelling system of systems interface contract behaviour O Faldik, R Payne, J Fitzgerald, B Buhnova arXiv preprint arXiv:1703.07037, 2017 | 8 | 2017 |
John S. FitzgeraldNewcastle University, UKEmail verificata su ncl.ac.uk
