Ken Pierce
Title
Cited by
Cited by
Year
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
682015
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
522010
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
462010
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
422013
Elucidating concurrent algorithms via layers of abstraction and reification
CB Jones, KG Pierce
Formal Aspects of Computing 23 (3), 289-306, 2011
422011
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
312008
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
262010
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
232014
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
212017
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
212012
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
132014
Enhancing the usability of rely-guarantee conditions for atomicity refinement
KG Pierce
Newcastle University, 2009
132009
Methodological guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
Deliverable D2 2, 2012
122012
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
112018
Design space exploration for embedded systems using co-simulation
C Gamble, K Pierce
Collaborative Design for Embedded Systems, 199-222, 2014
112014
Co-modelling and co-simulation in embedded systems design
J Fitzgerald, K Pierce
Collaborative Design for Embedded Systems, 15-25, 2014
92014
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
92012
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
82020
Multi-modelling for decarbonisation in urban rail systems
D Golightly, C Gamble, R Palacin, K Pierce
Urban Rail Transit 5 (4), 254-266, 2019
82019
Method Guidelines 2
J Fitzgerald, C Gamble, R Payne, K Pierce
Technical report, INTO-CPS Deliverable 3, 3a, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–20