Stephen J. Garland

According to our database1, Stephen J. Garland
  • authored at least 24 papers between 1962 and 2004.
  • has a "Dijkstra number"2 of three.

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


  Loading...