Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hvc/hvc2011.bht:"
download as .bib file
@proceedings{DBLP:conf/hvc/2011,
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34188-5},
doi = {10.1007/978-3-642-34188-5},
isbn = {978-3-642-34187-8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AdirLS11,
author = {Allon Adir and
Ronen Levy and
Tamer Salman},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Dynamic Test Data Generation for Data Intensive Applications},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {219--233},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_19},
doi = {10.1007/978-3-642-34188-5\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/AdirLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AharoniGGK11,
author = {Merav Aharoni and
Emanuel Gofman and
Elena Guralnik and
Anatoly Koyfman},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Injecting Floating-Point Testing Knowledge into Test Generators},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {234--241},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_20},
doi = {10.1007/978-3-642-34188-5\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/AharoniGGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Biere11,
author = {Armin Biere},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Preprocessing and Inprocessing Techniques in {SAT}},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_1},
doi = {10.1007/978-3-642-34188-5\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Biere11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BirnbaumFMZ11,
author = {Ariel J. Birnbaum and
Laurent Fournier and
Steven Mittermaier and
Avi Ziv},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Reverse Coverage Analysis},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {190--202},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_17},
doi = {10.1007/978-3-642-34188-5\_17},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BirnbaumFMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BuYL11,
author = {Lei Bu and
Yang Yang and
Xuandong Li},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {IIS-Guided {DFS} for Efficient Bounded Reachability Analysis of Linear
Hybrid Automata},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {35--49},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_7},
doi = {10.1007/978-3-642-34188-5\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BuYL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChenWY11,
author = {Qichang Chen and
Liqiang Wang and
Zijiang Yang},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {{SAM:} Self-adaptive Dynamic Analysis for Multithreaded Programs},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {115--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_12},
doi = {10.1007/978-3-642-34188-5\_12},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ChenWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/CollingbourneCK11,
author = {Peter Collingbourne and
Cristian Cadar and
Paul H. J. Kelly},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Symbolic Testing of OpenCL Code},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {203--218},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_18},
doi = {10.1007/978-3-642-34188-5\_18},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/CollingbourneCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DolevGP11,
author = {Shlomi Dolev and
Jonathan Goldfeld and
Rami Puzis},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {On-Line Detection and Prediction of Temporal Patterns},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {254--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_23},
doi = {10.1007/978-3-642-34188-5\_23},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/DolevGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/FedyukovichSS11,
author = {Grigory Fedyukovich and
Ondrej Sery and
Natasha Sharygina},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Function Summaries in Software Upgrade Checking},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {257--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_24},
doi = {10.1007/978-3-642-34188-5\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/FedyukovichSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HeuleKWB11,
author = {Marijn Heule and
Oliver Kullmann and
Siert Wieringa and
Armin Biere},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {50--65},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_8},
doi = {10.1007/978-3-642-34188-5\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HeuleKWB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HuthKP11,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Concurrent Small Progress Measures},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {130--144},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_13},
doi = {10.1007/978-3-642-34188-5\_13},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HuthKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HuthKP11a,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {The Rabin Index of Parity Games - (Extended Abstract)},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {259--260},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_25},
doi = {10.1007/978-3-642-34188-5\_25},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HuthKP11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/JohnsonRC11,
author = {Kenneth Johnson and
Simon Reed and
Radu Calinescu},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Specification and Quantitative Analysis of Probabilistic Cloud Deployment
Patterns},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {145--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_14},
doi = {10.1007/978-3-642-34188-5\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/JohnsonRC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KhasidashviliN11,
author = {Zurab Khasidashvili and
Alexander Nadel},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Implicative Simultaneous Satisfiability and Applications},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {66--79},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_9},
doi = {10.1007/978-3-642-34188-5\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KhasidashviliN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Kranen11,
author = {Kathryn Kranen},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Pioneering the Future of Verification: {A} Spiral of Technological
and Business Innovation},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_2},
doi = {10.1007/978-3-642-34188-5\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Kranen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KrishnaMSJ11,
author = {B. A. Krishna and
Jonathan Michelson and
Vigyan Singhal and
Alok Jain},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Liveness vs Safety - {A} Practical Viewpoint},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {80--94},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_10},
doi = {10.1007/978-3-642-34188-5\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KrishnaMSJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KupfermanSS11,
author = {Orna Kupferman and
Dorsa Sadigh and
Sanjit A. Seshia},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Synthesis with Clairvoyance},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {5--19},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_5},
doi = {10.1007/978-3-642-34188-5\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KupfermanSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LiZHS11,
author = {Yongjian Li and
Naiju Zeng and
William N. N. Hung and
Xiaoyu Song},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Combining Theorem Proving and Symbolic Trajectory Evaluation in THM{\&}STE},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {242--246},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_21},
doi = {10.1007/978-3-642-34188-5\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LiZHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Liblit11,
author = {Ben Liblit},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Automated Detection and Repair of Concurrency Bugs},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {3},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_3},
doi = {10.1007/978-3-642-34188-5\_3},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Liblit11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/OstrandW11,
author = {Thomas J. Ostrand and
Elaine J. Weyuker},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Can File Level Characteristics Help Identify System Level Fault-Proneness?},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {176--189},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_16},
doi = {10.1007/978-3-642-34188-5\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/OstrandW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SchlaipferHB11,
author = {Matthias Schlaipfer and
Georg Hofferek and
Roderick Bloem},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Generalized Reactivity(1) Synthesis without a Monolithic Strategy},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {20--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_6},
doi = {10.1007/978-3-642-34188-5\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SchlaipferHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Schubert11,
author = {Klaus{-}Dieter Schubert},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Verification Challenges of Workload Optimized Hardware Systems},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {4},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_4},
doi = {10.1007/978-3-642-34188-5\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Schubert11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SeryFS11,
author = {Ondrej Sery and
Grigory Fedyukovich and
Natasha Sharygina},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Interpolation-Based Function Summaries in Bounded Model Checking},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {160--175},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_15},
doi = {10.1007/978-3-642-34188-5\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SeryFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SimkovaLK11,
author = {Marcela Simkov{\'{a}} and
Ondrej Leng{\'{a}}l and
Michal Kajan},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {{HAVEN:} An Open Framework for FPGA-Accelerated Functional Verification
of Hardware},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {247--253},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_22},
doi = {10.1007/978-3-642-34188-5\_22},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SimkovaLK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SinhaMWG11,
author = {Arnab Sinha and
Sharad Malik and
Chao Wang and
Aarti Gupta},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based
Search},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {95--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_11},
doi = {10.1007/978-3-642-34188-5\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SinhaMWG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ZeiraKS11,
author = {Ron Zeira and
Dmitry Korchemny and
Ron Shamir},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Using Computational Biology Methods to Improve Post-silicon Microprocessor
Testing},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {261--262},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_26},
doi = {10.1007/978-3-642-34188-5\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ZeiraKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 08:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
