dblp.uni-trier.dewww.uni-trier.de

Leo Marcus Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
9EELeo 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
5EELeo 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)

Coauthor Index

1Nachum Dershowitz [3]
2Ivan Filippenko [8]
3Beth Levy [8]
4Telis Menas [6] [7] [8]
5Timothy Redmond [4] [5]
6Hanan Samet [2]
7Andrzej Tarlecki [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)