default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. Haifa Verification Conference 2008: Haifa, Israel
- Hana Chockler, Alan J. Hu:
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Lecture Notes in Computer Science 5394, Springer 2009, ISBN 978-3-642-01701-8
Invited Talks
- Daniel Jackson:
Hazards of Verification. 1 - Moshe Y. Vardi:
Automata-Theoretic Model Checking Revisited. 2 - Kenneth L. McMillan:
Proofs, Interpolants, and Relevance Heuristics. 3 - Yoav Hollander:
Is Verification Getting Too Complex? 4 - Brian Bailey:
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?. 5 - Carl Pixley:
Practical Considerations Concerning HL-to -RT Equivalence Checking. 6
Regular Papers
- Dana Fisman
, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi:
A Framework for Inherent Vacuity. 7-22 - Neha Rungta, Eric G. Mercer:
A Meta Heuristic for Effectively Detecting Concurrency Errors. 23-37 - Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. 38-52 - Dorit Baras, Laurent Fournier, Avi Ziv:
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. 53-67 - Malay K. Ganai:
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT(). 68-83 - Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur:
Evaluating Workloads Using Comparative Functional Coverage. 84-98 - Cyrille Artho:
Iterative Delta Debugging. 99-113 - Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman:
Linear-Time Reductions of Resolution Proofs. 114-128 - Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum:
Significant Diagnostic Counterexamples in Probabilistic Model Checking. 129-148 - Edmund M. Clarke, Alexandre Donzé, Axel Legay:
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. 149-163 - Cindy Eisner, Dana Fisman:
Structural Contradictions. 164-178 - Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen:
Synthesizing Test Models from Test Cases. 179-193
Tool Papers
- Malay K. Ganai, Weihong Li:
d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework. 194-199 - Thomas J. Ostrand, Elaine J. Weyuker:
Progress in Automated Software Defect Prediction. 200-204 - Moran Shochat, Orna Raz, Eitan Farchi:
SeeCode - A Code Review Plug-in for Eclipse. 205-209 - Ziv Nevo:
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. 210-214
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-26 07:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
