Andy Galloway

2009
14	EE	Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
2007
13	EE	Ian Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190
12	EE	Steve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232
2006
11	EE	John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54
2005
10	EE	Andy Galloway, Frantz Iwu, John McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
9	EE	Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123
2002
8	EE	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	EE	Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242
3	EE	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 McDermid	[10]
11	John A. McDermid	[3] [11]
12	Jan Tobias Mühlberg	[14]
13	Richard Shore	[4]
14	Radu Siminiceanu	[14]
15	Bill Stoddart	[1] [2] [4] [5]
16	Kenji Taguchi	[6]
17	Ian Toyn	[3] [9] [10] [13]
18	Nigel Tracey	[3]
19	Samuel H. Valentine	[3]

Colors in the list of coauthors