Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Ken Pierce.

Newcastle AuthorsTitleYearFull text
Dr David Golightly
Dr Ken Pierce
Dr Roberto Palacin
Dr Carl Gamble
A feasibility assessment of multi-modelling approaches for rail decarbonisation systems simulation2022
Dr David Golightly
Dr Carl Gamble
Dr Roberto Palacin
Dr Ken Pierce
Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control2020
Dr Peter Larsen
Professor John Fitzgerald
Dr Ken Pierce
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula2020
Dr Ken Pierce
Early-stage analysis of cyber-physical production systems through collaborative modelling2020
Dr Ken Pierce
Dr Carl Gamble
Dr David Golightly
Dr Roberto Palacin
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation2019
Dr David Golightly
Dr Carl Gamble
Dr Roberto Palacin
Dr Ken Pierce
Multi-modelling for decarbonisation in urban rail systems2019
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
Professor John Fitzgerald
Dr Carl Gamble
Martin Mansfield
Dr Roberto Palacin
Dr Ken Pierce
et al.
Collaborative modelling and co-simulation for transportation cyber-physical systems2018
Martin Mansfield
Dr Charles Morisset
Dr Carl Gamble
Dr John Mace
Dr Ken Pierce
et al.
Design Space Exploration for Secure Building Control2018
Dr Peter Larsen
Professor John Fitzgerald
Dr Carl Gamble
Dr Richard Payne
Dr Ken Pierce
et al.
Features of Integrated Model-Based Co-modelling and Co-simulation Technology2018
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
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
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
Collaborative modelling and co-simulation in the development of dependable embedded systems2010
Professor John Fitzgerald
Dr Ken Pierce
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems2010
Dr Ken Pierce
Proceedings of the 8th Overture Workshop2010
Professor Cliff Jones
Dr Ken Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification2010
Professor Cliff Jones
Dr Ken Pierce
What Can the pi-calculus Tell Us About the Mondex Purse System?2010
Dr Ken Pierce
[PhD Thesis] Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement2009
Professor Cliff Jones
Dr Ken Pierce
Elucidating Concurrent Algorithms via Layers of Abstraction and Reification2009
Professor Cliff Jones
Dr Ken Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification2008
Professor Cliff Jones
Dr Ken Pierce
What can the π-calculus tell us about the mondex purse system?2007