![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/hvc/hvc2015.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.