Andy Galloway

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)

Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88

Steve Dunne, Ian J. Hayes, Andy Galloway: Reasoning about Loops in Total and General Correctness. UTP 2008: 62-81

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)

Ian Toyn, Andy Galloway: Formal Validation of Hierarchical State Machines against Expectations. ASWEC 2007: 181-190

Steve Dunne, Andy Galloway: Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232

John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54

Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373

Ian Toyn, Andy Galloway: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB 2005: 104-123

James Blow, Andy Galloway: Generalised Substitution Language and Differentials. ZB 2002: 396-415

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.): 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. Lecture Notes in Computer Science 1878, Springer 2000, isbn 3-540-67944-8

Bill Stoddart, Steve Dunne, Andy Galloway: Undefined Expressions and Logic in Z and B. Formal Methods in System Design 15(3): 201-215 (1999)

Keijiro Araki, Andy Galloway, Kenji Taguchi (Eds.): Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. Springer 1999, isbn 1-85233-107-0

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242

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-

Andy Galloway, Bill Stoddart: An Operational Semantics for ZCCS. ICFEM 1997: 272-

Andy Galloway, Bill Stoddart: Integrated formal methods. INFORSID 1997: 549-576

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