John S. Fitzgerald

According to our database, John S. Fitzgerald authored at least 94 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Digital Twin Engineering.

John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2023

Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems.

Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

Examining Model Qualities and Their Impact on Digital Twins.

Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

Modelling the impacts of crowds on occupants in the built environment - A static, rule-based approach to human perception and movement.

Beidi Li, John S. Fitzgerald, Carl Schultz

Adv. Eng. Informatics, 2022

Engineering of Digital Twins for Cyber-Physical Systems.

John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Data-Driven Reachability Analysis of Digital Twin FMI Models.

Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021

Proceedings of the 18th International Overture Workshop.

John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo

CoRR, 2021

Six Software Engineering Principles for Smarter Cyber-Physical Systems.

Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Editorial to the theme section on model-based engineering of smart systems.

John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen

Softw. Syst. Model., 2020

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems.

Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2020

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems.

Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.

Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

Engineering of Digital Twins for Cyber-Physical Systems.

John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala

ACM SIGSOFT Softw. Eng. Notes, 2019

Editorial.

Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer

Formal Aspects Comput., 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.

Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce

Proceedings of the Frontiers in Software Engineering Education, 2019

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin.

John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects.

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald

ACM SIGSOFT Softw. Eng. Notes, 2018

A Non-unified View of Modelling, Specification and Programming.

Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Cyber-Physical Systems Engineering: An Introduction.

J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18).

Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald

NII Shonan Meet. Rep., 2017

Modelling System of Systems Interface Contract Behaviour.

Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce

Proceedings of the Software Engineering and Formal Methods, 2017

Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems.

Mark Jackson, John S. Fitzgerald

Proceedings of the Software Engineering and Formal Methods, 2017

SEsCPS 2017 Workshop Summary.

Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

2016

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA.

Peter Gorm Larsen, John S. Fitzgerald

J. Log. Algebraic Methods Program., 2016

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software.

Andrew Stephen McGough, Budi Arief, Carl Gamble, David Wall, John Brennan, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis, Georgios Theodoropoulos, Ed Ruck-Keene

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.

Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska

ACM Comput. Surv., 2015

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware).

Andrew Stephen McGough, David Wall, John Brennan, Georgios Theodoropoulos, Ed Ruck-Keene, Budi Arief, Carl Gamble, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014

Dependable System of Systems Engineering: the COMPASS Project.

John S. Fitzgerald, Steve Riddle, Paolo Casoto, Klaus E. Kristensen

ERCIM News, 2014

System Development: The DESTECS/Crescendo Technology.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

ERCIM News, 2014

SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study.

Claire Ingram, Steve Riddle, John S. Fitzgerald, Sakina A. H. J. Al-Lawati, Afra Alrbaiyan

CoRR, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.

Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems.

John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

SysML contracts for systems of systems.

Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Contracts in CML.

Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Collaborative Systems of Systems Need Collaborative Design.

John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

Co-model Structuring and Design Patterns.

Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.

Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling of Faults and Fault Tolerance Mechanisms.

Carl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling and Co-simulation in Embedded Systems Design.

John S. Fitzgerald, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

From Embedded to Cyber-Physical Systems: Challenges and Future Directions.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

A formal approach to collaborative modelling and co-simulation for embedded systems.

John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef

Math. Struct. Comput. Sci., 2013

Fault modelling for systems of systems.

Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky

Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Foundations for Model-Based Engineering of Systems of Systems.

John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock

Proceedings of the Complex Systems Design & Management, 2013

Industrial Deployment of Formal Methods: Trends and Challenges.

John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Features of CML: A formal modelling language for Systems of Systems.

Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Interface specification for system-of-systems architectures.

Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A Formal Model-Based Approach to Engineering Systems-of-Systems.

John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne

Proceedings of the Collaborative Networks in the Internet of Services, 2012

A rigorous approach to the design of resilient cyber-physical systems through co-simulation.

