| 2007 |
|---|
| 16 | EE | Bill Stoddart,
Dominique Cansell,
Frank Zeyda:
Modelling and Proof Analysis of Interrupt Driven Scheduling.
B 2007: 155-170 |
| 2006 |
|---|
| 15 | | Steve Dunne,
Bill Stoddart:
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Springer 2006 |
| 14 | EE | Bill Stoddart,
Frank Zeyda,
Robert Lynas:
A Design-Based Model of Reversible Computation.
UTP 2006: 63-83 |
| 2005 |
|---|
| 13 | EE | Frank Zeyda,
Bill Stoddart,
Steve Dunne:
A Prospective-Value Semantics for the GSL.
ZB 2005: 187-202 |
| 2003 |
|---|
| 12 | EE | Bill Stoddart,
Frank Zeyda:
Expression Transformers in B-GSL.
ZB 2003: 197-215 |
| 2002 |
|---|
| 11 | EE | Antonis Papatsaras,
Bill Stoddart:
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.
ZB 2002: 458-476 |
| 2000 |
|---|
| 10 | | Wolfgang Grieskamp,
Thomas Santen,
Bill Stoddart:
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings
Springer 2000 |
| 9 | EE | Bill Stoddart:
An Execution Architecture for GSL.
ZB 2000: 394-413 |
| 1999 |
|---|
| 8 | | Bill Stoddart,
Steve Dunne:
The Refinement of Event Calculus Models.
IFM 1999: 151-169 |
| 7 | | 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 |
|---|
| 6 | EE | Bill Stoddart,
Steve Dunne,
Andy Galloway,
Richard Shore:
Abstract State Machines: Designing Distributed Systems with State Machines and B.
B 1998: 226-242 |
| 5 | | Bill Stoddart:
The Specification and Refinement of an Environmental Model.
ZUM 1998: 24-41 |
| 1997 |
|---|
| 4 | | Andy Galloway,
Bill Stoddart:
An Operational Semantics for ZCCS.
ICFEM 1997: 272- |
| 3 | | Andy Galloway,
Bill Stoddart:
Integrated formal methods.
INFORSID 1997: 549-576 |
| 2 | | Bill Stoddart:
An Introduction to the Event Calculus.
ZUM 1997: 10-34 |
| 1993 |
|---|
| 1 | | Bill Stoddart,
Peter J. Knaggs:
Type Interference in Stack Based Languages.
Formal Asp. Comput. 5(4): 289-298 (1993) |
