Leo Marcus

Publication Activity (10 Years)

Years Active: 1975-2011
Publications (10 Years): 0

Publications

Leo Marcus
Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction. Int. J. Adapt. Resilient Auton. Syst. 2 (4) (2011)
Leo Marcus
Preface. Electron. Notes Theor. Comput. Sci. 258 (2) (2009)
Leo Marcus
Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification. Fundam. Informaticae 27 (1) (1996)
Leo Marcus
The Incorporation of Testing into Formal Verification: Direct, Modular, and Hierarchical Correctness Degrees. Formal Methods Syst. Des. 9 (3) (1996)
Leo Marcus
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). ISSTA (1994)
Leo Marcus, Telis Menas
Expressibility of Output Equals Input. Acta Informatica 29 (6/7) (1992)
Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas
Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD (1992)
Leo Marcus, Telis Menas
Safety via State Transition Language Plus Invariants. CSFW (1989)
Leo Marcus, Timothy Redmond
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. CSFW (1988)
Leo Marcus, Timothy Redmond
Two Automated Methods in Implementation Proofs. CADE (1988)
Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki
Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. 17 (4) (1988)
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
SDVS: a system for verifying microcode correctness. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
SDVS: A system for verifying microcode correctness. MICRO (1984)
Hanan Samet, Leo Marcus
Purging in an Equality Data Base. Inf. Process. Lett. 10 (2) (1980)
Dono Van-Mierop, Leo Marcus, Steve Crocker
Verification of the FTSC microprogram. MICRO (1978)
Leo Marcus
The <-Order on Submodels. J. Symb. Log. 41 (1) (1976)
Leo Marcus
A type-open minimal model. Arch. Math. Log. 17 (1-2) (1975)