Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Dr Ken Pierce
Newcastle Authors
Title
Year
Professor John Fitzgerald
Dr Ken Pierce
Dr Peter Larsen
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems
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
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
Professor Cliff Jones
Dr Ken Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
2010
1
2
