John S. Fitzgerald

	2011
38		Jeremy Bryans, John S. Fitzgerald: Proceedings Third Workshop on Formal Aspects of Virtual Organisations FAVO 2011
37		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
	2010
36		Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff: Are Formal Methods Ready for Agility? A Reality Check. FM+AM 2010: 13-25
35		Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth: Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114
34		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
33		Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky: MetaSelf: an architecture and a development method for dependable self-* systems. SAC 2010: 457-461
32		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)
	2009
31		John S. Fitzgerald, Peter Gorm Larsen: Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). Cambridge University Press 2009: I-XVI, 1-288
30		Jeremy Bryans, John S. Fitzgerald: Proceedings Second Workshop on Formal Aspects of Virtual Organisations FAVO 2009
29		Igor Mozolevsky, John S. Fitzgerald: Common Representation of Information Flows for Dynamic Coalitions FAVO 2009: 15-25
28		Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock: Industrial Practice in Formal Methods: A Review. FM 2009: 810-813
27		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
26		Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald: Formal methods: Practice and experience. ACM Comput. Surv. 41(4): (2009)
25		Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
24		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)
	2008
23		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
22		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
21		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
20		John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
19		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)
18		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
17		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
16		John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
15		Jeremy Bryans, John S. Fitzgerald: Formal Engineering of XACML Access Control Policies in VDM++. ICFEM 2007: 37-56
14		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
13		John S. Fitzgerald, Peter Gorm Larsen: Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). ISoLA 2006: 1-4
12		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
11		John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
	2004
10		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-94 (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		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	Nick Battle	[32]
3	Anirban Bhattacharyya	[21]
4	Juan Bicarregui	[26] [28]
5	T. M. Brookes	[4] [5] [6]
6	Jeremy Bryans (Jeremy W. Bryans)	[12] [15] [27] [30] [35] [37] [38]
7	Miguel Alexandre Ferreira	[32]
8	Stefania Gnesi	[11]
9	M. A. Green	[4]
10	Nicolas Guelfi	[14]
11	Anne Elisabeth Haxthausen	[23]
12	Cliff B. Jones (Clifford B. Jones)	[1] [8] [12] [19]
13	Peter Gorm Larsen	[4] [5] [6] [13] [16] [17] [18] [20] [22] [24] [25] [26] [28] [31] [32] [34] [36]
14	Kenneth Lausdahl	[32]
15	Rogério de Lemos	[2]
16	Peter Lucas	[8]
17	Hugo Daniel Macedo	[22]
18	Dino Mandrioli	[11]
19	Tom McCutcheon	[37]
20	R. Moore	[3]
21	Igor Mozolevsky	[12] [29]
22	Ken Pierce	[34]
23	Steve Riddle	[25]
24	Alexander Romanovsky (Alexander B. Romanovsky)	[14] [27] [33] [35]
25	Andreas Roth	[27] [35]
26	Amer Saeed	[2]
27	Shin Sahara	[18]
28	Giovanna Di Marzo Serugendo	[14] [33]
29	Simon Tjell	[16]
30	Marcel Verhoef	[16] [20] [32] [34]
31	Sune Wolff	[24] [34] [36]
32	Jim Woodcock (J. C. P. Woodcock)	[26] [28]
33	Hüsnü Yenigün	[23]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page