| 2007 |
|---|
| 12 | EE | Ian Toyn,
Andy Galloway:
Formal Validation of Hierarchical State Machines against Expectations.
ASWEC 2007: 181-190 |
| 11 | EE | Steve Dunne,
Andy Galloway:
Lifting General Correctness into Partial Correctness is ok.
IFM 2007: 215-232 |
| 2006 |
|---|
| 10 | EE | John A. McDermid,
Andy Galloway:
Three Perspectives in Formal Engineering.
ICFEM 2006: 35-54 |
| 2005 |
|---|
| 9 | EE | Ian Toyn,
Andy Galloway:
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.
ZB 2005: 104-123 |
| 2002 |
|---|
| 8 | EE | James Blow,
Andy Galloway:
Generalised Substitution Language and Differentials.
ZB 2002: 396-415 |
| 2000 |
|---|
| 7 | | 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, York, UK, August 29 - September 2, 2000, Proceedings
Springer 2000 |
| 1999 |
|---|
| 6 | | 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 |
| 5 | | Bill Stoddart,
Steve Dunne,
Andy Galloway:
Undefined Expressions and Logic in Z and B.
Formal Methods in System Design 15(3): 201-215 (1999) |
| 1998 |
|---|
| 4 | EE | Bill Stoddart,
Steve Dunne,
Andy Galloway,
Richard Shore:
Abstract State Machines: Designing Distributed Systems with State Machines and B.
B 1998: 226-242 |
| 3 | EE | John A. McDermid,
Andy Galloway,
Simon Burton,
John A. Clark,
Ian Toyn,
Nigel Tracey,
Samuel H. Valentine:
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
ICFEM 1998: 76- |
| 1997 |
|---|
| 2 | | Andy Galloway,
Bill Stoddart:
An Operational Semantics for ZCCS.
ICFEM 1997: 272- |
| 1 | | Andy Galloway,
Bill Stoddart:
Integrated formal methods.
INFORSID 1997: 549-576 |
