Richard Raimi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1996–1999
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | CAV | Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. | Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu |
| 1999 | DAC | Detecting False Timing Paths: Experiments on PowerPC Microprocessors. | Richard Raimi, Jacob A. Abraham |
| 1997 | DAC | Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. | Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir |
| 1997 | ITC | Analyzing a PowerPC | Richard Raimi, James Lear |
| 1996 | DAC | Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. | Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant |