Harry Foster
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DATE | Specification Mining Facing Generative AI. | Grschwin Fey, Harry Foster, Tara Ghasempuri, Badri Gopalan, Jrg Mller, Manish Pandey |
| 2021 | DAC | General Chair's Message. | Harry Foster |
| 2013 | ICCAD | Why the design productivity gap never happened. | Harry Foster |
| 2013 | MEMOCODE | Keynote talk III: Industry pulse: Trends in function verification. | Harry Foster |
| 2010 | DAC | Bridging pre-silicon verification and post-silicon validation. | Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor |
| 2008 | CAV | Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). | Harry Foster |
| 2008 | DAC | Functional test selection based on unsupervised support vector analysis. | Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster |
| 2006 | DAC | Building a verification test plan: trading brute force for finesse. | Janick Bergeron, Harry Foster, Andrew Piziali, Raj Shekher Mitra, Catherine Ahlschlager, Doron Stein |
| 2005 | DAC | Is methodology the highway out of verification hell? | Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso |
| 2005 | ICCD | Are Today's Verification Tools Able to Handle Current Design Challenges? | Rich Faris, Ken Larsen, Harry Foster, Stuart Swan |
| 2002 | DAC | Formal verification methods: getting around the brick wall. | David L. Dill, Nate James, Shishpal Rawat, Grard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stlmarck, Curt Widdoes |