Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
John S. Fitzgerald
2010 – today
- 2012
[c25]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- [c24]John S. Fitzgerald, Jeremy Bryans, Richard Payne: A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE 2012: 53-62
- [c23]Richard Payne, Jeremy Bryans, John S. Fitzgerald, Steve Riddle: Interface specification for system-of-systems architectures. SoSE 2012: 567-572
- 2011
- [c22]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
- [e4]Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Third Workshop on Formal Aspects of Virtual Organisations. EPTCS 83, 2011
- 2010
- [j10]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)
- [c21]Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff: Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25
- [c20]Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114
- [c19]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
- [c18]Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky: MetaSelf: an architecture and a development method for dependable self-* systems. SAC 2010: 457-461
2000 – 2009
- 2009
- [b1]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
- [j9]Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4) (2009)
- [j8]Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
- [j7]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)
- [c17]Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
- [c16]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
- [c15]Igor Mozolevsky, John S. Fitzgerald: Common Representation of Information Flows for Dynamic Coalitions. FAVO 2009: 15-25
- [e3]Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Second Workshop on Formal Aspects of Virtual Organisations. EPTCS 16, 2009
- 2008
- [j6]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)
- [j5]John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara: VDMTools: advances in support for formal modeling in VDM. SIGPLAN Notices 43(2): 3-11 (2008)
- [c14]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
- [c13]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
- [p1]John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
- [e2]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
- 2007
- [c12]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
- [c11]John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
- [c10]Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
- [c9]Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky, Nicolas Guelfi: A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572
- 2006
- [j4]John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
- [c8]John S. Fitzgerald, Peter Gorm Larsen: Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). ISoLA 2006: 1-4
- [c7]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
- 2004
- [j3]
1990 – 1999
- 1999
- [j2]John S. Fitzgerald: Formality in specification and modeling: developments in software engineering practice. Advances in Computers 49: 69-94 (1999)
- 1997
- [e1]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
- 1996
- [j1]Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)
- [c6]
- [c5]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
- 1994
- [c4]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
- 1993
- [c3]John S. Fitzgerald, R. Moore: Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages 1993: 101-117
- 1992
- [c2]Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed: On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems 1992: 426-451
- 1990
- [c1]John S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team