Contact details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Andrew J Galloway

(Former)

  1. 1998
  2. Towards industrially applicable formal methods: Three small steps, and one giant leap

    McDermid, J., Galloway, A., Burton, S., Clark, J., Toyn, I., Tracey, N. & Valentine, S., 1998, SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. Staples, J., Hinchey, MG. & Liu, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 76-88 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 1999
  4. Experiences with the application of discrete formal methods to the development of engine control software

    Galloway, A. J., Cockram, T. J. & McDermid, J. A., 1999, DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998. DePaoli, F. & MacLeod, IM. (eds.). OXFORD: PERGAMON PRESS LTD, p. 49-56 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 2000
  6. Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

    Burton, S., Clark, J. A., Galloway, A. & McDermid, J. A., 2000, Proceedings of the NASA Langley Formal Methods Workshop.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. ZB 2000: Formal Specification and Development in Z and B

    Bowen, J. P., Dunne, S., Galloway, A. & King, S., 2000.

    Research output: Contribution to conferencePaper

  8. 2002
  9. Automation of System Safety Analysis: Possibilities and Pitfalls

    Galloway, A., McDermid, J. A., Murdoch, J. & Pumfrey, D. J., 2002.

    Research output: Contribution to conferencePaper

  10. 2004
  11. Practical Formal Specification for Embedded Control Systems

    Iwu, F., Galloway, A. J., Toyn, I. & McDermid, J. A., 2004.

    Research output: Contribution to conferencePaper

  12. The Simulink/Stateflow Analyser

    Galloway, A. J., Toyn, I., Iwu, F. & McDermid, J. A., 2004.

    Research output: Contribution to conferencePaper

  13. 2005
  14. Proof versus testing in the context of Safety Standards

    Galloway, A., Paige, R. F., Tudor, N. J., Weaver, R. A., Toyn, I. & McDermid, J. A., 2005.

    Research output: Contribution to conferencePaper

  15. Proving properties of stateflow models using ISO standard Z and CADIZ

    Toyn, I. & Galloway, A., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 104-123 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. 2006
  17. Three perspectives in formal engineering

    McDermid, J. & Galloway, A., 2006, Formal Methods and Software Engineering, Proceedings. Liu, Z. & He, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 35-54 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. 2007
  19. 2008
  20. On the formal development of safety-critical software

    Galloway, A., Iwu, F., McDermid, J. & Toyn, I., 2008, VSTTE: Verified Software Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised. Meyer, B. & Woodcock, J. (eds.). Zurich, Switzerland: SPRINGER-VERLAG BERLIN, Vol. LNCS 4171. p. 362-373 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. 2009
  22. Model-Checking the Linux Virtual File System

    Galloway, A., Luettgen, G., Muehlberg, J. T. & Siminiceanu, R. I., 2009, VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION. Jones, ND. & MullerOlm, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5403 LNCS. p. 74-88 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. 2012
  24. Specification and Refinement of Type Interfaces in Scientific Software

    Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., Jun 2012, University of York.

    Research output: Other contribution