Leo Marcus

According to our database1, Leo Marcus
  • authored at least 16 papers between 1975 and 2011.
  • has a "Dijkstra number"2 of four.

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


  Loading...