Andy Galloway

Publication Activity (10 Years)

Years Active: 1994-2011
Publications (10 Years): 0

Publications

Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
High-integrity agile processes for the development of safety critical software. Int. J. Crit. Comput. Based Syst. 2 (2) (2011)
Lishan Harbird, Andy Galloway, Richard F. Paige
Towards a Model-Based Refinement Process for Contractual State Machines. ISORC Workshops (2010)
Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
Model-Checking the Linux Virtual File System. VMCAI (2009)
Steve Dunne, Ian J. Hayes, Andy Galloway
Reasoning about Loops in Total and General Correctness. UTP (2008)
Ian Toyn, Andy Galloway
Formal Validation of Hierarchical State Machines against Expectations. ASWEC (2007)
Steve Dunne, Andy Galloway
. IFM (2007)
Frantz Iwu, Andy Galloway, John Alexander McDermid, Ian Toyn
Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. 92 (2) (2007)
John Alexander McDermid, Andy Galloway
Three Perspectives in Formal Engineering. ICFEM (2006)
Ian Toyn, Andy Galloway
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB (2005)
Andy Galloway, Frantz Iwu, John Alexander McDermid, Ian Toyn
On the Formal Development of Safety-Critical Software. VSTTE (2005)
James Blow, Andy Galloway
Generalised Substitution Language and Differentials. ZB (2002)
Bill Stoddart, Steve Dunne, Andy Galloway
Undefined Expressions and Logic in Z and B. Formal Methods Syst. Des. 15 (3) (1999)
Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
Abstract State Machines: Designing Distributed Systems with State Machines and B. B (1998)
John McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM (1998)
Andy Galloway, Bill Stoddart
Integrated formal methods. INFORSID (1997)
Andy Galloway, Bill Stoddart
An Operational Semantics for ZCCS. ICFEM (1997)
P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. FME (1994)