Browsing publications by Dr Ken Pierce

Newcastle AuthorsTitleYearFull text
Dr Anirban Bhattacharyya
Dr Andrey Mokhov
Dr Ken Pierce
A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems2015
Professor John Fitzgerald
Dr Carl Gamble
Dr Peter Larsen
Dr Ken Pierce
Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains2015
Professor John Fitzgerald
Dr Ken Pierce
Dr Peter Larsen
Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation2014
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A formal approach to collaborative modelling and co-simulation for embedded systems2013
Dr Ken Pierce
Dr Claire Ingram
Experience in Managing Requirements Between Distributed Parties in a Research Project Context2013
Professor John Fitzgerald
Dr Ken Pierce
Dr Carl Gamble
A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation2012
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems2011
Professor Cliff Jones
Dr Ken Pierce
Elucidating concurrent algorithms via layers of abstraction and reification2011
Dr Zoe Andrews
Dr Jeremy Bryans
Professor John Fitzgerald
John Hughes
Dr Richard Payne
et al.
Modelling and Refinement of the MONDEX Electronic Purse in VDM2011
Dr Ken Pierce
Professor John Fitzgerald
Dr Carl Gamble
Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model2011
12