Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. - P. C. Fencott; Andy Galloway; Mike A. Lockyer; S. J. O'Brien; S. Pearson (FME, 1994)

An Operational Semantics for ZCCS. - Andy Galloway; Bill Stoddart (ICFEM, 1997)

Integrated formal methods. - Andy Galloway; Bill Stoddart (INFORSID, 1997)

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

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. - John A. McDermid; Andy Galloway; Simon Burton 001; John A. Clark; Ian Toyn; Nigel J. Tracey; Samuel H. Valentine (ICFEM, 1998)

Undefined Expressions and Logic in Z and B. - Bill Stoddart; Steve Dunne; Andy Galloway (Formal Methods Syst. Des., 1999)

Generalised Substitution Language and Differentials. - James Blow; Andy Galloway (ZB, 2002)

On the Formal Development of Safety-Critical Software. - Andy Galloway; Frantz Iwu; John A. McDermid; Ian Toyn (VSTTE, 2005)

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. - Ian Toyn; Andy Galloway (ZB, 2005)

Three Perspectives in Formal Engineering. - John A. McDermid; Andy Galloway (ICFEM, 2006)

Formal Validation of Hierarchical State Machines against Expectations. - Ian Toyn; Andy Galloway (ASWEC, 2007)

Lifting General Correctness into Partial Correctness is ok. - Steve Dunne; Andy Galloway (IFM, 2007)

Integrating safety and formal analyses using UML and PFS. - Frantz Iwu; Andy Galloway; John A. McDermid; Ian Toyn (Reliab. Eng. Syst. Saf., 2007)

Reasoning about Loops in Total and General Correctness. - Steve Dunne; Ian J. Hayes; Andy Galloway (UTP, 2008)

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

Towards a Model-Based Refinement Process for Contractual State Machines. - Lishan Harbird; Andy Galloway; Richard F. Paige (ISORC Workshops, 2010)

High-integrity agile processes for the development of safety critical software. - Richard F. Paige; Andy Galloway; Ramon Charalambous; Xiaocheng Ge; Phillip J. Brooke (Int. J. Crit. Comput. Based Syst., 2011)