Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Haifa Verification Conference 2008

IBM Haifa Labs

List of Accepted Papers

October 27-30, 2008
Organized by IBM Haifa Research Lab

Regular Papers

  • Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
    Edmund Clarke, Alexandre Donzé, and Axel Legay

  • Evaluating Workloads using Comparative Functional Coverage.
    Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, and Shmuel Ur

  • Iterative Delta Debugging.
    Cyrille Valentin Artho

  • A Uniform Approach to Three-Valued Semantics for ?-Calculus on Abstractions of Hybrid Automata.
    Kerstin Bauer, Raffaella Gentilini, and Klaus Schneider

  • Linear-time Reductions of Resolution Proofs.
    Omer barilan, Oded Fuhrmann, shlomo hoory, Ohad Shacham, and Ofer Strichman

  • Automatic Boosting of Cross-Product Coverage Using Bayesian Networks.
    Dorit Baras, Avi Ziv, and Laurent Fournier

  • Synthesizing Test Models from Test Cases.
    Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, and Heikki Virtanen

  • A meta heuristic for effectively detecting concurrency errors.
    Neha Rungta and Eric Mercer

  • A Framework for Inherent Vacuity.
    Orna Kupferman, Dana Fisman, Moshe Vardi, and Sarai Sheinvald.

  • Structural Contradictions.
    Cindy Eisner and Dana Fisman

  • Significant Diagnostic Counterexamples in Probabilistic Model Checking.
    Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum, and Flavio Garcia

  • Efficient Decision Procedure for Bounded Integer Non-linear Operations using SMT(LIA).
    Malay Ganai

  • Simulation-based Verification of System-on-Chip Designs through an Automated Specification-based Testcase Generation.
    Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, and Markus Pistauer

Tool Papers

  • SeeCode � A Code Review Plug-in for Eclipse1.
    Moran Shochat, Orna Raz, and Eitan Farchi

  • D-TSR: Parallelizing SMT-based BMC using Tunnels over Distributed Framework.
    Malay Ganai and Weihong Li

  • User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.
    Ziv Nevo

  • Progress in Automated Software Defect Prediction.
    Elaine Weyuker and Thomas Ostrand


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research