| 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 | 66 | 2015 |
| ProvAbs: model, policy, and tooling for abstracting PROV graphs P Missier, J Bryans, C Gamble, V Curcin, R Danger International Provenance and Annotation Workshop, 3-15, 2014 | 36 | 2014 |
| Towards semantically integrated models and tools for cyber-physical systems design PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster International Symposium on Leveraging Applications of Formal Methods, 171-186, 2016 | 34 | 2016 |
| 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 |
| 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 |
| 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 | 20 | 2012 |
| 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 | 19 | 2015 |
| Provenance graph abstraction by node grouping P Missier, J Bryans, C Gamble, V Curcin, R Danger School of Computing Science Technical Report Series, 2013 | 17 | 2013 |
| Mismatch Avoidance in Web Services Software Architectures. C Gacek, C Gamble J. UCS 14 (8), 1285-1313, 2008 | 17 | 2008 |
| 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, 97-114, 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 |
| Methodological guidelines 3 JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ... Deliverable D2 2, 2012 | 12 | 2012 |
| Design space exploration for embedded systems using co-simulation C Gamble, K Pierce Collaborative Design for Embedded Systems, 199-222, 2014 | 11 | 2014 |
| Exploring the Cyber‐Physical Design Space J Fitzgerald, C Gamble, R Payne, B Lam INCOSE International Symposium 27 (1), 371-385, 2017 | 9 | 2017 |
| Method Guidelines 2 J Fitzgerald, C Gamble, R Payne, K Pierce Technical report, INTO-CPS Deliverable 3, 3a, 2017 | 8 | 2017 |
| Integrated tool chain for model-based design of cyber-physical systems PG Larsen, C Thule, K Lausdahl, V Bardur, C Gamble, E Brosse, ... The 14th Overture Workshop: Towards Analytical Tool Chains 4, 63-79, 2016 | 8 | 2016 |
| INTO-CPS tool chain user manual V Bandur, PG Larsen, K Lausdahl, C Thule, AF Terkelsen, C Gamble, ... Technical report, INTO-CPS Deliverable, 2016 | 8 | 2016 |
| D2. 3—Methodological Guidelines 3 JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ... The DESTECS Project (CNECT-ICT-248134, 2012 | 7 | 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 | 7 | 2012 |
| Multi-modelling for decarbonisation in urban rail systems D Golightly, C Gamble, R Palacin, K Pierce Urban Rail Transit 5 (4), 254-266, 2019 | 6 | 2019 |
