| 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 | 90 | 2015 |
| Collaborative modelling and co-simulation in the development of dependable embedded systems J Fitzgerald, PG Larsen, K Pierce, M Verhoef, S Wolff International Conference on Integrated Formal Methods, 12-26, 2010 | 56 | 2010 |
| Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin J Fitzgerald, PG Larsen, K Pierce From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 49 | 2019 |
| Elucidating concurrent algorithms via layers of abstraction and reification CB Jones, KG Pierce Formal Aspects of Computing 23, 289-306, 2011 | 48 | 2011 |
| Design support and tooling for dependable embedded control software JF Broenink, C Kleijn, PG Larsen, D Jovanovic, M Verhoef, K Pierce Proceedings of the 2nd International Workshop on Software Engineering for …, 2010 | 47 | 2010 |
| A formal approach to collaborative modelling and co-simulation for embedded systems JS Fitzgerald, PG Larsen, KG Pierce, MHG Verhoef Mathematical Structures in Computer Science 23 (4), 726-750, 2013 | 46 | 2013 |
| Splitting atoms with rely/guarantee conditions coupled with data reification CB Jones, KG Pierce International Conference on Abstract State Machines, B and Z, 360-377, 2008 | 46 | 2008 |
| 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 |
| Co-modelling and co-simulation in the engineering of systems of cyber-physical systems J Fitzgerald, K Pierce, PG Larsen 2014 9th International conference on system of systems engineering (SOSE), 67-72, 2014 | 29 | 2014 |
| Development process of distributed embedded systems using vdm PG Larsen, S Wolff, N Battle, J Fitzgerald, K Pierce Overture-Open-source Tools for Formal Modelling TR-2010-02, 2010 | 26 | 2010 |
| 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 |
| 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 |
| Early-stage analysis of cyber-physical production systems through collaborative modelling M Neghina, CB Zamfirescu, K Pierce Software and Systems Modeling 19 (3), 581-600, 2020 | 15 | 2020 |
| Multi-paradigm discrete-event modelling and co-simulation of cyber-physical systems M Neghina, CB Zamfirescu, PG Larsen, K Lausdahl, K Pierce Studies in Informatics and Control 27 (1), 33-42, 2018 | 14 | 2018 |
| 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 |
| Co-modelling and co-simulation in embedded systems design J Fitzgerald, K Pierce Collaborative Design for Embedded Systems: Co-Modelling and Co-Simulation, 15-25, 2014 | 14 | 2014 |
| Projects as Interventions in Infrastructure Systems‐of‐Systems J Whyte, J Fitzgerald, M Mayfield, D Coca, K Pierce, N Shah INCOSE International Symposium 29 (1), 542-542, 2019 | 13 | 2019 |
| Enhancing the usability of rely-guarantee conditions for atomicity refinement KG Pierce Newcastle University, 2009 | 13 | 2009 |
| Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control D Golightly, C Gamble, R Palacin, K Pierce Ergonomics 63 (8), 1027-1043, 2020 | 12 | 2020 |