John S. Fitzgerald

John S. Fitzgerald, Ken Pierce, Carl Gamble: A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops 2012: 1-6

John S. Fitzgerald, Jeremy Bryans, Richard Payne: A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE 2012: 53-62

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

Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Third Workshop on Formal Aspects of Virtual Organisations. EPTCS 83, 2011

Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef: The overture initiative integrating tools for VDM. ACM SIGSOFT Software Engineering Notes 35(1): 1-6 (2010)

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

Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114

John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff: Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM 2010: 12-26

Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky: MetaSelf: an architecture and a development method for dependable self-* systems. SAC 2010: 457-461

John S. Fitzgerald, Peter Gorm Larsen: Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). Cambridge University Press 2009, isbn 978-0-521-89911-6, pp. I-XVI, 1-288

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

Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM⁺⁺. Formal Asp. Comput. 21(3): 245-257 (2009)

Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff: Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. Int. J. Software and Informatics 3(2-3): 305-341 (2009)

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

Jeremy Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS 2009: 68-77

Igor Mozolevsky, John S. Fitzgerald: Common Representation of Information Flows for Dynamic Coalitions. FAVO 2009: 15-25

Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Second Workshop on Formal Aspects of Virtual Organisations. EPTCS 16, 2009

John S. Fitzgerald, Cliff B. Jones: The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008)

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

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM 2008: 181-197

Anirban Bhattacharyya, John S. Fitzgerald: Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. SERENE 2008: 67-72

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

John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün (Eds.): Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5160, Springer 2008, isbn 978-3-540-85761-7

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

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

Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56

Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky, Nicolas Guelfi: A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)

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

Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98

John S. Fitzgerald: Formal Methods Europe Update. Formal Asp. Comput. 16(1): 2-3 (2004)

John S. Fitzgerald: Formality in specification and modeling: developments in software engineering practice. Advances in Computers 49: 69-94 (1999)

John S. Fitzgerald, Cliff B. Jones, Peter Lucas (Eds.): FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Lecture Notes in Computer Science 1313, Springer 1997, isbn 3-540-63533-5

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)

John S. Fitzgerald: Two Industrial Trials of Formal Specification. AMAST 1996: 1-8

T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME 1996: 214-227

John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44

John S. Fitzgerald, R. Moore: Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages 1993: 101-117

Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed: On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems 1992: 426-451

John S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210