John S. Fitzgerald
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
12
Active years
1990–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Digital Twins: a Briefing for Formalists. | John S. Fitzgerald, Cludio Gomes, Peter Gorm Larsen, Mikkel Schmidt Andersen, Santiago Gil, Morten Haahr Kristensen |
| 2024 | ISoLA | Digital Twin Engineering. | John S. Fitzgerald, Cludio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock |
| 2022 | ISoLA | Data-Driven Reachability Analysis of Digital Twin FMI Models. | Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis |
| 2022 | ISoLA | Engineering of Digital Twins for Cyber-Physical Systems. | John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cludio Gomes |
| 2020 | ISoLA | Engineering of Digital Twins for Cyber-Physical Systems. | John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock |
| 2020 | SIMULTECH | 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. |
| 2020 | SIMULTECH | 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 |
| 2018 | ISoLA | Cyber-Physical Systems Engineering: An Introduction. | J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock |
| 2018 | ISoLA | A Non-unified View of Modelling, Specification and Programming. | Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald |
| 2017 | ICSE | SEsCPS 2017 Workshop Summary. | Toms Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald |
| 2017 | SEFM | Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. | Mark Jackson, John S. Fitzgerald |
| 2017 | SEFM | 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 |
| 2016 | ISoLA | 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 |
| 2015 | CCS | 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 |
| 2015 | ICSE | Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. | John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock |
| 2014 | ISoLA | Contracts in CML. | Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen |
| 2013 | ISADS | Fault modelling for systems of systems. | Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky |
| 2012 | DSN | A rigorous approach to the design of resilient cyber-physical systems through co-simulation. | John S. Fitzgerald, Ken G. Pierce, Carl Gamble |
| 2010 | ICECCS | Patterns for Modelling Time and Consistency in Business Information Systems. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2010 | IFM | 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 |
| 2010 | SAC | MetaSelf: an architecture and a development method for dependable self-* systems. | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky |
| 2009 | FM | Industrial Practice in Formal Methods: A Review. | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
| 2009 | ICECCS | Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2008 | FM | Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. | Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald |
| 2007 | ICFEM | Formal Engineering of XACML Access Control Policies in VDM++. | Jeremy W. Bryans, John S. Fitzgerald |
| 2007 | SAC | A metadata-based architectural model for dynamically resilient systems. | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi |
| 2006 | ISoLA | Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. | Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
| 2006 | ISoLA | Triumphs and Challenges for Model-Oriented Formal Methods: The VDM | John S. Fitzgerald, Peter Gorm Larsen |
| 1996 | FM | Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. | T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen |
| 1994 | FM | 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 |
| 1990 | FM | Modularizing the Formal Description of a Database System. | John S. Fitzgerald, Cliff B. Jones |