Leo Marcus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1978–1994
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ISSTA | The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). | Leo Marcus |
| 1988 | CADE | Two Automated Methods in Implementation Proofs. | Leo Marcus, Timothy Redmond |
| 1984 | MICRO | SDVS: A system for verifying microcode correctness. | Leo Marcus, Stephen D. Crocker, Jaisook Landauer |
| 1978 | MICRO | Verification of the FTSC microprogram. | Dono Van-Mierop, Leo Marcus, Steve Crocker |