| 1996 |
|---|
| 11 | | Leo Marcus:
The Incorporation of Testing into Formal Verification: Direct, Modular, and Hierarchical Correctness Degrees.
Formal Methods in System Design 9(3): 235-261 (1996) |
| 10 | | Leo Marcus:
Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification.
Fundam. Inform. 27(1): 77-100 (1996) |
| 1994 |
|---|
| 9 | EE | Leo Marcus:
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract).
ISSTA 1994: 197 |
| 1992 |
|---|
| 8 | | Beth Levy,
Ivan Filippenko,
Leo Marcus,
Telis Menas:
Using the State Delta Verification System (SDVS) for Hardware Verification.
TPCD 1992: 337-360 |
| 7 | | Leo Marcus,
Telis Menas:
Expressibility of Output Equals Input.
Acta Inf. 29(6/7): 645-662 (1992) |
| 1989 |
|---|
| 6 | | Leo Marcus,
Telis Menas:
Safety via State Transition Language Plus Invariants.
CSFW 1989: 71-77 |
| 1988 |
|---|
| 5 | | Leo Marcus,
Timothy Redmond:
Two Automated Methods in Implementation Proofs.
CADE 1988: 622-642 |
| 4 | | Leo Marcus,
Timothy Redmond:
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.
CSFW 1988: 127-138 |
| 3 | | Nachum Dershowitz,
Leo Marcus,
Andrzej Tarlecki:
Existence, Uniqueness, and Construction of Rewrite Systems.
SIAM J. Comput. 17(4): 629-639 (1988) |
| 1980 |
|---|
| 2 | | Hanan Samet,
Leo Marcus:
Purging in an Equality Data Base.
Inf. Process. Lett. 10(2): 89-95 (1980) |
| 1976 |
|---|
| 1 | | Leo Marcus:
The <-Order on Submodels.
J. Symb. Log. 41(1): 215-221 (1976) |
