Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hvc/Araiza-IllanWPE15,
  author       = {Dejanira Araiza{-}Illan and
                  David G. Western and
                  Anthony G. Pipe and
                  Kerstin Eder},
  editor       = {Nir Piterman},
  title        = {Coverage-Driven Verification - An Approach to Verify Code for Robots
                  that Directly Interact with Humans},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_5},
  doi          = {10.1007/978-3-319-26287-1\_5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/Araiza-IllanWPE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/ArarBBGGIKRSSSZ15,
  author       = {Moab Arar and
                  Michael L. Behm and
                  Odellia Boni and
                  Raviv Gal and
                  Alex Goldin and
                  Maxim Ilyaev and
                  Einat Kermany and
                  John R. Reysa and
                  Bilal Saleh and
                  Klaus{-}Dieter Schubert and
                  Gil Shurek and
                  Avi Ziv},
  editor       = {Nir Piterman},
  title        = {The Verification Cockpit - Creating the Dream Playground for Data
                  Analytics over the Verification Process},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_4},
  doi          = {10.1007/978-3-319-26287-1\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/ArarBBGGIKRSSSZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/BeckerMNEVJI15,
  author       = {Andrew Becker and
                  Djordje Maksimovic and
                  David Novo and
                  Mohsen Ewaida and
                  Andreas G. Veneris and
                  Barbara Jobstmann and
                  Paolo Ienne},
  editor       = {Nir Piterman},
  title        = {FudgeFactor: Syntax-Guided Synthesis for Accurate {RTL} Error Localization
                  and Correction},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {259--275},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_16},
  doi          = {10.1007/978-3-319-26287-1\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/BeckerMNEVJI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/BogomolovSBBKG15,
  author       = {Sergiy Bogomolov and
                  Christian Schilling and
                  Ezio Bartocci and
                  Gr{\'{e}}gory Batt and
                  Hui Kong and
                  Radu Grosu},
  editor       = {Nir Piterman},
  title        = {Abstraction-Based Parameter Synthesis for Multiaffine Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_2},
  doi          = {10.1007/978-3-319-26287-1\_2},
  timestamp    = {Mon, 09 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/BogomolovSBBKG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/DanielP15,
  author       = {Jakub Daniel and
                  Pavel Par{\'{\i}}zek},
  editor       = {Nir Piterman},
  title        = {{PANDA:} Simultaneous Predicate Abstraction and Concrete Execution},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {87--103},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_6},
  doi          = {10.1007/978-3-319-26287-1\_6},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/DanielP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/HerreraW15,
  author       = {Christian Herrera and
                  Bernd Westphal},
  editor       = {Nir Piterman},
  title        = {Quasi-equal Clock Reduction: Eliminating Assumptions on Networks},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {173--189},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_11},
  doi          = {10.1007/978-3-319-26287-1\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/HerreraW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KimLLMN15,
  author       = {Jin Hyun Kim and
                  Axel Legay and
                  Kim Guldstrand Larsen and
                  Marius Mikucionis and
                  Brian Nielsen},
  editor       = {Nir Piterman},
  title        = {Resource-Parameterized Timing Analysis of Real-Time Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {190--205},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_12},
  doi          = {10.1007/978-3-319-26287-1\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KimLLMN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KissKPP15,
  author       = {Bal{\'{a}}zs Kiss and
                  Nikolai Kosmatov and
                  Dillon Pariente and
                  Armand Puccetti},
  editor       = {Nir Piterman},
  title        = {Combining Static and Dynamic Analyses for Vulnerability Detection:
                  Illustration on Heartbleed},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {39--50},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_3},
  doi          = {10.1007/978-3-319-26287-1\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KissKPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/LanikM15,
  author       = {Jan L{\'{a}}n{\'{\i}}k and
                  Oded Maler},
  editor       = {Nir Piterman},
  title        = {On Switching Aware Synthesis for Combinational Circuits},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {276--291},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_17},
  doi          = {10.1007/978-3-319-26287-1\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/LanikM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/LeuckerMN15,
  author       = {Martin Leucker and
                  Grigory Markin and
                  Martin R. Neuh{\"{a}}u{\ss}er},
  editor       = {Nir Piterman},
  title        = {A New Refinement Strategy for CEGAR-Based Industrial Model Checking},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {155--170},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_10},
  doi          = {10.1007/978-3-319-26287-1\_10},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/LeuckerMN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/LiZPV15,
  author       = {Jianwen Li and
                  Shufang Zhu and
                  Geguang Pu and
                  Moshe Y. Vardi},
  editor       = {Nir Piterman},
  title        = {SAT-Based Explicit {LTL} Reasoning},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_13},
  doi          = {10.1007/978-3-319-26287-1\_13},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/LiZPV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/LiangGZZC15,
  author       = {Jia Hui Liang and
                  Vijay Ganesh and
                  Ed Zulkoski and
                  Atulan Zaman and
                  Krzysztof Czarnecki},
  editor       = {Nir Piterman},
  title        = {Understanding {VSIDS} Branching Heuristics in Conflict-Driven Clause-Learning
                  {SAT} Solvers},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {225--241},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_14},
  doi          = {10.1007/978-3-319-26287-1\_14},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/LiangGZZC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/NowackTF15,
  author       = {Martin Nowack and
                  Katja Tietze and
                  Christof Fetzer},
  editor       = {Nir Piterman},
  title        = {Parallel Symbolic Execution: Merging In-Flight Requests},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {120--135},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_8},
  doi          = {10.1007/978-3-319-26287-1\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/NowackTF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/RayGDBBG15,
  author       = {Rajarshi Ray and
                  Amit Gurung and
                  Binayak Das and
                  Ezio Bartocci and
                  Sergiy Bogomolov and
                  Radu Grosu},
  editor       = {Nir Piterman},
  title        = {XSpeed: Accelerating Reachability Analysis on Multi-core Processors},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_1},
  doi          = {10.1007/978-3-319-26287-1\_1},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/RayGDBBG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/WehrheimT15,
  author       = {Heike Wehrheim and
                  Oleg Travkin},
  editor       = {Nir Piterman},
  title        = {{TSO} to {SC} via Symbolic Execution},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {104--119},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_7},
  doi          = {10.1007/978-3-319-26287-1\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/WehrheimT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/YeungM15,
  author       = {Ping Yeung and
                  Eugene Mandel},
  editor       = {Nir Piterman},
  title        = {Multi-Domain Verification of Power, Clock and Reset Domains},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {245--255},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_15},
  doi          = {10.1007/978-3-319-26287-1\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/YeungM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/ZuckP15,
  author       = {Lenore D. Zuck and
                  Sanjiva Prasad},
  editor       = {Nir Piterman},
  title        = {Limited Mobility, Eventual Stability},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {139--154},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_9},
  doi          = {10.1007/978-3-319-26287-1\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/ZuckP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hvc/2015,
  editor       = {Nir Piterman},
  title        = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1},
  doi          = {10.1007/978-3-319-26287-1},
  isbn         = {978-3-319-26286-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/2015.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.