David Cyrluk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1988–1997
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CAV | An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. | David Cyrluk, M. Oliver Mller, Harald Rue |
| 1997 | ICFEM | Systematic Formal Verification of Interpreters. | David Cyrluk, John M. Rushby, Mandayam K. Srivas |
| 1996 | CADE | On Shostak's Decision Procedure for Combinations of Theories. | David Cyrluk, Patrick Lincoln, Natarajan Shankar |
| 1996 | FMCAD | Inverting the Abstraction Mapping: A Methodology for Hardware Verification. | David Cyrluk |
| 1995 | ICCD | Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. | David Cyrluk, Mandayam K. Srivas |
| 1994 | CAV | Ground Temporal Logic: A Logic for Hardware Verification. | David Cyrluk, Paliath Narendran |
| 1988 | CADE | GEOMETER: A Theorem Prover for Algebraic Geometry. | David Cyrluk, Richard M. Harris, Deepak Kapur |