Evaluating workloads using comparative functional coverage Yoram AdlerDale BlueShmuel Ur HVC 2008 06 August 2010 Pages: 207 - 221
Automatic boosting of cross-product coverage using Bayesian networks Dorit BarasShai FineAvi Ziv HVC 2008 16 May 2010 Pages: 247 - 261
Reducing the size of resolution proofs in linear time Omer Bar-IlanOded FuhrmannOfer Strichman HVC 2008 25 August 2010 Pages: 263 - 272
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata K. BauerR. GentiliniK. Schneider HVC 2008 21 May 2010 Pages: 273 - 287