Search dblp for Publications

export results for "toc:db/conf/hvc/hvc2009.bht:"

 download as .bib file

@proceedings{DBLP:conf/hvc/2009,
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19237-1},
  doi          = {10.1007/978-3-642-19237-1},
  isbn         = {978-3-642-19236-4},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/AdlerUB09,
  author       = {Yoram Adler and
                  Shmuel Ur and
                  Dale Blue},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Evaluating Workloads Using Multi-comparative Functional Coverage},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {57--70},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_9},
  doi          = {10.1007/978-3-642-19237-1\_9},
  timestamp    = {Sun, 25 Jul 2021 11:51:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/AdlerUB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/Alperin-TsimermanK09,
  author       = {Yevgenia Alperin{-}Tsimerman and
                  Shmuel Katz},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Dataflow Analysis for Properties of Aspect Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {87--101},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_11},
  doi          = {10.1007/978-3-642-19237-1\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/Alperin-TsimermanK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/FismanK09,
  author       = {Dana Fisman and
                  Orna Kupferman},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Reasoning about Finite-State Switched Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_10},
  doi          = {10.1007/978-3-642-19237-1\_10},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/FismanK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/Foster09,
  author       = {Harry Foster},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Pain, Possibilities, and Prescriptions Industry Trends in Advanced
                  Functional Verification},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {2},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_2},
  doi          = {10.1007/978-3-642-19237-1\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/Foster09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/Harel09,
  author       = {David Harel},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Can We Verify an Elephant?},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {1},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_1},
  doi          = {10.1007/978-3-642-19237-1\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/Harel09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/Harman09,
  author       = {Mark Harman},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {The {SBSE} Approach to Automated Optimization of Verification and
                  Testing},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {3},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_3},
  doi          = {10.1007/978-3-642-19237-1\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/Harman09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KatzP09,
  author       = {Gal Katz and
                  Doron A. Peled},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Synthesizing Solutions to the Leader Election Problem Using Model
                  Checking and Genetic Programming},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {117--132},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_13},
  doi          = {10.1007/978-3-642-19237-1\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KatzP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KeirenW09,
  author       = {Jeroen Keiren and
                  Tim A. C. Willemse},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Bisimulation Minimisations for Boolean Equation Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_12},
  doi          = {10.1007/978-3-642-19237-1\_12},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KeirenW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KroeningW09,
  author       = {Daniel Kroening and
                  Georg Weissenbacher},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {An Interpolating Decision Procedure for Transitive Relations with
                  Uninterpreted Functions},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {150--168},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_15},
  doi          = {10.1007/978-3-642-19237-1\_15},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hvc/KroeningW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/LiO09,
  author       = {Xin Li and
                  Mizuhito Ogawa},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Stacking-Based Context-Sensitive Points-to Analysis for Java},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_14},
  doi          = {10.1007/978-3-642-19237-1\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/LiO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/MorvanP09,
  author       = {Christophe Morvan and
                  Sophie Pinchinat},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Diagnosability of Pushdown Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {21--33},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_6},
  doi          = {10.1007/978-3-642-19237-1\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/MorvanP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/MossG09,
  author       = {Anna Moss and
                  Boris Gutkovich},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Functional Test Generation with Distribution Constraints},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {34--51},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_7},
  doi          = {10.1007/978-3-642-19237-1\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/MossG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/RichAN09,
  author       = {Aaron Rich and
                  Giora Alexandron and
                  Reuven Naveh},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {An Explanation-Based Constraint Debugger},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {52--56},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_8},
  doi          = {10.1007/978-3-642-19237-1\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/RichAN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/SchlichNBB09,
  author       = {Bastian Schlich and
                  Thomas Noll and
                  J{\"{o}}rg Brauer and
                  Lucas Brutschy},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {Reduction of Interrupt Handler Executions for Model Checking Embedded
                  Software},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {5--20},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_5},
  doi          = {10.1007/978-3-642-19237-1\_5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/SchlichNBB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/Sen09,
  author       = {Koushik Sen},
  editor       = {Kedar S. Namjoshi and
                  Andreas Zeller and
                  Avi Ziv},
  title        = {{DART:} Directed Automated Random Testing},
  booktitle    = {Hardware and Software: Verification and Testing - 5th International
                  Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
                  19-22, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6405},
  pages        = {4},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19237-1\_4},
  doi          = {10.1007/978-3-642-19237-1\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/Sen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.