Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stephen J. Garland
2000 – 2009
- 2004
[j6]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
- [c17]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
- [c16]Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch: Mechanical Translation of I/O Automaton Specifications into First-Order Logic. FORTE 2002: 364-368
1990 – 1999
- 1998
- [c15]Li-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse: Active Reliable Multicast. INFOCOM 1998: 581-589
- 1996
- [c14]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
- [c13]Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch: Verifying timing properties of concurrent algorithms. FORTE 1994: 259-273
- 1993
- [j5]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)
- [c12]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
- [c11]Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348
- 1992
- [c10]Katherine A. Yelick, Stephen J. Garland: A Parallel Completion Procedure for Term Rewriting Systems. CADE 1992: 109-123
- [c9]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
- [c8]James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226
- [c7]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299
- 1990
- [j4]Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1980 – 1989
- 1989
- [c6]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364
- [c5]
- 1988
- [c4]
- [c3]Stephen J. Garland, John V. Guttag: Inductive Methods for Reasoning about Abstract Data Types. POPL 1988: 219-228
- 1986
- [c2]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
1970 – 1979
- 1973
- [j3]Stephen J. Garland, David C. Luckham: Program Schemes, Recursion Schemes, and Formal Languages. J. Comput. Syst. Sci. 7(2): 119-160 (1973)
- 1972
- [j2]
- [c1]
1960 – 1969
- 1962
- [j1]Stephen J. Garland, Anthony W. Knapp: Algorithm 99: Evaluation of Jacobi symbol. Commun. ACM 5(6): 345-346 (1962)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:42 CET by the dblp team