| 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 |
| 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 | 51 | 2010 |
| 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 | 45 | 2010 |
| Elucidating concurrent algorithms via layers of abstraction and reification CB Jones, KG Pierce Formal Aspects of Computing 23 (3), 289-306, 2011 | 42 | 2011 |
| 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 | 41 | 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 | 31 | 2008 |
| 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 |
| 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 |
| 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 | 18 | 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, 97-114, 2014 | 13 | 2014 |
| Enhancing the usability of rely-guarantee conditions for atomicity refinement KG Pierce Newcastle University, 2009 | 13 | 2009 |
| Methodological guidelines 3 JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ... Deliverable D2 2, 2012 | 12 | 2012 |
| 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 | 11 | 2018 |
| Design space exploration for embedded systems using co-simulation C Gamble, K Pierce Collaborative Design for Embedded Systems, 199-222, 2014 | 11 | 2014 |
| 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 |
| Contract support for evolving sos WL Huang, J Peleska, U Schulze Public Document D 34, 2014 | 8 | 2014 |
| Co-modelling and co-simulation in embedded systems design J Fitzgerald, K Pierce Collaborative Design for Embedded Systems, 15-25, 2014 | 8 | 2014 |
| What Can the\pi-calculus Tell Us About the Mondex Purse System? CB Jones, KG Pierce 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007 | 8 | 2007 |