John S. Fitzgerald, Ken G. Pierce, Carl Gamble

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations.

Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon

Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

2010

The overture initiative integrating tools for VDM.

Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef

ACM SIGSOFT Softw. Eng. Notes, 2010

MetaSelf: an architecture and a development method for dependable self-* systems.

Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.

John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Patterns for Modelling Time and Consistency in Business Information Systems.

Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Are Formal Methods Ready for Agility? A Reality Check.

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff

Proceedings of the FM+AM 2010, 2010

2009

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM.

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff

Int. J. Softw. Informatics, 2009

Practice-oriented courses in formal methods using VDM⁺⁺.

Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle

Formal Aspects Comput., 2009

Formal methods: Practice and experience.

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald

ACM Comput. Surv., 2009

Common Representation of Information Flows for Dynamic Coalitions

Igor Mozolevsky, John S. Fitzgerald

Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.

Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Industrial Practice in Formal Methods: A Review.

Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock

Proceedings of the FM 2009: Formal Methods, 2009

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.).

John S. Fitzgerald, Peter Gorm Larsen

Cambridge University Press, ISBN: 978-0-521-89911-6, 2009

2008

Vienna Development Method.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

VDMTools: advances in support for formal modeling in VDM.

John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara

ACM SIGPLAN Notices, 2008

The connection between two ways of reasoning about partial functions.

John S. Fitzgerald, Cliff B. Jones

Inf. Process. Lett., 2008

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary.

Anirban Bhattacharyya, John S. Fitzgerald

Proceedings of the SERENE 2008, 2008

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the FM 2008: Formal Methods, 2008

A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.

Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi

Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

2007

A metadata-based architectural model for dynamically resilient systems.

Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Formal Engineering of XACML Access Control Policies in VDM++.

Jeremy W. Bryans, John S. Fitzgerald

Proceedings of the Formal Methods and Software Engineering, 2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++.

John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Balancing Insight and Effort: The Industrial Uptake of Formal Methods.

John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

The industrialization of formal methods.

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli

Int. J. Softw. Tools Technol. Transf., 2006

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM⁺⁺ Experience (Abstract).

John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.

Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky

Proceedings of the Leveraging Applications of Formal Methods, 2006

2004

Formal Methods Europe Update.

John S. Fitzgerald

Formal Aspects Comput., 2004

Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations.

John S. Fitzgerald

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

1999

Formality in specification and modeling: developments in software engineering practice.

John S. Fitzgerald

Adv. Comput., 1999

1998

The Ammunition Control System.

Paul Mukherjee, John S. Fitzgerald

Proceedings of the Proof in VDM: Case Studies, 1998

Proof in the Analysis of a Model of a Tracking System.

John S. Fitzgerald, Cliff B. Jones

Proceedings of the Proof in VDM: Case Studies, 1998

1996

Applying Formal Specification in Industry.

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes

IEEE Softw., 1996

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.

T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Two Industrial Trials of Formal Specification.

John S. Fitzgerald

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

The architectural specification of an avionic subsystem.

Leonor Maria Melo Torcato Barroca, John S. Fitzgerald, L. Spencer

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1994

Formal and Informal Specifications of a Secure System Component: first results in a comparative study.

John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Proof in VDM: A Practitioner's Guide

Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie

Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19813-0, 1994

1993

Experiences in Developing a Proof Theory for VDM Specifications.

John S. Fitzgerald, R. Moore

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

On Foraml Support for Industrial-Scale Requirements Analysis.

Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed

Proceedings of the Hybrid Systems, 1992

Reasoning about a Modular Model-Oriented Formal Specification.

John S. Fitzgerald

Proceedings of the Specifications of Database Systems, 1992

1991

Modularity in model-oriented formal specifications and its interaction with formal reasoning.

John S. Fitzgerald

PhD thesis, 1991

1990

Modularizing the Formal Description of a Database System.

John S. Fitzgerald, Cliff B. Jones

Proceedings of the VDM '90, 1990