# Leo Marcus

According to our database

^{1}, Leo Marcus## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2011

Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction.

IJARAS, 2011

2009

Preface.

Electr. Notes Theor. Comput. Sci., 2009

1996

Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification.

Fundam. Inform., 1996

The Incorporation of Testing into Formal Verification: Direct, Modular, and Hierarchical Correctness Degrees.

Formal Methods in System Design, 1996

1994

The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract).

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1992

Expressibility of Output Equals Input.

Acta Inf., 1992

Using the State Delta Verification System (SDVS) for Hardware Verification.

Proceedings of the Theorem Provers in Circuit Design, 1992

1989

Safety via State Transition Language Plus Invariants.

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Existence, Uniqueness, and Construction of Rewrite Systems.

SIAM J. Comput., 1988

A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988

Two Automated Methods in Implementation Proofs.

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

1984

SDVS: A system for verifying microcode correctness.

Proceedings of the 17th annual workshop on Microprogramming, 1984

1980

Purging in an Equality Data Base.

Inf. Process. Lett., 1980

1978

Verification of the FTSC microprogram.

Proceedings of the 11th annual workshop on Microprogramming, 1978

1976

The <-Order on Submodels.

J. Symb. Log., 1976

1975

A type-open minimal model.

Arch. Math. Log., 1975