John S. Fitzgerald

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

20EEPeter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
19 John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings Springer 2008
18EEHugo 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
17EEJohn S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
16EEJohn S. Fitzgerald, Cliff B. Jones: The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008)
15EEJohn S. Fitzgerald, Peter Gorm Larsen, Shin Sahara: VDMTools: advances in support for formal modeling in VDM. SIGPLAN Notices 43(2): 3-11 (2008)
14EEJohn 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
13EEJohn S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
12EEJeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
11EEJohn S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
10EEJohn S. Fitzgerald: Formal Methods Europe Update. Formal Asp. Comput. 16(1): 2-3 (2004)
9 John S. Fitzgerald: Formality in specification and modeling: developments in software engineering practice. Advances in Computers 49: 69-95 (1999)
8 John S. Fitzgerald, Cliff B. Jones, Peter Lucas: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings Springer 1997
7 John S. Fitzgerald: Two Industrial Trials of Formal Specification. AMAST 1996: 1-8
6 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
5EEPeter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)
4 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
3 John S. Fitzgerald, R. Moore: Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages 1993: 101-117
2 Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed: On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems 1992: 426-451
1 John S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210

Coauthor Index

1Tom Anderson [2]
2T. M. Brookes [4] [5] [6]
3Jeremy Bryans [12]
4Stefania Gnesi [11]
5M. A. Green [4]
6Anne Elisabeth Haxthausen [19]
7Cliff B. Jones [1] [8] [16]
8Peter Gorm Larsen [4] [5] [6] [13] [14] [15] [17] [18] [20]
9Rogério de Lemos [2]
10Peter Lucas [8]
11Hugo Daniel Macedo [18]
12Dino Mandrioli [11]
13R. Moore [3]
14Steve Riddle [20]
15Amer Saeed [2]
16Shin Sahara [15]
17Simon Tjell [13]
18Marcel Verhoef [13] [17]
19Hüsnü Yenigün [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)