Follow
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
832015
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
572010
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
472010
Elucidating concurrent algorithms via layers of abstraction and reification
CB Jones, KG Pierce
Formal Aspects of Computing 23, 289-306, 2011
452011
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
452008
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
442013
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
412019
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
302018
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
292014
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
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
222012
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
142020
Multi-modelling for decarbonisation in urban rail systems
D Golightly, C Gamble, R Palacin, K Pierce
Urban Rail Transit 5, 254-266, 2019
142019
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
142014
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
142014
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
132018
Enhancing the usability of rely-guarantee conditions for atomicity refinement
KG Pierce
Newcastle University, 2009
132009
Design space exploration for embedded systems using co-simulation
C Gamble, K Pierce
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014
122014
Methodological guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
Deliverable D2 2, 2012
122012
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
122012
The system can't perform the operation now. Try again later.
Articles 1–20