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/hvc2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/hvc/AbelABGS13,
author = {Andreas Abel and
Allon Adir and
Torsten Blochwitz and
Lev Greenberg and
Tamer Salman},
editor = {Valeria Bertacco and
Axel Legay},
title = {Development and Verification of Complex Hybrid Systems Using Synthesizable
Monitors},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {182--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_13},
doi = {10.1007/978-3-319-03077-7\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/AbelABGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AhnM13,
author = {Sunha Ahn and
Sharad Malik},
editor = {Valeria Bertacco and
Axel Legay},
title = {Modeling Firmware as Service Functions and Its Application to Test
Generation},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {61--77},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_5},
doi = {10.1007/978-3-319-03077-7\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/AhnM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ApelBFRR13,
author = {Sven Apel and
Dirk Beyer and
Karlheinz Friedberger and
Franco Raimondi and
Alexander von Rhein},
editor = {Valeria Bertacco and
Axel Legay},
title = {Domain Types: Abstract-Domain Selection Based on Variable Usage},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {262--278},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_18},
doi = {10.1007/978-3-319-03077-7\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ApelBFRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArcainiGR13,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
editor = {Valeria Bertacco and
Axel Legay},
title = {Online Testing of {LTL} Properties for Java Code},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {95--111},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_7},
doi = {10.1007/978-3-319-03077-7\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ArcainiGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArthoBHPSTY13,
author = {Cyrille Valentin Artho and
Armin Biere and
Masami Hagiya and
Eric Platon and
Martina Seidl and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Valeria Bertacco and
Axel Legay},
title = {Modbat: {A} Model-Based {API} Tester for Event-Driven Systems},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {112--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_8},
doi = {10.1007/978-3-319-03077-7\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArthoBHPSTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Ben-DavidCK13,
author = {Shoham Ben{-}David and
Hana Chockler and
Orna Kupferman},
editor = {Valeria Bertacco and
Axel Legay},
title = {Attention-Based Coverage Metrics},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {230--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_16},
doi = {10.1007/978-3-319-03077-7\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Ben-DavidCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BensalemBBPQ13,
author = {Saddek Bensalem and
Borzoo Bonakdarpour and
Marius Bozga and
Doron A. Peled and
Jean Quilbeuf},
editor = {Valeria Bertacco and
Axel Legay},
title = {Performance Evaluation of Process Partitioning Using Probabilistic
Model Checking},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {344--358},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_23},
doi = {10.1007/978-3-319-03077-7\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BensalemBBPQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BozzanoCM13,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
editor = {Valeria Bertacco and
Axel Legay},
title = {Efficient Analysis of Reliability Architectures via Predicate Abstraction},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {279--294},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_19},
doi = {10.1007/978-3-319-03077-7\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BozzanoCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChocklerPR13,
author = {Hana Chockler and
Dmitry Pidan and
Sitvanit Ruah},
editor = {Valeria Bertacco and
Axel Legay},
title = {Improving Representative Computation in ExpliSAT},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {359--364},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_24},
doi = {10.1007/978-3-319-03077-7\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ChocklerPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/CiesielskiBR13,
author = {Maciej J. Ciesielski and
Walter Brown and
Andr{\'{e}} Rossi},
editor = {Valeria Bertacco and
Axel Legay},
title = {Arithmetic Bit-Level Verification Using Network Flow Model},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {327--343},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_22},
doi = {10.1007/978-3-319-03077-7\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/CiesielskiBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/CodishFM13,
author = {Michael Codish and
Yoav Fekete and
Amit Metodi},
editor = {Valeria Bertacco and
Axel Legay},
title = {Backbones for Equality},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {1--14},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_1},
doi = {10.1007/978-3-319-03077-7\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/CodishFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KadryKKLNS13,
author = {Wisam Kadry and
Anatoly Koyfman and
Dmitry Krestyashyn and
Shimon Landa and
Amir Nahir and
Vitali Sokhin},
editor = {Valeria Bertacco and
Axel Legay},
title = {Improving Post-silicon Validation Efficiency by Using Pre-generated
Data},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {166--181},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_12},
doi = {10.1007/978-3-319-03077-7\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KadryKKLNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KatzP13,
author = {Gal Katz and
Doron A. Peled},
editor = {Valeria Bertacco and
Axel Legay},
title = {Synthesizing, Correcting and Improving Code, Using Model Checking-Based
Genetic Programming},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {246--261},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_17},
doi = {10.1007/978-3-319-03077-7\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KatzP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KuisminH13,
author = {Tuomas Kuismin and
Keijo Heljanko},
editor = {Valeria Bertacco and
Axel Legay},
title = {Increasing Confidence in Liveness Model Checking Results with Proofs},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {32--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_3},
doi = {10.1007/978-3-319-03077-7\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KuisminH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LangeNN13,
author = {Tim Lange and
Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll},
editor = {Valeria Bertacco and
Axel Legay},
title = {Speeding Up the Safety Verification of Programmable Logic Controller
Code},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {44--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_4},
doi = {10.1007/978-3-319-03077-7\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LangeNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LiG13,
author = {Guodong Li and
Indradeep Ghosh},
editor = {Valeria Bertacco and
Axel Legay},
title = {{PASS:} String Solving with Parameterized Array and Interval Automaton},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {15--31},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_2},
doi = {10.1007/978-3-319-03077-7\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LiG13a,
author = {Guodong Li and
Indradeep Ghosh},
editor = {Valeria Bertacco and
Axel Legay},
title = {Lazy Symbolic Execution through Abstraction and Sub-space Search},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {295--310},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_20},
doi = {10.1007/978-3-319-03077-7\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LiG13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PfahlerESHR13,
author = {J{\"{o}}rg Pf{\"{a}}hler and
Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
editor = {Valeria Bertacco and
Axel Legay},
title = {Formal Specification of an Erase Block Management Layer for Flash
Memory},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {214--229},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_15},
doi = {10.1007/978-3-319-03077-7\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/PfahlerESHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RabettiMGKP13,
author = {Tali Rabetti and
Ronny Morad and
Alex Goryachev and
Wisam Kadry and
Richard D. Peterson},
editor = {Valeria Bertacco and
Axel Legay},
title = {{SLAM:} SLice And Merge - Effective Test Generation for Large Systems},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {151--165},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_11},
doi = {10.1007/978-3-319-03077-7\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RabettiMGKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SifakisM13,
author = {Emmanuel Sifakis and
Laurent Mounier},
editor = {Valeria Bertacco and
Axel Legay},
title = {Predictive Taint Analysis for Extended Testing of Parallel Executions},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {129--144},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_9},
doi = {10.1007/978-3-319-03077-7\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SifakisM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/StypY13,
author = {Sabrina von Styp and
Liyong Yu},
editor = {Valeria Bertacco and
Axel Legay},
title = {Symbolic Model-Based Testing for Industrial Automation Software},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {78--94},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_6},
doi = {10.1007/978-3-319-03077-7\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/StypY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SuLAFVNB13,
author = {Tao Su and
John Lyle and
Andrea S. Atzeni and
Shamal Faily and
Habib Virji and
Christos Ntanos and
Christos Botsikas},
editor = {Valeria Bertacco and
Axel Legay},
title = {Continuous Integration for Web-Based Software Infrastructures: Lessons
Learned on the webinos Project},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {145--150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_10},
doi = {10.1007/978-3-319-03077-7\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SuLAFVNB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/TravkinMW13,
author = {Oleg Travkin and
Annika M{\"{u}}tze and
Heike Wehrheim},
editor = {Valeria Bertacco and
Axel Legay},
title = {{SPIN} as a Linearizability Checker under Weak Memory Models},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {311--326},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_21},
doi = {10.1007/978-3-319-03077-7\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/TravkinMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/YeolekarU13,
author = {Anand Yeolekar and
Divyesh Unadkat},
editor = {Valeria Bertacco and
Axel Legay},
title = {Assertion Checking Using Dynamic Inference},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {199--213},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_14},
doi = {10.1007/978-3-319-03077-7\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/YeolekarU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2013,
editor = {Valeria Bertacco and
Axel Legay},
title = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7},
doi = {10.1007/978-3-319-03077-7},
isbn = {978-3-319-03076-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2013.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-06-07 21:05 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:
