Andy Galloway

An operational semantics for ZCCS

Andy Galloway, W. J. Stoddart · 2002 · 64 citations

Engineering, Semantic Web, Semantics +16

Integrating safety and formal analyses using UML and PFS

Frantz Iwu, Andy Galloway, John McDermid et al. · Reliability Engineering & System Safety · 2006 · 42 citations

Safety Engineering, Safety Case, Engineering +9

Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software

Andy Galloway, Trevor Cockram, John McDermid · IFAC Proceedings Volumes · 1998 · 21 citations

Formal Specification, Engineering, Formal Modeling +12

Towards industrially applicable formal methods: three small steps, and one giant leap

John McDermid, Andy Galloway, Simon Burton et al. · 2002 · 20 citations

Small Steps, Engineering, Verification +20

Proof Vs Testing in the Context of Safety Standards

Andy Galloway, Richard F. Paige, Nick Tudor et al. · 2006 · 16 citations

Software Maintenance, Safety Case, Engineering +26