default search action

combined dblp search
author search
venue search
publication search

ask others

5. Haifa Verification Conference 2009: Haifa, Israel

> Home > Conferences and Workshops > Haifa Verification Conference

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/hvc/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/2009
Kedar S. Namjoshi, Andreas Zeller, Avi Ziv:
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6405, Springer 2011, ISBN 978-3-642-19236-4

Keynote and Invited Talks

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Harel09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Harel09
David Harel:
Can We Verify an Elephant? 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Foster09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Foster09
Harry Foster:
Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification. 2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Harman09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Harman09
Mark Harman:
The SBSE Approach to Automated Optimization of Verification and Testing. 3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Sen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Sen09
Koushik Sen:
DART: Directed Automated Random Testing. 4

Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/hvc/SchlichNBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/SchlichNBB09
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy:
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. 5-20
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/MorvanP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/MorvanP09
Christophe Morvan, Sophie Pinchinat:
Diagnosability of Pushdown Systems. 21-33
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/MossG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/MossG09
Anna Moss, Boris Gutkovich:
Functional Test Generation with Distribution Constraints. 34-51
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/RichAN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/RichAN09
Aaron Rich, Giora Alexandron, Reuven Naveh:
An Explanation-Based Constraint Debugger. 52-56
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/AdlerUB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/AdlerUB09
Yoram Adler, Shmuel Ur, Dale Blue:
Evaluating Workloads Using Multi-comparative Functional Coverage. 57-70
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/FismanK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/FismanK09
Dana Fisman, Orna Kupferman:
Reasoning about Finite-State Switched Systems. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/Alperin-TsimermanK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Alperin-TsimermanK09
Yevgenia Alperin-Tsimerman, Shmuel Katz:
Dataflow Analysis for Properties of Aspect Systems. 87-101
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KeirenW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KeirenW09
Jeroen Keiren, Tim A. C. Willemse:
Bisimulation Minimisations for Boolean Equation Systems. 102-116
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KatzP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KatzP09
Gal Katz, Doron A. Peled:
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. 117-132
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/LiO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/LiO09
Xin Li, Mizuhito Ogawa:
Stacking-Based Context-Sensitive Points-to Analysis for Java. 133-149
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KroeningW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KroeningW09
Daniel Kroening, Georg Weissenbacher:
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 150-168

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.