default search action

combined dblp search
author search
venue search
publication search

ask others

2. Haifa Verification Conference 2006: 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/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/2006
Eyal Bin, Avi Ziv, Shmuel Ur:
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4383, Springer 2007, ISBN 978-3-540-70888-9

Hardware Verification Track

- view
  authority control:
- export record
  dblp key:
  - conf/hvc/TuerkSG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/TuerkSG06
Thomas Tuerk, Klaus Schneider, Mike Gordon:
Model Checking PSL Using HOL and SMV. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/NahirSZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/NahirSZ06
Amir Nahir, Yossi Shiloach, Avi Ziv:
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. 16-33
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/GuzeyWWFMA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/GuzeyWWFMA06
Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng, Hillel Miller, Magdy S. Abadir:
Extracting a Simplified View of Design Functionality Based on Vector Simulation. 34-49
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/StaberFBD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/StaberFBD06
Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
Automatic Fault Localization for Property Checking. 50-64
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/SchuleS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/SchuleS06
Tobias Schüle, Klaus Schneider:
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. 65-80

Tools Track

- view
  authority control:
- export record
  dblp key:
  - conf/hvc/YaromP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/YaromP06
Itai Yarom, Viji Patil:
Smart-Lint: Improving the Verification Flow. 81-91
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/SteffenMNJK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/SteffenMNJK06
Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak:
Model-Driven Development with the jABC. 92-108
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ElamkulamGRKGKDM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ElamkulamGRKGKDM06
Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia:
Detecting Design Flaws in UML State Charts for Embedded Software. 109-121
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/Ur06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Ur06
Shmuel Ur:
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. 122-123
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/UrYW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/UrYW06
Shmuel Ur, Elad Yom-Tov, Paul Wernick:
An Open Source Simulation Model of Software Development and Testing. 124-137

Software Testing Track

- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BarnerEGKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BarnerEGKR06
Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz:
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/LevinY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/LevinY06
Stella Levin, Amiram Yehudai:
Evolutionary Testing: A Case Study. 155-165
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/SenA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/SenA06
Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. 166-182
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/EytaniL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/EytaniL06
Yaniv Eytani, Timo Latvala:
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. 183-197
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/Jackson06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Jackson06
Michael Jackson:
Testing the Machine in the World. 198-203
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HartmanKO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HartmanKO06
Alan Hartman, Mika Katara, Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey. 204-218
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KataraK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KataraK06
Mika Katara, Antti Kervinen:
Making Model-Based Testing More Agile: A Use Case Driven Approach. 219-234

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.