Andy Galloway

	2009
14		Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
	2007
13		Ian Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190
12		Steve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232
	2006
11		John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54
	2005
10		Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
9		Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123
	2002
8		James Blow, Andy Galloway: Generalised Substitution Language and Differentials. ZB 2002: 396-415
	2000
7		Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings Springer 2000
	1999
6		Keijiro Araki, Andy Galloway, Kenji Taguchi: Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 Springer 1999
5		Bill Stoddart, Steve Dunne, Andy Galloway: Undefined Expressions and Logic in Z and B. Formal Methods in System Design 15(3): 201-215 (1999)
	1998
4		Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242
3		John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-
	1997
2		Andy Galloway, Bill Stoddart: An Operational Semantics for ZCCS. ICFEM 1997: 272-
1		Andy Galloway, Bill Stoddart: Integrated formal methods. INFORSID 1997: 549-576

Coauthor Index

1	Keijiro Araki	[6]
2	James Blow	[8]
3	Jonathan P. Bowen	[7]
4	Simon Burton	[3]
5	John A. Clark (John Andrew Clark)	[3]
6	Steve Dunne	[4] [5] [7] [12]
7	Frantz Iwu	[10]
8	Steve King	[7]
9	Gerald Lüttgen	[14]
10	John A. McDermid	[3] [10] [11]
11	Jan Tobias Mühlberg	[14]
12	Richard Shore	[4]
13	Radu Siminiceanu	[14]
14	Bill Stoddart	[1] [2] [4] [5]
15	Kenji Taguchi	[6]
16	Ian Toyn	[3] [9] [10] [13]
17	Nigel Tracey	[3]
18	Samuel H. Valentine	[3]

Colors in the list of coauthors