2004 |
23 | EE | Toh Ne Win,
Michael D. Ernst,
Stephen J. Garland,
Dilsun Kirli Kaynar,
Nancy A. Lynch:
Using simulated execution in verifying distributed algorithms.
STTT 6(1): 67-76 (2004) |
2003 |
22 | EE | Toh Ne Win,
Michael D. Ernst,
Stephen J. Garland,
Dilsun Kirli Kaynar,
Nancy A. Lynch:
Using Simulated Execution in Verifying Distributed Algorithms.
VMCAI 2003: 283-297 |
2002 |
21 | EE | Andrej Bogdanov,
Stephen J. Garland,
Nancy A. Lynch:
Mechanical Translation of I/O Automaton Specifications into First-Order Logic.
FORTE 2002: 364-368 |
1998 |
20 | | Li-Wei H. Lehman,
Stephen J. Garland,
David L. Tennenhouse:
Active Reliable Multicast.
INFOCOM 1998: 581-589 |
1996 |
19 | | Tsvetomir P. Petrov,
Anna Pogosyants,
Stephen J. Garland,
Victor Luchangco,
Nancy A. Lynch:
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.
FORTE 1996: 29-44 |
1994 |
18 | | Victor Luchangco,
Ekrem Söylemez,
Stephen J. Garland,
Nancy A. Lynch:
Verifying timing properties of concurrent algorithms.
FORTE 1994: 259-273 |
1993 |
17 | | Jørgen F. Søgaard-Andersen,
Stephen J. Garland,
John V. Guttag,
Nancy A. Lynch,
Anna Pogosyants:
Computer-Assisted Simulation Proofs.
CAV 1993: 305-319 |
16 | | Stephen J. Garland,
John V. Guttag,
James J. Horning:
An Overview of Larch.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348 |
15 | | James B. Saxe,
James J. Horning,
John V. Guttag,
Stephen J. Garland:
Using Transformations and Verification in Circuit Design.
Formal Methods in System Design 3(3): 181-209 (1993) |
1992 |
14 | | Katherine A. Yelick,
Stephen J. Garland:
A Parallel Completion Procedure for Term Rewriting Systems.
CADE 1992: 109-123 |
13 | | James B. Saxe,
Stephen J. Garland,
John V. Guttag,
James J. Horning:
Using Transformations and Verification in Ciruit Design.
Designing Correct Circuits 1992: 1-25 |
12 | | James B. Saxe,
John V. Guttag,
James J. Horning,
Stephen J. Garland:
Using Transformations and Verification in Circuit Design.
Larch 1992: 201-226 |
11 | | Jørgen Staunstrup,
Stephen J. Garland,
John V. Guttag:
Mechanized Verification of Circuit Descriptions Using the Larch Prover.
TPCD 1992: 277-299 |
1990 |
10 | EE | Stephen J. Garland,
John V. Guttag,
James J. Horning:
Debugging Larch Shared Language Specifications.
IEEE Trans. Software Eng. 16(9): 1044-1057 (1990) |
1989 |
9 | | Jørgen Staunstrup,
Stephen J. Garland,
John V. Guttag:
Localized Verification of Circuit Descriptions.
Automatic Verification Methods for Finite State Systems 1989: 349-364 |
8 | | Stephen J. Garland,
John V. Guttag:
An Overview of LP, The Larch Power.
RTA 1989: 137-151 |
1988 |
7 | | Stephen J. Garland,
John V. Guttag:
LP: The Larch Prover.
CADE 1988: 748-749 |
6 | | Stephen J. Garland,
John V. Guttag:
Inductive Methods for Reasoning about Abstract Data Types.
POPL 1988: 219-228 |
1986 |
5 | EE | Frank H. Young,
Stephen J. Garland,
Robert Poland,
David C. Rine:
Advanced placement in Computer Science (panel session): college level computer science in the high schools.
ACM Conference on Computer Science 1986: 393 |
1973 |
4 | | Stephen J. Garland,
David C. Luckham:
Program Schemes, Recursion Schemes, and Formal Languages.
J. Comput. Syst. Sci. 7(2): 119-160 (1973) |
1972 |
3 | | Stephen J. Garland,
David C. Luckham:
On the Equivalence of Schemes
STOC 1972: 65-72 |
2 | | Stephen J. Garland:
Generalized Interpolation Theorems.
J. Symb. Log. 37(2): 343-351 (1972) |
1962 |
1 | EE | Stephen J. Garland,
Anthony W. Knapp:
Algorithm 99: Evaluation of Jacobi symbol.
Commun. ACM 5(6): 345-346 (1962) |