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/hvc2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/hvc/Abe17,
author = {Tatsuya Abe},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Verifier of Directed Acyclic Graphs for Model Checking with Memory
Consistency Models},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {51--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_4},
doi = {10.1007/978-3-319-70389-3\_4},
timestamp = {Sat, 19 Oct 2019 20:27:11 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Abe17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AltHS17,
author = {Leonardo Alt and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{LRA} Interpolants from No Man's Land},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {195--210},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_13},
doi = {10.1007/978-3-319-70389-3\_13},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/AltHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BeckertGU17,
author = {Bernhard Beckert and
Sarah Grebing and
Mattias Ulbrich},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {An Interaction Concept for Program Verification Systems with Explicit
Proof Object},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {163--178},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_11},
doi = {10.1007/978-3-319-70389-3\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BeckertGU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BeyerL17,
author = {Dirk Beyer and
Thomas Lemberger},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Software Verification: Testing vs. Model Checking - {A} Comparative
Evaluation of the State of the Art},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {99--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_7},
doi = {10.1007/978-3-319-70389-3\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/BeyerL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChauHRS17,
author = {Cuong K. Chau and
Warren A. Hunt Jr. and
Marly Roncken and
Ivan E. Sutherland},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Framework for Asynchronous Circuit Modeling and Verification in
{ACL2}},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {3--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_1},
doi = {10.1007/978-3-319-70389-3\_1},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ChauHRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChupilkoKKT17,
author = {Mikhail M. Chupilko and
Alexander Kamkin and
Artem Kotsynyak and
Andrei Tatarnikov},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {MicroTESK: Specification-Based Tool for Constructing Test Program
Generators},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {217--220},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_15},
doi = {10.1007/978-3-319-70389-3\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ChupilkoKKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ClaessenKKL17,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {115--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_8},
doi = {10.1007/978-3-319-70389-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ClaessenKKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DahiyaB17,
author = {Manjeet Dahiya and
Sorav Bansal},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Modeling Undefined Behaviour Semantics for Checking Equivalence Across
Compiler Optimizations},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {19--34},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_2},
doi = {10.1007/978-3-319-70389-3\_2},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/DahiyaB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Frenkel17,
author = {Sergey Frenkel},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Probabilistic Model of Control-Flow Altering Based Malicious Attacks
- (Poster Submission)},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {249--252},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_22},
doi = {10.1007/978-3-319-70389-3\_22},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/Frenkel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/GarnWS17,
author = {Bernhard Garn and
Fabian W{\"{u}}rfl and
Dimitris E. Simos},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{KERIS:} {A} {CT} Tool of the Linux Kernel with Dynamic Memory Analysis
Capabilities},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {225--228},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_17},
doi = {10.1007/978-3-319-70389-3\_17},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/GarnWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HeuleKSB17,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Martina Seidl and
Armin Biere},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {PRuning Through Satisfaction},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {179--194},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_12},
doi = {10.1007/978-3-319-70389-3\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HeuleKSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KloosMM17,
author = {Johannes Kloos and
Rupak Majumdar and
Frank McCabe},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Deferrability Analysis for JavaScript},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {35--50},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_3},
doi = {10.1007/978-3-319-70389-3\_3},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/KloosMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/MukherjeePSDR17,
author = {Suvam Mukherjee and
Oded Padon and
Sharon Shoham and
Deepak D'Souza and
Noam Rinetzky},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{RATCOP:} Relational Analysis Tool for Concurrent Programs},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {229--233},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_18},
doi = {10.1007/978-3-319-70389-3\_18},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/MukherjeePSDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PulinaT17,
author = {Luca Pulina and
Armando Tacchella},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {More Adaptive Does not Imply Less Safe (with Formal Verification)},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {237--240},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_19},
doi = {10.1007/978-3-319-70389-3\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/PulinaT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RosenfeldKZ17,
author = {Ariel Rosenfeld and
Odaya Kardashov and
Orel Zang},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{ACAT:} {A} Novel Machine-Learning-Based Tool for Automating Android
Application Testing},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {213--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_14},
doi = {10.1007/978-3-319-70389-3\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RosenfeldKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Sherwood17,
author = {George B. Sherwood},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Embedded Functions for Test Design Automation},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {221--224},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_16},
doi = {10.1007/978-3-319-70389-3\_16},
timestamp = {Fri, 24 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/Sherwood17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ShmarovPBLSZ17,
author = {Fedor Shmarov and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {SMT-based Synthesis of Safe and Robust {PID} Controllers for Stochastic
Hybrid Systems},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {131--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_9},
doi = {10.1007/978-3-319-70389-3\_9},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ShmarovPBLSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SulzmannS17,
author = {Martin Sulzmann and
Kai Stadtm{\"{u}}ller},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Trace-Based Run-Time Analysis of Message-Passing Go Programs},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {83--98},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_6},
doi = {10.1007/978-3-319-70389-3\_6},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SulzmannS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/TervoortP17,
author = {Tom Tervoort and
I. S. W. B. Prasetya},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {{APSL:} {A} Light Weight Testing Tool for Protocols with Complex Messages},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {241--244},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_20},
doi = {10.1007/978-3-319-70389-3\_20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/TervoortP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/WatanabeOS17,
author = {Ryo Watanabe and
Kozo Okano and
Toshifusa Sekizawa},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Towards Verification of Robot Design for Self-localization},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {245--248},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_21},
doi = {10.1007/978-3-319-70389-3\_21},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/WatanabeOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/XuGM17,
author = {Zhixing Xu and
Aarti Gupta and
Sharad Malik},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Trace-based Analysis of Memory Corruption Malware Attacks},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {67--82},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_5},
doi = {10.1007/978-3-319-70389-3\_5},
timestamp = {Tue, 14 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/XuGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ZhuTLPV17,
author = {Shufang Zhu and
Lucas M. Tabajara and
Jianwen Li and
Geguang Pu and
Moshe Y. Vardi},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Symbolic Approach to Safety ltl Synthesis},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {147--162},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_10},
doi = {10.1007/978-3-319-70389-3\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ZhuTLPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2017,
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3},
doi = {10.1007/978-3-319-70389-3},
isbn = {978-3-319-70388-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2017.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-04-27 10:57 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:
