John S. Fitzgerald

2009
20	EE	Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
2008
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
18	EE	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
17	EE	John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
16	EE	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)
15	EE	John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara: VDMTools: advances in support for formal modeling in VDM. SIGPLAN Notices 43(2): 3-11 (2008)
2007
14	EE	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
13	EE	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
12	EE	Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
2006
11	EE	John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
2004
10	EE	John S. Fitzgerald: Formal Methods Europe Update. Formal Asp. Comput. 16(1): 2-3 (2004)
1999
9		John S. Fitzgerald: Formality in specification and modeling: developments in software engineering practice. Advances in Computers 49: 69-95 (1999)
1997
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
1996
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
5	EE	Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)
1994
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
1993
3		John S. Fitzgerald, R. Moore: Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages 1993: 101-117
1992
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
1990
1		John S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210

Coauthor Index

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

Colors in the list of coauthors