Modularizing the Formal Description of a Database System. - John S. Fitzgerald; Cliff B. Jones (VDM Europe, 1990)

Modularity in model-oriented formal specifications and its interaction with formal reasoning. - John S. Fitzgerald (1991)

Reasoning about a Modular Model-Oriented Formal Specification. - John S. Fitzgerald (Specifications of Database Systems, 1992)

On Foraml Support for Industrial-Scale Requirements Analysis. - Tom Anderson 001; Rogério de Lemos; John S. Fitzgerald; Amer Saeed (Hybrid Systems, 1992)

Experiences in Developing a Proof Theory for VDM Specifications. - John S. Fitzgerald; R. Moore (Semantics of Specification Languages, 1993)

Proof in VDM: A Practitioner's Guide - Juan Bicarregui; John S. Fitzgerald; Peter A. Lindsay; Richard C. Moore; Brian Ritchie (Proof in VDM, 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 (FME, 1994)

The architectural specification of an avionic subsystem. - Leonor Maria Melo Torcato Barroca; John S. Fitzgerald; L. Spencer (WIFT, 1995)

Two Industrial Trials of Formal Specification. - John S. Fitzgerald (AMAST, 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 (FME, 1996)

Applying Formal Specification in Industry. - Peter Gorm Larsen; John S. Fitzgerald; T. M. Brookes (IEEE Softw., 1996)

Proof in the Analysis of a Model of a Tracking System. - John S. Fitzgerald; Cliff B. Jones (Proof in VDM, 1998)

The Ammunition Control System. - Paul Mukherjee; John S. Fitzgerald (Proof in VDM, 1998)

Formality in specification and modeling: developments in software engineering practice. - John S. Fitzgerald (Adv. Comput., 1999)

Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations. - John S. Fitzgerald (FIDJI, 2004)

Formal Methods Europe Update. - John S. Fitzgerald (Formal Aspects Comput., 2004)

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. - Jeremy W. Bryans; John S. Fitzgerald; Cliff B. Jones; Igor Mozolevsky (ISoLA, 2006)

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). - John S. Fitzgerald; Peter Gorm Larsen (ISoLA, 2006)

The industrialization of formal methods. - John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli (Int. J. Softw. Tools Technol. Transf., 2006)

Balancing Insight and Effort: The Industrial Uptake of Formal Methods. - John S. Fitzgerald; Peter Gorm Larsen (Formal Methods and Hybrid Real-Time Systems, 2007)

Validation Support for Distributed Real-Time Embedded Systems in VDM++. - John S. Fitzgerald; Simon Tjell; Peter Gorm Larsen; Marcel Verhoef (HASE, 2007)

Formal Engineering of XACML Access Control Policies in VDM++. - Jeremy W. Bryans; John S. Fitzgerald (ICFEM, 2007)

A metadata-based architectural model for dynamically resilient systems. - Giovanna Di Marzo Serugendo; John S. Fitzgerald; Alexander B. Romanovsky; Nicolas Guelfi (SAC, 2007)

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 (Organic Computing - Controlled Self-organization, 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 (FM, 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 (SERENE, 2008)

The connection between two ways of reasoning about partial functions. - John S. Fitzgerald; Cliff B. Jones (Inf. Process. Lett., 2008)

VDMTools: advances in support for formal modeling in VDM. - John S. Fitzgerald; Peter Gorm Larsen; Shin Sahara (ACM SIGPLAN Notices, 2008)

Vienna Development Method. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). - John S. Fitzgerald; Peter Gorm Larsen (Cambridge University Press, 2009)

Industrial Practice in Formal Methods: A Review. - Juan Bicarregui; John S. Fitzgerald; Peter Gorm Larsen; J. C. P. Woodcock (FM, 2009)

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2009)

Common Representation of Information Flows for Dynamic Coalitions - Igor Mozolevsky; John S. Fitzgerald (FAVO, 2009)

Formal methods: Practice and experience. - Jim Woodcock 001; Peter Gorm Larsen; Juan Bicarregui; John S. Fitzgerald (ACM Comput. Surv., 2009)

Practice-oriented courses in formal methods using VDM++. - Peter Gorm Larsen; John S. Fitzgerald; Steve Riddle (Formal Aspects Comput., 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)

Are Formal Methods Ready for Agility? A Reality Check. - Peter Gorm Larsen; John S. Fitzgerald; Sune Wolff (FM+AM, 2010)

