Andy Galloway

According to our database, Andy Galloway authored at least 17 papers between 1994 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

High-integrity agile processes for the development of safety critical software.

Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

Int. J. Crit. Comput. Based Syst., 2011

2010

Towards a Model-Based Refinement Process for Contractual State Machines.

Lishan Harbird, Andy Galloway, Richard F. Paige

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

2009

Model-Checking the Linux Virtual File System.

Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu

Proceedings of the Verification, 2009

2008

Reasoning about Loops in Total and General Correctness.

Steve Dunne, Ian J. Hayes, Andy Galloway

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007

Integrating safety and formal analyses using UML and PFS.

Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn

Reliab. Eng. Syst. Saf., 2007

Lifting General Correctness into Partial Correctness is <i>ok</i>.

Steve Dunne, Andy Galloway

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Formal Validation of Hierarchical State Machines against Expectations.

Ian Toyn, Andy Galloway

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

Three Perspectives in Formal Engineering.

John A. McDermid, Andy Galloway

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.

Ian Toyn, Andy Galloway

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

On the Formal Development of Safety-Critical Software.

Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn

Proceedings of the Verified Software: Theories, 2005

2002

Generalised Substitution Language and Differentials.

James Blow, Andy Galloway

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

1999

Undefined Expressions and Logic in Z and B.

Bill Stoddart, Steve Dunne, Andy Galloway

Formal Methods Syst. Des., 1999

1998

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Abstract State Machines: Designing Distributed Systems with State Machines and B.

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Integrated formal methods.

Andy Galloway, Bill Stoddart

Proceedings of the Actes du XVème Congrès INFORSID, Toulouse, France, 10-13 juin, 1997, 1997

An Operational Semantics for ZCCS.

Andy Galloway, Bill Stoddart

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1994

Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.

P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994