| Cyber-physical systems design: formal foundations, methods and integrated tool chains J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 40-46, 2015 | 89 | 2015 |
| Towards semantically integrated models and tools for cyber-physical systems design PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 41 | 2016 |
| ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs P Missier, J Bryans, C Gamble, V Curcin, R Danger Provenance and Annotation of Data and Processes: 5th International …, 2015 | 39 | 2015 |
| 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 | 32 | 2018 |
| 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 | 27 | 2016 |
| Insider threats: Identifying anomalous human behaviour in heterogeneous systems using beneficial intelligent software (ben-ware) AS McGough, D Wall, J Brennan, G Theodoropoulos, E Ruck-Keene, ... Proceedings of the 7th ACM CCS international workshop on managing insider …, 2015 | 24 | 2015 |
| Collaborative modelling and co-simulation with destecs: A pilot study K Pierce, C Gamble, Y Ni, JF Broenink 2012 IEEE 21st International Workshop on Enabling Technologies …, 2012 | 22 | 2012 |
| Provenance graph abstraction by node grouping P Missier, J Bryans, C Gamble, V Curcin, R Danger School of Computing Science Technical Report Series, 2013 | 21 | 2013 |
| Design space exploration in the development of agricultural robots. FF Foldager, O Balling, C Gamble, PG Larsen, M Boel, O Green | 19 | 2018 |
| Mismatch Avoidance in Web Services Software Architectures. C Gacek, C Gamble J. Univers. Comput. Sci. 14 (8), 1285-1313, 2008 | 17 | 2008 |
| Multi-modelling for decarbonisation in urban rail systems D Golightly, C Gamble, R Palacin, K Pierce Urban Rail Transit 5, 254-266, 2019 | 16 | 2019 |
| Exploring the cyber‐physical design space J Fitzgerald, C Gamble, R Payne, B Lam INCOSE international symposium 27 (1), 371-385, 2017 | 15 | 2017 |
| 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 | 15 | 2016 |
| Abstracting PROV provenance graphs: A validity-preserving approach P Missier, J Bryans, C Gamble, V Curcin Future Generation Computer Systems 111, 352-367, 2020 | 14 | 2020 |
| Design space exploration for embedded systems using co-simulation C Gamble, K Pierce Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014 | 14 | 2014 |
| Support for co-modelling and co-simulation: the Crescendo tool PG Larsen, C Gamble, K Pierce, A Ribeiro, K Lausdahl Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014 | 14 | 2014 |
| Integrated tool chain for model-based design of cyber-physical systems PG Larsen, C Thule, KG Lausdahl, V Bandur, C Gamble, E Brosse, ... The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report …, 2016 | 13 | 2016 |
| Analysing systems interdependencies using a digital twin J Whyte, D Coca, J Fitzgerald, M Mayfield, K Pierce, N Shah, L Chen, ... CDBB, 2019 | 12 | 2019 |
| Methodological guidelines 3 JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ... Deliverable D2 2, 2012 | 12 | 2012 |
| A rigorous approach to the design of resilient cyber-physical systems through co-simulation J Fitzgerald, K Pierce, C Gamble IEEE/IFIP International Conference on Dependable Systems and Networks …, 2012 | 12 | 2012 |
