Andy Galloway

	2011
18		Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: High-integrity agile processes for the development of safety critical software. IJCCBS 2(2): 181-216 (2011)
	2009
17		Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
	2008
16		Steve Dunne, Ian J. Hayes, Andy Galloway: Reasoning about Loops in Total and General Correctness. UTP 2008: 62-81
	2007
15		Ian Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190
14		Steve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232
13		Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn: Integrating safety and formal analyses using UML and PFS. Rel. Eng. & Sys. Safety 92(2): 156-170 (2007)
	2006
12		John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54
	2005
11		Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373
10		Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123
	2002
9		James Blow, Andy Galloway: Generalised Substitution Language and Differentials. ZB 2002: 396-415
	2000
8		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
7		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
6		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
5		Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242
4		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
3		Andy Galloway, Bill Stoddart: An Operational Semantics for ZCCS. ICFEM 1997: 272-
2		Andy Galloway, Bill Stoddart: Integrated formal methods. INFORSID 1997: 549-576
	1994
1		P. C. Fencott, Andy Galloway, M. A. Lockyer, S. J. O'Brien, S. Pearson: Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. FME 1994: 681-702

Coauthor Index

1	Keijiro Araki	[7]
2	James Blow	[9]
3	Jonathan P. Bowen	[8]
4	Phillip J. Brooke	[18]
5	Simon Burton	[4]
6	Ramon Charalambous	[18]
7	John A. Clark (John Andrew Clark)	[4]
8	Steve Dunne	[5] [6] [8] [14] [16]
9	P. C. Fencott	[1]
10	Xiaocheng Ge	[18]
11	Ian J. Hayes	[16]
12	Frantz Iwu	[11] [13]
13	Steve King	[8]
14	M. A. Lockyer	[1]
15	Gerald Lüttgen	[17]
16	John A. McDermid	[4] [11] [12] [13]
17	Jan Tobias Mühlberg	[17]
18	S. J. O'Brien	[1]
19	Richard F. Paige	[18]
20	S. Pearson	[1]
21	Richard Shore	[5]
22	Radu Siminiceanu	[17]
23	Bill Stoddart	[2] [3] [5] [6]
24	Kenji Taguchi	[7]
25	Ian Toyn	[4] [10] [11] [13] [15]
26	Nigel Tracey	[4]
27	Samuel H. Valentine	[4]

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