Publications by Professor John Fitzgerald - ePrints

Browsing publications by Professor John Fitzgerald.

Newcastle Authors	Title	Year
Professor John Fitzgerald Professor Peter Larsen	The Engineering of Digital Twins	2024
Professor Peter Larsen Professor John Fitzgerald	Towards the Composition of Digital Twins	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 Peter Larsen Professor John Fitzgerald	Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems	2023
Professor John Fitzgerald	Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement	2022
Dr Peter Larsen Professor John Fitzgerald Dr Ken Pierce	Collaborative Modelling and Co-simulation in Engineering and Computing Curricula	2020
Professor John Fitzgerald	Modelling Co-presence in the Built Environment - a Spatio-temporal Approach to Human Perception and Movement	2020
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
Mark Jackson Professor John Fitzgerald	Towards resilience-explicit modelling and co-simulation of cyber-physical systems	2018
Dr Richard Payne Professor John Fitzgerald	Modelling Systems of Systems Interface Contract Behaviour	2017
Professor John Fitzgerald Dr Claire Ingram	Road2CPS Priorities and Recommendations for Research and Innovation in Cyber-Physical Systems	2017
Professor John Fitzgerald	The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering	2017
Dr Richard Payne Professor John Fitzgerald Dr Jeremy Bryans	Applying Model-based SE Techniques for Dependable Land Systems	2016
Professor John Fitzgerald Dr Carl Gamble Dr Richard Payne Dr Peter Larsen	Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study	2016
Professor John Fitzgerald Dr Claire Ingram Emeritus Professor Alexander Romanovsky	Concepts of Dependable Cyber-Physical Systems Engineering: Model-Based Approaches	2016
Dr Peter Larsen Professor John Fitzgerald	Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems: The INTO-CPS Project	2016
Mark Jackson Professor John Fitzgerald	Resilience Profiling in the Model-Based Design of Cyber-Physical Systems	2016
Mark Jackson Professor John Fitzgerald	Resilience Profiling in the Model-Based Design of Cyber-Physical Systems	2016
Dr Peter Larsen Professor John Fitzgerald Dr Carl Gamble	Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design	2016
Dr Claire Ingram Dr Richard Payne Professor John Fitzgerald	Architectural Modelling Patterns for Systems of 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
Dr Stephen McGough Dr Budi Arief Dr Carl Gamble Dr John Brennan Professor John Fitzgerald et al.	Detecting insider threats using ben-ware: Beneficial intelligent software for identifying anomalous human behaviour	2015
Dr Claire Ingram Professor John Fitzgerald	Integrating an Upgraded Constituent System in a System of Systems: a SysML Case Study	2015
Dr Claire Ingram Dr Richard Payne Professor John Fitzgerald	Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism	2015
Dr Claire Ingram Dr Richard Payne Professor John Fitzgerald	Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism	2015
Professor John Fitzgerald	Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014	2015
Professor John Fitzgerald	Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions	2015
Professor John Fitzgerald Dr Peter Larsen	An Approach for Managing Semantic Heterogeneity in Systems of Systems Engineering	2014
Professor John Fitzgerald Dr Peter Larsen	Collaborative design for embedded systems: co-modelling and co-simulation	2014
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 Jeremy Bryans Dr Peter Larsen	Collaborative Systems of Systems Need Collaborative Design	2014
Professor John Fitzgerald Dr Peter Larsen	Contracts in CML	2014
Professor John Fitzgerald Dr Peter Larsen	Foundations for Model-Based Engineering of Systems of Systems	2014
Dr Jeremy Bryans Professor John Fitzgerald Dr Richard Payne	Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML	2014
Dr Jeremy Bryans Professor John Fitzgerald Dr Richard Payne	Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML	2014
Dr Claire Ingram Dr Stephen Riddle Professor John Fitzgerald	Sos Fault Modelling at the Architectural Level in an Emergency Response Case Study	2014
Dr Jeremy Bryans Professor John Fitzgerald Dr Richard Payne	SysML Contracts for Systems of Systems	2014
Professor John Fitzgerald Dr Peter Larsen Dr Ken Pierce	A formal approach to collaborative modelling and co-simulation for embedded systems	2013
Dr Zoe Andrews Professor John Fitzgerald Dr Richard Payne Emeritus Professor Alexander Romanovsky	Fault Modelling for Systems of Systems	2013
Professor John Fitzgerald Dr Jeremy Bryans Dr Richard Payne	A Formal Model-based Approach to Engineering Systems-of-Systems	2012
Professor John Fitzgerald Dr Jeremy Bryans Dr Richard Payne	A Formal Model-based Approach to Engineering Systems-of-Systems	2012
Professor John Fitzgerald Dr Ken Pierce Dr Carl Gamble	A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation	2012
Dr Zoe Andrews Professor John Fitzgerald Dr Richard Payne Emeritus Professor Alexander Romanovsky	Fault Modelling for Systems of Systems	2012
Professor John Fitzgerald Dr Peter Larsen	Features of CML: A formal modelling language for Systems of Systems	2012
Professor John Fitzgerald Dr Peter Larsen	Industrial Deployment of Formal Methods: Trends and Challenges	2012
Dr Richard Payne Dr Jeremy Bryans Professor John Fitzgerald Dr Stephen Riddle	Interface Specification for System-of-Systems Architectures	2012
Dr Richard Payne Dr Jeremy Bryans Professor John Fitzgerald Dr Stephen Riddle	Interface Specification for System-of-Systems Architectures	2012
Professor John Fitzgerald Dr Terrence Mak Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	Workshop Proceedings: Trustworthy Cyber-Physical Systems	2012
Dr Anirban Bhattacharyya Professor John Fitzgerald Dr Manuel Mazzara	A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation	2011
Professor John Fitzgerald Dr Peter Larsen Dr Ken Pierce	A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems	2011
Dr Peter Larsen Professor John Fitzgerald	Are Formal Methods Ready for Agility? A Reality Check	2011
Dr Richard Payne Professor John Fitzgerald	Contract-Based Interface Specification Language for Functional and Non-Functional Properties	2011
Dr Richard Payne Professor John Fitzgerald	Interface Contracts for Architectural Specification and Assessment: a SysML Extension	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
Dr Jeremy Bryans Professor John Fitzgerald Professor Thomas McCutcheon	Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations	2011
Dr Jeremy Bryans Professor John Fitzgerald Professor Thomas McCutcheon	Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations	2011
Dr Peter Larsen Professor John Fitzgerald	Are Formal Methods Ready for Agility? A Reality Check	2010
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 Richard Payne Professor John Fitzgerald	Evaluation of Architectural Frameworks Supporting Contract-based Specification	2010
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems	2010
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Patterns for Modelling Time and Consistency in Business Information Systems	2010
Dr Peter Larsen Professor John Fitzgerald	The Overture Initiative Integrating Tools for VDM	2010
Professor John Fitzgerald	Designing and Controlling Trustworthy Self-Organising Systems	2009
Dr Peter Larsen Professor John Fitzgerald	Formal Methods: Practice and Experience	2009
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware	2009
Professor John Fitzgerald Dr Peter Larsen	Industrial Practice in Formal Methods: A Review	2009
Dr Peter Larsen Professor John Fitzgerald	Methods for the Development of Distributed Real-Time Embedded Systems using VDM	2009
Professor John Fitzgerald Dr Peter Larsen	Methods for the Development of Distributed Real-Time Embedded Systems using VDM	2009
Professor John Fitzgerald Dr Peter Larsen	Modelling Systems: Practical Tools and Techniques in Software Engineering	2009
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Patterns for Modelling Time and Consistency in Business Information Systems	2009
Dr Peter Larsen Professor John Fitzgerald Dr Stephen Riddle	Practice-oriented courses in formal methods using VDM⁺⁺	2009
Dr Jeremy Bryans Professor John Fitzgerald	Proceedings of Formal Aspects of Virtual Organisations 2009	2009
Dr Jeremy Bryans Professor John Fitzgerald	Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations. Eindhoven, The Netherlands. 3 November 2009	2009
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Dr Richard Payne	A Dynamic Coalitions Workbench: Final Report	2008
Dr Zoe Andrews Professor John Fitzgerald Professor Brian Randell	A Knowledge Base for Dependability and Security Research	2008
Dr Anirban Bhattacharyya Professor John Fitzgerald	Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary	2008
Dr Anirban Bhattacharyya Professor John Fitzgerald	Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary	2008
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware	2008
Dr Peter Larsen Professor John Fitzgerald	Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM	2008
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems	2008
Professor John Fitzgerald Dr Peter Larsen	Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop	2008
Dr Jeremy Bryans Professor John Fitzgerald	Proceedings of Formal Aspects of Virtual Organisations 2008	2008
Professor John Fitzgerald Emeritus Professor Cliff Jones	The connection between two ways of reasoning about partial functions	2008
Professor John Fitzgerald	Theoretical Aspects of Computing (ICTAC). 5th International Colloquium. Istanbul, Turkey. 1-3 September 2008	2008
Professor John Fitzgerald Dr Peter Larsen	VDMTools: advances in support for formal modeling in VDM	2008
Dr Jeremy Bryans Professor John Fitzgerald Dr Panos Periorellis	A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations	2007
Dr Jeremy Bryans Professor John Fitzgerald Dr Panos Periorellis	A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations	2007
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	A Metadata-Based Architectural Model for Dynamically Resilient Systems	2007
Professor John Fitzgerald Dr Jeremy Bryans Dr David Greathead Emeritus Professor Cliff Jones Dr Richard Payne et al.	Animation-based Validation of a Formal Model of Dynamic Virtual Organisations	2007
Professor John Fitzgerald Dr Peter Larsen	Balancing Insight and Effort: the Industrial Uptake of Formal Methods	2007
Professor John Fitzgerald Dr Peter Larsen	Balancing Insight and Effort: the Industrial Uptake of Formal Methods	2007
Dr Jeremy Bryans Professor John Fitzgerald	Formal Engineering of XACML Access Control Policies in VDM++	2007
Dr Jeremy Bryans Professor John Fitzgerald	Formal Engineering of XACML Access Control Policies in VDM++	2007
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems	2007
Dr Peter Larsen Professor John Fitzgerald	Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM	2007
Professor John Fitzgerald Dr Peter Larsen	Recent industrial Applications of VDM in Japan	2007
Dr Zoe Andrews Professor John Fitzgerald	Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation	2007
Dr Zoe Andrews Professor John Fitzgerald	Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation	2007
Professor John Fitzgerald Emeritus Professor Cliff Jones	The Connection between Two Ways of Reasoning about Partial Functions	2007
Emeritus Professor Tom Anderson Dr Zoe Andrews Professor John Fitzgerald Professor Brian Randell	The ReSIST Resilience Knowledge Base	2007
Emeritus Professor Tom Anderson Dr Zoe Andrews Professor John Fitzgerald Professor Brian Randell	The ReSIST Resilience Knowledge Base	2007
Professor John Fitzgerald	The Typed Logic of Partial Functions and the Vienna Development Method	2007
Professor John Fitzgerald Dr Peter Larsen	Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods	2007
Dr Jeremy Bryans Professor John Fitzgerald	Validating Access Control Policies for Virtual Organisations	2007
Professor John Fitzgerald Dr Peter Larsen	Validation Support for Distributed Real-Time Embedded Systems in VDM++	2007
Professor John Fitzgerald Dr Peter Larsen	Validation Support for Distributed Real-Time Embedded Systems in VDM++	2007
Professor John Fitzgerald Dr Peter Larsen	Validation support for distributed real-time embedded systems in VDM++	2007
Professor John Fitzgerald Dr Peter Larsen	VDMTools: advances in support for formal modeling in VDM	2007
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems	2006
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Igor Mozolevsky	Dimensions of Dynamic Coalitions	2006
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering	2006
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Cliff Jones Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering	2006
Dr Peter Larsen Professor John Fitzgerald Dr Stephen Riddle	Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++	2006
Dr Jeremy Bryans Professor John Fitzgerald Dr Panos Periorellis	Model Based Analysis and Validation of Access Control Policies	2006
Professor John Fitzgerald	Perspectives on Formal Methods in the Last 25 years	2006
Professor John Fitzgerald	The industrialization of formal methods	2006
Professor John Fitzgerald	The Typed Logic of Partial Functions and the Vienna Development Method	2006
Professor John Fitzgerald Dr Peter Larsen	Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005	2006
Professor John Fitzgerald Dr Peter Larsen	Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience	2006
Professor John Fitzgerald	Dependability-explicit computing: Applications in e-science and virtual organisations	2005
Professor John Fitzgerald	FM 2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005	2005
Professor John Fitzgerald Dr Peter Larsen	Validated Designs for Object-oriented Systems	2005
Professor John Fitzgerald Professor Savas Parastatidis Emeritus Professor Alexander Romanovsky Professor Paul Watson	Dependability-explicit Computing in Service-oriented Architectures	2004
Professor John Fitzgerald	Formal methods Europe update	2004
Emeritus Professor Santosh Shrivastava Dr Paul Ezhilchelvan Dr Neil Speirs Professor John Fitzgerald	Safety Critical Distributed Systems: a State of Art Report	2000
Professor John Fitzgerald	Formality in Specification and Modelling: Developments in Software Engineering Practice	1999
Professor John Fitzgerald Emeritus Professor Cliff Jones	A tracking system	1998
Professor John Fitzgerald Dr Peter Larsen	Modelling Systems: Practical Tools and Techniques in Software Engineering	1998
Professor John Fitzgerald Emeritus Professor Cliff Jones	Proof in the analysis of a model of a tracking system	1998
Professor John Fitzgerald	The Ammunition Control System	1998
Professor John Fitzgerald	A Proof of Satisfiability in Mukherjee and Stavridou's Ammunition Control System	1997
Professor John Fitzgerald Emeritus Professor Cliff Jones	FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997	1997
Professor John Fitzgerald Emeritus Professor Cliff Jones	Proof in the Analysis of a Model of a Tracking System	1997
Dr Peter Larsen Professor John Fitzgerald	Applying formal specification in industry	1996
Professor John Fitzgerald	Two Industrial Trials of Formal Specification	1996
Professor John Fitzgerald Dr Peter Larsen	Developing a Security-critical System using Formal and Conventional Methods	1995
Professor John Fitzgerald Dr Amer Saeed	Formal Specification of an Aerospace System: the Attitude Monitor	1995
Professor John Fitzgerald	The Architectural Specification of an Avionic Subsystem	1995
Professor John Fitzgerald Dr Peter Larsen	A Comparison of the Conventional and Formal Design of a Secure System Component	1994
Professor John Fitzgerald Dr Peter Larsen	Formal and Informal Specifications of a Secure System Component: first results in a comparative study	1994
Professor John Fitzgerald	Proof in VDM: A Practitioner's Guide	1994
Professor John Fitzgerald	Proof in VDM: Reader's Notes	1994
Professor John Fitzgerald	Experiences in Developing a Proof Theory for VDM Specifications	1993
Professor John Fitzgerald	Experiences in Developing a Proof Theory for VDM Specifications	1993
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Professor John Fitzgerald Dr Amer Saeed	On Formal Support for Industrial Scale Requirements Analysis	1993
Emeritus Professor Tom Anderson Dr Rogerio De Lemos Professor John Fitzgerald Dr Amer Saeed	On Formal Support for Industrial-scale Requirements Analysis	1993
Professor John Fitzgerald	On Making Formal Proof More Tractable	1992
Professor John Fitzgerald	Reasoning about a Modular Model-oriented Formal Specification	1992
Professor John Fitzgerald	[PhD Thesis] Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning	1991
Professor John Fitzgerald	Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning	1991
Professor John Fitzgerald Emeritus Professor Cliff Jones	Modularizing the Formal Description of a Database System	1990
Professor John Fitzgerald Emeritus Professor Cliff Jones	Modularizing the Formal Description of a Database System	1990
Professor John Fitzgerald	Unification: Specification and Development	1990