Patterns for Modelling Time and Consistency in Business Information Systems. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 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 (IFM, 2010)

MetaSelf: an architecture and a development method for dependable self-* systems. - Giovanna Di Marzo Serugendo; John S. Fitzgerald; Alexander B. Romanovsky (SAC, 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)

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. - Jeremy W. Bryans; John S. Fitzgerald; Tom McCutcheon (PRO-VE, 2011)

A rigorous approach to the design of resilient cyber-physical systems through co-simulation. - John S. Fitzgerald; Ken G. Pierce; Carl Gamble (DSN Workshops, 2012)

A Formal Model-Based Approach to Engineering Systems-of-Systems. - John S. Fitzgerald; Jeremy W. Bryans; Richard John Payne (PRO-VE, 2012)

Interface specification for system-of-systems architectures. - Richard John Payne; Jeremy W. Bryans; John S. Fitzgerald; Steve Riddle (SoSE, 2012)

Features of CML: A formal modelling language for Systems of Systems. - Jim Woodcock 001; Ana Cavalcanti 001; John S. Fitzgerald; Peter Gorm Larsen; Alvaro Miyazawa; Simon Perry (SoSE, 2012)

Industrial Deployment of Formal Methods: Trends and Challenges. - John S. Fitzgerald; Juan Bicarregui; Peter Gorm Larsen; Jim Woodcock 001 (Industrial Deployment of System Engineering Methods, 2013)

Foundations for Model-Based Engineering of Systems of Systems. - John S. Fitzgerald; Peter Gorm Larsen; Jim Woodcock 001 (CSDM, 2013)

Fault modelling for systems of systems. - Zoe Andrews; John S. Fitzgerald; Richard John Payne; Alexander B. Romanovsky (ISADS, 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)

From Embedded to Cyber-Physical Systems: Challenges and Future Directions. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (Collaborative Design for Embedded Systems, 2014)

Co-modelling and Co-simulation in Embedded Systems Design. - John S. Fitzgerald; Kenneth Pierce (Collaborative Design for Embedded Systems, 2014)

Co-modelling of Faults and Fault Tolerance Mechanisms. - Carl Gamble; Kenneth Pierce; John S. Fitzgerald; Bert Bos (Collaborative Design for Embedded Systems, 2014)

Discrete-Event Modelling in VDM. - Peter Gorm Larsen; John S. Fitzgerald; Marcel Verhoef; Kenneth Pierce (Collaborative Design for Embedded Systems, 2014)

Co-model Structuring and Design Patterns. - Kenneth Pierce; Peter Gorm Larsen; John S. Fitzgerald (Collaborative Design for Embedded Systems, 2014)

Collaborative Systems of Systems Need Collaborative Design. - John S. Fitzgerald; Jeremy W. Bryans; Peter Gorm Larsen; Hansen Salim (PRO-VE, 2014)

Contracts in CML. - Jim Woodcock 001; Ana Cavalcanti 001; John S. Fitzgerald; Simon Foster 001; Peter Gorm Larsen (ISoLA (2), 2014)

SysML contracts for systems of systems. - Jeremy W. Bryans; John S. Fitzgerald; Richard John Payne; Alvaro Miyazawa; Klaus E. Kristensen (SoSE, 2014)

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. - John S. Fitzgerald; Ken G. Pierce; Peter Gorm Larsen (SoSE, 2014)

An approach for managing semantic heterogeneity in Systems of Systems Engineering. - Simon Foster 001; Alvaro Miyazawa; Jim Woodcock 001; Ana Cavalcanti 001; John S. Fitzgerald; Peter Gorm Larsen (SoSE, 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)

System Development: The DESTECS/Crescendo Technology. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (ERCIM News, 2014)

