dblp.uni-trier.dewww.uni-trier.de

Stephen J. Garland Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2004
23EEToh 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
22EEToh 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
21EEAndrej 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
17EEJø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
14EEKatherine 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
10EEStephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1989
9EEJørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364
8EEStephen J. Garland, John V. Guttag: An Overview of LP, The Larch Power. RTA 1989: 137-151
1988
7EEStephen 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
5EEFrank 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
1EEStephen J. Garland, Anthony W. Knapp: Algorithm 99: Evaluation of Jacobi symbol. Commun. ACM 5(6): 345-346 (1962)

Coauthor Index

1Andrej Bogdanov [21]
2Michael D. Ernst [22] [23]
3John V. Guttag [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17]
4James J. Horning (Jim Horning) [10] [12] [13] [15] [16]
5Dilsun Kirli Kaynar [22] [23]
6Anthony W. Knapp [1]
7Li-Wei H. Lehman [20]
8Victor Luchangco [18] [19]
9David C. Luckham [3] [4]
10Nancy A. Lynch [17] [18] [19] [21] [22] [23]
11Tsvetomir P. Petrov [19]
12Anna Pogosyants [17] [19]
13Robert Poland [5]
14David C. Rine [5]
15James B. Saxe [12] [13] [15]
16Jørgen F. Søgaard-Andersen [17]
17Ekrem Söylemez [18]
18Jørgen Staunstrup [9] [11]
19David L. Tennenhouse [20]
20Toh Ne Win [22] [23]
21Katherine A. Yelick [14]
22Frank H. Young [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)