Toggle Main Menu Toggle Search

ePrints

Browsing publications by Dr Ken Pierce

Newcastle AuthorsTitleYearFull text
Dr Peter Larsen
Dr Ken Pierce
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems2018
Dr John Mace
Dr Charles Morisset
Dr Ken Pierce
Dr Carl Gamble
Professor John Fitzgerald
et al.		A multi-modelling based approach to assessing the security of smart buildings2018
Martin Mansfield
Dr Charles Morisset
Dr Carl Gamble
Dr John Mace
Dr Ken Pierce
et al.		Design Space Exploration for Secure Building Control2018
Dr Ken Pierce
The 16th Overture Workshop2018
Dr Anirban Bhattacharyya
Dr Andrey Mokhov
Dr Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems2017
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
123