Browsing publications by Professor John Fitzgerald

Newcastle AuthorsTitleYear
Professor John Fitzgerald
Dr Ken Pierce
Dr Peter Larsen
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems2013
Dr Zoe Andrews
Professor John Fitzgerald
Dr Richard Payne
Professor Alexander Romanovsky
Fault Modelling for Systems of Systems2013
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems2012
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems2012
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
Features of CML: A formal modelling language for Systems of Systems2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures2012
Professor John Fitzgerald
Dr Terrence Mak
Professor Alexander Romanovsky
Professor Alex Yakovlev
Workshop Proceedings: Trustworthy Cyber-Physical Systems2012
Ani Bhattacharyya
Professor John Fitzgerald
Dr Manuel Mazzara
A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation2011
123456789101112