Andy Galloway

19 papers B 3C 3Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2011 J jnl
High-integrity agile processes for the development of safety critical software.
Int. J. Crit. Comput. Based Syst.
Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
2010 — conf
Towards a Model-Based Refinement Process for Contractual State Machines.
ISORC Workshops
Lishan Harbird, Andy Galloway, Richard F. Paige
2009 B conf
Model-Checking the Linux Virtual File System.
VMCAI
Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
2008 — conf
Reasoning about Loops in Total and General Correctness.
UTP
Steve Dunne, Ian J. Hayes, Andy Galloway
2007 — conf
Formal Validation of Hierarchical State Machines against Expectations.
ASWEC
Ian Toyn, Andy Galloway
2007 J jnl
Integrating safety and formal analyses using UML and PFS.
Reliab. Eng. Syst. Saf.
Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn
2007 B conf
Lifting General Correctness into Partial Correctness is
IFM
Steve Dunne, Andy Galloway
2006 C conf
Three Perspectives in Formal Engineering.
ICFEM
John A. McDermid, Andy Galloway
2005 — conf
On the Formal Development of Safety-Critical Software.
VSTTE
Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn
2005 — conf
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.
ZB
Ian Toyn, Andy Galloway
2002 — conf
Generalised Substitution Language and Differentials.
ZB
James Blow, Andy Galloway
2000 — ed.
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
ZB
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
1999 B ed.
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999
IFM
Keijiro Araki, Andy Galloway, Kenji Taguchi
1999 J jnl
Undefined Expressions and Logic in Z and B.
Formal Methods Syst. Des.
Bill Stoddart, Steve Dunne, Andy Galloway
1998 — conf
Abstract State Machines: Designing Distributed Systems with State Machines and B.
B
Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
1998 C conf
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
ICFEM
John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
1997 C conf
An Operational Semantics for ZCCS.
ICFEM
Andy Galloway, Bill Stoddart
1997 — conf
Integrated formal methods.
INFORSID
Andy Galloway, Bill Stoddart
1994 — conf
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.
FME
P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson