Ken Pierce
Citado por
Citado por
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
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
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
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
Elucidating concurrent algorithms via layers of abstraction and reification
CB Jones, KG Pierce
Formal Aspects of Computing 23, 289-306, 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
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
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
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
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
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
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
Multi-modelling for decarbonisation in urban rail systems
D Golightly, C Gamble, R Palacin, K Pierce
Urban Rail Transit 5, 254-266, 2019
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
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
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
Enhancing the usability of rely-guarantee conditions for atomicity refinement
KG Pierce
Newcastle University, 2009
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
Design space exploration for embedded systems using co-simulation
C Gamble, K Pierce
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014
Methodological guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
Deliverable D2 2, 2012
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20