# Stephen J. Garland

According to our database

^{1}, Stephen J. Garland## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2004

Using simulated execution in verifying distributed algorithms.

STTT, 2004

2003

Using Simulated Execution in Verifying Distributed Algorithms.

Proceedings of the Verification, 2003

2002

Mechanical Translation of I/O Automaton Specifications into First-Order Logic.

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

1998

Active Reliable Multicast.

Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1996

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.

Proceedings of the Formal Description Techniques IX: Theory, 1996

1994

Verifying timing properties of concurrent algorithms.

Proceedings of the Formal Description Techniques VII, 1994

1993

Larch: Languages and Tools for Formal Specification

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Using Transformations and Verification in Circuit Design.

Formal Methods in System Design, 1993

An Overview of Larch.

Proceedings of the Functional Programming, 1993

Computer-Assisted Simulation Proofs.

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Mechanized Verification of Circuit Descriptions Using the Larch Prover.

Proceedings of the Theorem Provers in Circuit Design, 1992

Using Transformations and Verification in Circuit Design.

Proceedings of the First International Workshop on Larch, 1992

Using Transformations and Verification in Ciruit Design.

Proceedings of the Designing Correct Circuits, 1992

A Parallel Completion Procedure for Term Rewriting Systems.

Proceedings of the Automated Deduction, 1992

1990

Debugging Larch Shared Language Specifications.

IEEE Trans. Software Eng., 1990

1989

An Overview of LP, The Larch Power.

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Localized Verification of Circuit Descriptions.

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Inductive Methods for Reasoning about Abstract Data Types.

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

LP: The Larch Prover.

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

Advanced placement in Computer Science (panel session): college level computer science in the high schools.

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1973

Program Schemes, Recursion Schemes, and Formal Languages.

J. Comput. Syst. Sci., 1973

1972

Generalized Interpolation Theorems.

J. Symb. Log., 1972

On the Equivalence of Schemes

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

1962

Algorithm 99: Evaluation of Jacobi symbol.

Commun. ACM, 1962