BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
5 × USA
Collaborated with:
O.Guzey L.Wang J.R.Levitt F.Bacchini G.Moretti J.Bergeron M.Nakamura S.Mehta L.Ducousso D.L.Dill N.James S.Rawat G.Berry L.Fix R.K.Ranjan G.Stålmarck C.Widdoes A.Nahir A.Ziv R.Galivanche A.J.Hu M.Abramovici A.Camilleri B.Bentley V.Bertacco S.Kapoor
Talks about:
verif (4) silicon (2) base (2) unsupervis (1) methodolog (1) industri (1) function (1) support (1) realiti (1) highway (1)

Person: Harry Foster

DBLP DBLP: Foster:Harry

Contributed to:

DAC 20102010
CAV 20082008
DAC 20082008
DAC 20052005
DAC 20022002

Wrote 5 papers:

DAC-2010-NahirZGHACBFBK #validation #verification
Bridging pre-silicon verification and post-silicon validation (AN, AZ, RG, AJH, MA, AC, BB, HF, VB, SK), pp. 94–95.
CAV-2008-Foster #industrial #verification
Assertion-Based Verification: Industry Myths to Realities (HF), pp. 5–10.
DAC-2008-GuzeyWLF #analysis #functional #testing
Functional test selection based on unsupervised support vector analysis (OG, LCW, JRL, HF), pp. 262–267.
DAC-2005-BacchiniMFBNMD #question #verification
Is methodology the highway out of verification hell? (FB, GM, HF, JB, MN, SM, LD), pp. 521–522.
DAC-2002-DillJRBFFRSW #verification
Formal verification methods: getting around the brick wall (DLD, NJ, SR, GB, LF, HF, RKR, GS, CW), pp. 576–577.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.