Dependable System of Systems Engineering: the COMPASS Project. - John S. Fitzgerald; Steve Riddle; Paolo Casoto; Klaus E. Kristensen (ERCIM News, 2014)

Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). - Andrew Stephen McGough; David Wall; John Brennan; Georgios Theodoropoulos 001; Ed Ruck-Keene; Budi Arief; Carl Gamble; John S. Fitzgerald; Aad P. A. van Moorsel; Sujeewa Alwis (MIST@CCS, 2015)

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. - John S. Fitzgerald; Carl Gamble; Peter Gorm Larsen; Kenneth Pierce; Jim Woodcock 001 (FormaliSE@ICSE, 2015)

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. - Claus Ballegaard Nielsen; Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Jan Peleska 001 (ACM Comput. Surv., 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 001; Ed Ruck-Keene (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015)

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Peter Fritzson; Jörg Brauer; Christian Kleijn; Thierry Lecomte; Markus Pfeil; Ole Green; Stylianos Basagiannis; Andrey Sadovykh (CPS Data, 2016)

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; René A. Nilsson; Carl Gamble; Simon Foster 001 (ISoLA (2), 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)

SEsCPS 2017 Workshop Summary. - Tomás Bures; Danny Weyns; Bradley R. Schmerl; John S. Fitzgerald (SEsCPS@ICSE, 2017)

Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. - Mark Jackson; John S. Fitzgerald (SEFM Workshops, 2017)

Features of Integrated Model-Based Co-modelling and Co-simulation Technology. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Carl Gamble; Richard John Payne; Kenneth Pierce (SEFM Workshops, 2017)

Modelling System of Systems Interface Contract Behaviour. - Oldrich Faldik; Richard John Payne; John S. Fitzgerald; Barbora Buhnova (FESCA@ETAPS, 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)

Cyber-Physical Systems Engineering: An Introduction. - J. Paul Gibson; Peter Gorm Larsen; Marc Pantel; John S. Fitzgerald; Jim Woodcock 001 (ISoLA (3), 2018)

A Non-unified View of Modelling, Specification and Programming. - Stefan Hallerstede; Peter Gorm Larsen; John S. Fitzgerald (ISoLA (1), 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)

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 (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. - Peter Gorm Larsen; Hugo Daniel Macedo; Cláudio Goncalves Gomes 001; Lukas Esterle; Casper Thule; John S. Fitzgerald; Kenneth Pierce (FISEE, 2019)

Editorial. - Stefania Gnesi; Ana Cavalcanti 001; John S. Fitzgerald; Constance L. Heitmeyer (Formal Aspects Comput., 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 001; João Cambeiro; Jan Carlson; Shafiul Azam Chowdhury; Marian Daun; Nianyu Li; Matthias Markthaler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2019)

Engineering of Digital Twins for Cyber-Physical Systems. - John S. Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock 001 (ISoLA (4), 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. (SIMULTECH, 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 (SIMULTECH (Selected Papers), 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)

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 (ACSOS-C, 2021)

Proceedings of the 18th International Overture Workshop. - John S. Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo (CoRR, 2021)

Data-Driven Reachability Analysis of Digital Twin FMI Models. - Sergiy Bogomolov; John S. Fitzgerald; Sadegh Soudjani; Paulius Stankaitis (ISoLA (4), 2022)

Engineering of Digital Twins for Cyber-Physical Systems. - John S. Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock 001; Cláudio Gomes 001 (ISoLA (4), 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 001 (Adv. Eng. Informatics, 2022)

Examining Model Qualities and Their Impact on Digital Twins. - Bentley Oakes; Cláudio Gomes 001; Peter Gorm Larsen; Joachim Denil; Julien Deantoni; João Cambeiro; John S. Fitzgerald (ANNSIM, 2023)

Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. - Peter Gorm Larsen; Lukas Esterle; John S. Fitzgerald; Mirgita Frasheri (Applicable Formal Methods for Safe Industrial Products, 2023)

How do we engineer trustworthy digital twins? - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001 (Res. Dir. Cyber Phys. Syst., 2023)

Towards the Composition of Digital Twins. - Peter Gorm Larsen; Prasad Talasila; John S. Fitzgerald (The Application of Formal Methods, 2024)

Digital Twin Engineering. - John S. Fitzgerald; Cláudio Gomes 001; Einar Broch Johnsen; Eduard Kamburjan; Martin Leucker; Jim Woodcock 001 (ISoLA (5), 2024)

Can we develop holistic approaches to delivering cyber-physical systems security? - John S. Fitzgerald; Charles Morisset (Res. Dir. Cyber Phys. Syst., 2024)

Verification Technology for VDM: Craft and Automation. - John S. Fitzgerald; Peter Gorm Larsen; Ken Pierce; Leo Freitas; Nick Battle (The Practice of Formal Methods (I), 2024)

The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review. - Mennatullah T. Khedr; John S. Fitzgerald (CoRR, 2025)