Publications by Dr Ken Pierce - ePrints

Browsing publications by Dr Ken Pierce.

Newcastle Authors	Title	Year
Dr Ken Pierce Dr Anirban Bhattacharyya Dr David Golightly Dr Pedro Pinto da Silva Professor Roberto Palacin et al.	Using Co-Simulation and Time Signal at Red (TSAR) to Determine Impact of Driver Behavior on Rail Network Performance	2024
Professor John Fitzgerald Professor Peter Larsen Dr Ken Pierce Dr Leo Freitas Nick Battle et al.	Verification Technology for VDM: Craft and Automation	2024
Dr David Golightly Dr Ken Pierce Professor Roberto Palacin Dr Carl Gamble	A feasibility assessment of multi-modelling approaches for rail decarbonisation systems simulation	2022
Dr David Golightly Dr Carl Gamble Professor Roberto Palacin Dr Ken Pierce	Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control	2020
Dr Peter Larsen Professor John Fitzgerald Dr Ken Pierce	Collaborative Modelling and Co-simulation in Engineering and Computing Curricula	2020
Dr Ken Pierce	Early-stage analysis of cyber-physical production systems through collaborative modelling	2020
Dr Ken Pierce Dr David Golightly Professor Roberto Palacin	Modelling Train Driver Behaviour in Railway Co-simulations	2020
Dr Ken Pierce Dr Carl Gamble Dr David Golightly Professor Roberto Palacin	Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation	2019
Dr David Golightly Dr Carl Gamble Professor Roberto Palacin Dr Ken Pierce	Multi-modelling for decarbonisation in urban rail systems	2019
Professor Daniel Coca Dr Ken Pierce	Projects as Interventions in Infrastructure Systems‐of‐Systems	2019
Dr Peter Larsen Dr Ken Pierce	A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems	2018
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 buildings	2018
Professor John Fitzgerald Dr Carl Gamble Martin Mansfield Professor Roberto Palacin Dr Ken Pierce et al.	Collaborative modelling and co-simulation for transportation cyber-physical systems	2018
Martin Mansfield Dr Charles Morisset Dr Carl Gamble Dr John Mace Dr Ken Pierce et al.	Design Space Exploration for Secure Building Control	2018
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 Technology	2018
Dr Ken Pierce	The 16th Overture Workshop	2018
Dr Anirban Bhattacharyya Dr Andrey Mokhov Dr Ken Pierce	An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems	2017
Dr Anirban Bhattacharyya Dr Andrey Mokhov Dr Ken Pierce	A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems	2015
Professor John Fitzgerald Dr Carl Gamble Dr Peter Larsen Dr Ken Pierce	Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains	2015
Professor John Fitzgerald Dr Ken Pierce Dr Peter Larsen	Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation	2014
Professor John Fitzgerald Dr Peter Larsen Dr Ken Pierce	A formal approach to collaborative modelling and co-simulation for embedded systems	2013
Dr Ken Pierce Dr Claire Ingram	Experience in Managing Requirements Between Distributed Parties in a Research Project Context	2013
Professor John Fitzgerald Dr Ken Pierce Dr Carl Gamble	A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation	2012
Professor John Fitzgerald Dr Peter Larsen Dr Ken Pierce	A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems	2011
Emeritus Professor Cliff Jones Dr Ken Pierce	Elucidating concurrent algorithms via layers of abstraction and reification	2011
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 VDM	2011
Dr Ken Pierce Professor John Fitzgerald Dr Carl Gamble	Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model	2011
Professor John Fitzgerald Dr Peter Larsen Dr Ken Pierce	Collaborative modelling and co-simulation in the development of dependable embedded systems	2010
Professor John Fitzgerald Dr Ken Pierce	Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems	2010
Dr Ken Pierce	Proceedings of the 8th Overture Workshop	2010
Emeritus Professor Cliff Jones Dr Ken Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification	2010
Emeritus 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 Refinement	2009
Emeritus Professor Cliff Jones Dr Ken Pierce	Elucidating Concurrent Algorithms via Layers of Abstraction and Reification	2009
Emeritus Professor Cliff Jones Dr Ken Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification	2008
Emeritus Professor Cliff Jones Dr Ken Pierce	What can the π-calculus tell us about the mondex purse system?	2007