Leo Marcus

According to our database, Leo Marcus authored at least 17 papers between 1974 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

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

Leo Marcus

Int. J. Adapt. Resilient Auton. Syst., 2011

2009

Preface.

Leo Marcus

Proceedings of the Workshop on Logical Aspects of Fault Tolerance, 2009

1996

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

Leo Marcus

Fundam. Informaticae, 1996

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

Leo Marcus

Formal Methods Syst. Des., 1996

1994

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

Leo Marcus

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

1992

Expressibility of Output Equals Input.

Leo Marcus, Telis Menas

Acta Informatica, 1992

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

Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas

Proceedings of the Theorem Provers in Circuit Design, 1992

1989

Safety via State Transition Language Plus Invariants.

Leo Marcus, Telis Menas

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Existence, Uniqueness, and Construction of Rewrite Systems.

Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki

SIAM J. Comput., 1988

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

Leo Marcus, Timothy Redmond

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988

Two Automated Methods in Implementation Proofs.

Leo Marcus, Timothy Redmond

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

1985

SDVS: a system for verifying microcode correctness.

Leo Marcus, Stephen D. Crocker, Jaisook Landauer

ACM SIGSOFT Softw. Eng. Notes, 1985

1980

Purging in an Equality Data Base.

Hanan Samet, Leo Marcus

Inf. Process. Lett., 1980

1978

Verification of the FTSC microprogram.

Dono Van-Mierop, Leo Marcus, Steve Crocker

Proceedings of the 11th annual workshop on Microprogramming, 1978

1976

The <-Order on Submodels.

Leo Marcus

J. Symb. Log., 1976

1975

A type-open minimal model.

Leo Marcus

Arch. Math. Log., 1975

1974

על מודלים מינימליים (On minimal models.).

Leo Marcus

PhD thesis, 1974