[DG10] Steve Dunne, Andy Galloway
and Ian Hayes, "Reasoning about Loops in Total and General
Correctness", Proceedings of Unifying Theories of Programming, Second
International Symposium,
[DG07] Steve Dunne and Andy
Galloway, “Lifting General Correctness into Partial Correctness is ok”,
Jim Davies, Jeremy Gibbons (Eds.): Integrated Formal Methods, 6th International
Conference, IFM 2007,
[MG06] John A. McDermid and Andy
Galloway, “Three Perspectives in Formal Engineering”, Zhiming Liu,
Jifeng He (Eds.): Formal Methods and Software Engineering, 8th International
Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November
1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260, pp35-54
Springer 2006. DBLP
[GP+05] Andy Galloway, Richard Paige et al, "Proof vs Testing in the Context of Safety Standards", In Proceedings of DASC: 24th Digital Avionics Systems Conference. IEEE. 2005. IEEE Xplore
[BG02] James Blow and Andy
Galloway, “Generalised Substitution Language and Differentials”, 2nd
International Conference of B and Z Users,
[GS97b] A. J. Galloway and W. J. Stoddart, “An Operational Semantics for ZCCS”, Proceedings of ICFEM ’97. IEEE Press. 1997. DBLP
[Gal94] “A Bruns-style
Definition for value-passing SCCS”, A. J. Galloway,
[Gal96] A. J. Galloway. “Integrated
Formal Methods with Richer Methodological Profiles for the Development of
Multi-Perspective Systems”, PhD Thesis,
[IMT+07] Frantz Iwu, John McDermid,
Ian Toyn and Andy Galloway, “Integrating Safety Analysis using UML and PFS”, Reliability
Engineering & System Safety, Vol. 92, No. 2. (February 2007), pp.
156-170. Elsevier Science. 2007. Science
Direct
[SDG99] W. J. Stoddart, S. E. Dunne and A. J. Galloway, “Undefined Expressions
and Logic in Z and B”, ”Formal Methods in System Design”, 15, 201–215 (1999).
Kluwer Academic Publishers. DBLP
[GLM+09] Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu, “Model-Checking the Linux Virtual File System”, In Neil D. Jones, Markus Müller-Olm (Eds.): Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009, pp74-88. Lecture Notes in Computer Science 5403 Springer. 2009. DBLP
[GIM+08] Andy Galloway, Frantz Iwu,
John McDermid and Ian Toyn, “On the Formal Development of Safety Critical Software”,
VSTTE 05: Verified Software: Theories, Tools, Experiments,
[TG05] I. Toyn and A. Galloway,
“Proving Properties of Stateflow Models using ISO Standard Z and CADiZ”, ZB
2005: Formal Specification and Development in Z and B; 4th International
Conference of B and Z Users, LNCS 3455, pp 104-123, Springer, 2005. DBLP
[IGT+04] Frantz Iwu, Andy Galloway, Ian Toyn and John McDermid. “Practical
Formal Specification For Embedded Control Systems”. The 11th IFAC Symposium on
Information Control Problems in Manufacturing, INCOM 2004,
[GMM+02] A. Galloway, J.A. McDermid, J. Murdoch and D.J. Pumfrey, “Automation of
System Safety Analysis: Possibilities and Pitfalls”, Proceedings of the 20th
International System Safety Conference, Denver, CO, System Safety Society,
P.O.Box 70, Unionville, VA 22567-0070, USA. 2002. .pdf
[Gal01] Andy Galloway,
“Communicating Generalised Substitution Language”, ‘Perspectives of Systems
Informatics’ (PSI 01)
[GB01] Andy Galloway and James
Blow, “Multilayered Domain Specific Formal Methods”, Joint Workshop on Formal
Specification of Computer Based Systems,
[BCG+00] Simon Burton and John Clark and Andy Galloway and John McDermid, “Automated V&V for High Integrity Systems, A Targeted Formal Methods Approach”, Proceedings of the 5th NASA Langley Formal Methods Workshop. 2000. CiteSeerX
[BGM+00] J.R. Blow, A.J. Galloway, J.A. McDermid, M.G. Dowding, and T. J.
Cockram, “The Industrial Use of a Formal Method in an Electronic Gas Turbine
Engine Control System”, Joint Workshop on Formal Specifications of Computer
Based Systems, Edinburgh, 2000.
[MG+98] John McDermid, Andy
Galloway et al, “Towards Industrially Relevant Formal Methods: Three small
steps, one giant leap”, John McDermid Keynote speech, ICFEM 1998. IEEE Press.
1998. DBLP
[GCM98] A. J. Galloway, T. J. Cockram and J. A McDermid, “Experiences with the
application of discrete formal methods to the development of engine control
software”, DCCS (Distributed Computer Control Systems) 98, IFAC. 1998. Open
Library GoogleScholar
[SDG98] W. J. Stoddart, S. E. Dunne and A. J. Galloway, “
[GS97a] A. J. Galloway and W. J. Stoddart, “Integrated Formal Methods”,
Proceedings of INFORSID ’97, INFORSID Press,
[DSG96] S. E. Dunne, W. J.
Stoddart and A. J. Galloway, “Extending the Generalised Substitution to Model
Semi-Decidable Operations”, In Proceedings of the 8th International Conference
on ”Putting into Practice Methods and Tools for Information System Design - The
First Conference on the B Method”.
[GH96b] A. J. Galloway and H.
Habrias, “Integrating NIAM, JSD, CCS and Z”, In Proceedings of Application of
Computer Systems ACS’96. University Polytechnic of
[GH96a] A. J. Galloway and
H. Habrias, “Formalising the Semantics of GRAFCET Function Charts using Z”, In
Proceedings of “New Information Technologies in Education, NITE’96”,
[FGL+94] P. C. Fencott, A. J.
Galloway, M. A. Lockyer and S. Pearson, “Formalising the Semantics of
Ward/Mellor SA/RT Essential Models using a Process Algebra”, Formal Methods
Europe 1994. Lecture Notes in Computer Science No 873, Springer-Verlag. 1994. DBLP
[FFG+93] P.C. Fencott, M.A. Fox, A. J. Galloway, M. A. Lockyer and S. J. O’Brien
“Experiences with the Integration of Structured and Formal Methods for
Real-Time Systems”. In Workshop Proceedings of Software Engineering and its
Applications: 6th International Conference (
[GTI+04] Andy Galloway, Ian Toyn,
Frantz Iwu and John McDermid, “The Simulink/Stateflow Analyser” (presentation
only), presented at the FAA/ERAU Software Tools Forum, Florida US, May 2004. ERAU
[GMSL07]
Andy Galloway, Jan Tobias Mühlberg, Radu Siminiceanu and Gerald Lüttgen, “Model-checking Part
of a Linux File System”. Technical Report YCS-2007-423, Department of Computer
Science,
[BDGK00] 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”,
[AGT99] 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. DBLP
[HG98]
Proceedings of “The
International Workshop on Comparing Systems Specification Techniques: What Questions
are prompted by ones particular method of specification”, H. Habrias
(President), A. J. Galloway (Vice-president).
I’m proud
to have been involved in:
[Blo03] James Blow, “Use of
Formal Methods in the Development of Safety Critical Control Software”, PhD
Thesis, Department of Computer Science, University of York. YCST-2003-08. 2003.
UoY.