Kevin Harer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1999–2013
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FMCAD | Abstraction-Based Livelock/Deadlock Checking for Hardware Verification. | In-Ho Moon, Kevin Harer |
| 2012 | ASPDAC | Formal methods for coverage analysis of architectural power states in power-managed designs. | Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer |
| 2005 | ASPDAC | Supporting sequential assumptions in hybrid verification. | Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma |
| 2000 | ICCAD | Smart Simulation Using Collaborative Formal and Simulation Engines. | Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long |
| 1999 | ICCD | A Robust Solution to the Timing Convergence Problem in High-Performance Design. | Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking |