| An operational semantics for ZCCS AJ Galloway, WJ Stoddart First IEEE International Conference on Formal Engineering Methods, 272-282, 1997 | 106 | 1997 |
| Integrating safety and formal analyses using UML and PFS F Iwu, A Galloway, J McDermid, I Toyn Reliability Engineering & System Safety 92 (2), 156-170, 2007 | 60 | 2007 |
| Model-checking the linux virtual file system A Galloway, G Lüttgen, JT Mühlberg, RI Siminiceanu International Workshop on Verification, Model Checking, and Abstract …, 2009 | 57 | 2009 |
| IFM’99: Integrated Formal Methods, York, UK K Araki, A Galloway, K Taguchi Springer-Verlag, June, 1999 | 57 | 1999 |
| Formalising the semantics of Ward/Mellor SA/RT essential models using a process algebra PC Fencott, AJ Galloway, MA Lockyer, SJ O'Brien, S Pearson FME'94: Industrial Benefit of Formal Methods: Second International Symposium …, 1994 | 45 | 1994 |
| Integrated Formal Methods with Richer Methodological Profiles for the Development of Multi-perspective Systems AJ Galloway University of Teesside;, 1996 | 40 | 1996 |
| 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 JP Bowen, S Dunne, A Galloway, S King Springer, 2003 | 38 | 2003 |
| Towards industrially applicable formal methods: Three small steps, and one giant leap J McDermid, A Galloway, S Burton, J Clark, I Toyn, N Tracey, S Valentine Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 33 | 1998 |
| Proof vs testing in the context of safety standards A Galloway, RF Paige, NJ Tudor, RA Weaver, I Toyn, J McDermid 24th Digital Avionics Systems Conference 2, 14 pp. Vol. 2, 2005 | 31 | 2005 |
| Automated V&V for high integrity systems, a targeted formal methods approach S Burton, J Clark, A Galloway, J McDermid, Y Heslington NASA CONFERENCE PUBLICATION, 129-140, 2000 | 28 | 2000 |
| Experiences with the application of discrete formal methods to the development of engine control software AJ Galloway, TJ Cockram, JA McDermid IFAC Proceedings Volumes 31 (32), 49-56, 1998 | 25 | 1998 |
| Stromelysin 1, neutrophil collagenase, and collagenase 3 do not play major roles in a model of chondrocyte mediated cartilage breakdown. LD Kozaci, CJ Brown, C Adcocks, A Galloway, AP Hollander, DJ Buttle Molecular Pathology 51 (5), 282, 1998 | 23 | 1998 |
| Integrated formal methods. A Galloway, B Stoddart INFORSID 97, 549-576, 1997 | 23 | 1997 |
| High-integrity agile processes for the development of safety critical software RF Paige, A Galloway, R Charalambous, X Ge, PJ Brooke International Journal of Critical Computer-Based Systems 2 (2), 181-216, 2011 | 20 | 2011 |
| Proving properties of Stateflow models using ISO Standard Z and CADiZ I Toyn, A Galloway International Conference of B and Z Users, 104-123, 2005 | 18 | 2005 |
| Undefined Expressions and Logic in Z and B B Stoddart, S Dunne, A Galloway Formal Methods in System Design 15, 201-215, 1999 | 16 | 1999 |
| Specification and refinement in general correctness S Dunne, A Galloway, B Stoddart 3rd BCS-FACS Northern Formal Methods Workshop, 1998 | 16 | 1998 |
| IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 K Araki, A Galloway, K Taguchi Springer Science & Business Media, 2012 | 14 | 2012 |
| Automation of system safety analysis: Possibilities and pitfalls A Galloway, JA McDermid, J Murdoch, DJ Pumfrey | 13 | 2002 |
| IFM 1999: Integrated Formal Methods, volume 1945 of Lecture Notes in Computer Science, York, UK, June 1999 K Araki, A Galloway, K Taguchi Springer. Proceedings of 1st Intl. Conf. on IFM, 0 | 13 | |
