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/cav/cav2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/0001A14,
author = {Rahul Sharma and
Alex Aiken},
editor = {Armin Biere and
Roderick Bloem},
title = {From Invariant Checking to Invariant Inference Using Randomized Search},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {88--105},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_6},
doi = {10.1007/978-3-319-08867-9\_6},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/0001A14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/0001LMN14,
author = {Pranav Garg and
Christof L{\"{o}}ding and
P. Madhusudan and
Daniel Neider},
editor = {Armin Biere and
Roderick Bloem},
title = {{ICE:} {A} Robust Framework for Learning Invariants},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {69--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_5},
doi = {10.1007/978-3-319-08867-9\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/0001LMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaACHRRS14,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer and
Jari Stenman},
editor = {Armin Biere and
Roderick Bloem},
title = {String Constraints for Verification},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {150--166},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_10},
doi = {10.1007/978-3-319-08867-9\_10},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbdullaACHRRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlglaveKNP14,
author = {Jade Alglave and
Daniel Kroening and
Vincent Nimal and
Daniel Poetzl},
editor = {Armin Biere and
Roderick Bloem},
title = {Don't Sit on the Fence - {A} Static Analysis Approach to Automatic
Fence Insertion},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {508--524},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_33},
doi = {10.1007/978-3-319-08867-9\_33},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlglaveKNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BardsleyBCCDDKLQ14,
author = {Ethel Bardsley and
Adam Betts and
Nathan Chong and
Peter Collingbourne and
Pantazis Deligiannis and
Alastair F. Donaldson and
Jeroen Ketema and
Daniel Liew and
Shaz Qadeer},
editor = {Armin Biere and
Roderick Bloem},
title = {Engineering a Static Verification Tool for {GPU} Kernels},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {226--242},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_15},
doi = {10.1007/978-3-319-08867-9\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BardsleyBCCDDKLQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeyerDW14,
author = {Dirk Beyer and
Georg Dresler and
Philipp Wendler},
editor = {Armin Biere and
Roderick Bloem},
title = {Software Verification in the Google App-Engine Cloud},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {327--333},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_21},
doi = {10.1007/978-3-319-08867-9\_21},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeyerDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamL14,
author = {Jesse Bingham and
Joe Leslie{-}Hurd},
editor = {Armin Biere and
Roderick Bloem},
title = {Verifying Relative Error Bounds Using Symbolic Simulation},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {277--292},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_18},
doi = {10.1007/978-3-319-08867-9\_18},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BinghamL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BirgmeierBW14,
author = {Johannes Birgmeier and
Aaron R. Bradley and
Georg Weissenbacher},
editor = {Armin Biere and
Roderick Bloem},
title = {Counterexample to Induction-Guided Abstraction-Refinement {(CTIGAR)}},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {831--848},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_55},
doi = {10.1007/978-3-319-08867-9\_55},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BirgmeierBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozianuDF14,
author = {Rodica Bozianu and
Catalin Dima and
Emmanuel Filiot},
editor = {Armin Biere and
Roderick Bloem},
title = {Safraless Synthesis for Epistemic Temporal Specifications},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {441--456},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_29},
doi = {10.1007/978-3-319-08867-9\_29},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozianuDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilKKN14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Armin Biere and
Roderick Bloem},
title = {Minimizing Running Costs in Consumption Systems},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {457--472},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_30},
doi = {10.1007/978-3-319-08867-9\_30},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrazdilKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CavadaCDGMMMRT14,
author = {Roberto Cavada and
Alessandro Cimatti and
Michele Dorigatti and
Alberto Griggio and
Alessandro Mariotti and
Andrea Micheli and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
editor = {Armin Biere and
Roderick Bloem},
title = {The nuXmv Symbolic Model Checker},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {334--342},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_22},
doi = {10.1007/978-3-319-08867-9\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CavadaCDGMMMRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CermakLMM14,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
editor = {Armin Biere and
Roderick Bloem},
title = {{MCMAS-SLK:} {A} Model Checker for the Verification of Strategy Logic
Specifications},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {525--532},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_34},
doi = {10.1007/978-3-319-08867-9\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CermakLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyHRRT14,
author = {Pavol Cern{\'{y}} and
Thomas A. Henzinger and
Arjun Radhakrishna and
Leonid Ryzhyk and
Thorsten Tarrach},
editor = {Armin Biere and
Roderick Bloem},
title = {Regression-Free Synthesis for Concurrency},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {568--584},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_38},
doi = {10.1007/978-3-319-08867-9\_38},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CernyHRRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeCD14,
author = {Krishnendu Chatterjee and
Martin Chmelik and
Przemyslaw Daca},
editor = {Armin Biere and
Roderick Bloem},
title = {{CEGAR} for Qualitative Analysis of Probabilistic Systems},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {473--490},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_31},
doi = {10.1007/978-3-319-08867-9\_31},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChatterjeeCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengHRS14,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Harald Ruess and
Stefan Stattelmann},
editor = {Armin Biere and
Roderick Bloem},
title = {{G4LTL-ST:} Automatic Generation of {PLC} Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {541--549},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_36},
doi = {10.1007/978-3-319-08867-9\_36},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChengHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChowdhuryJGD14,
author = {Omar Chowdhury and
Limin Jia and
Deepak Garg and
Anupam Datta},
editor = {Armin Biere and
Roderick Bloem},
title = {Temporal Mode-Checking for Runtime Monitoring of Privacy Policies},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {131--149},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_9},
doi = {10.1007/978-3-319-08867-9\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChowdhuryJGD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiGMT14,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
editor = {Armin Biere and
Roderick Bloem},
title = {Verifying {LTL} Properties of Hybrid Systems with K-Liveness},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {424--440},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_28},
doi = {10.1007/978-3-319-08867-9\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiGMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookFHIJP14,
author = {Byron Cook and
Jasmin Fisher and
Benjamin A. Hall and
Samin Ishtiaq and
Garvit Juniwal and
Nir Piterman},
editor = {Armin Biere and
Roderick Bloem},
title = {Finding Instability in Biological Models},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {358--372},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_24},
doi = {10.1007/978-3-319-08867-9\_24},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookFHIJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CoxCS14,
author = {Arlen Cox and
Bor{-}Yuh Evan Chang and
Sriram Sankaranarayanan},
editor = {Armin Biere and
Roderick Bloem},
title = {QUICr: {A} Reusable Library for Parametric Abstraction of Sets and
Numbers},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {866--873},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_57},
doi = {10.1007/978-3-319-08867-9\_57},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CoxCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniA14,
author = {Loris D'Antoni and
Rajeev Alur},
editor = {Armin Biere and
Roderick Bloem},
title = {Symbolic Visibly Pushdown Automata},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {209--225},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_14},
doi = {10.1007/978-3-319-08867-9\_14},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DAntoniA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligDC14,
author = {Thomas Dillig and
Isil Dillig and
Swarat Chaudhuri},
editor = {Armin Biere and
Roderick Bloem},
title = {Optimal Guard Synthesis for Memory Safety},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {491--507},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_32},
doi = {10.1007/978-3-319-08867-9\_32},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DilligDC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dutertre14,
author = {Bruno Dutertre},
editor = {Armin Biere and
Roderick Bloem},
title = {Yices 2.2},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {737--744},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_49},
doi = {10.1007/978-3-319-08867-9\_49},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dutertre14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EldibW14,
author = {Hassan Eldib and
Chao Wang},
editor = {Armin Biere and
Roderick Bloem},
title = {Synthesis of Masking Countermeasures against Side Channel Attacks},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {114--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_8},
doi = {10.1007/978-3-319-08867-9\_8},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EldibW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaK14,
author = {Javier Esparza and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Armin Biere and
Roderick Bloem},
title = {From {LTL} to Deterministic Automata: {A} Safraless Compositional
Approach},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {192--208},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_13},
doi = {10.1007/978-3-319-08867-9\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaLMMN14,
author = {Javier Esparza and
Rusl{\'{a}}n Ledesma{-}Garza and
Rupak Majumdar and
Philipp J. Meyer and
Filip Niksic},
editor = {Armin Biere and
Roderick Bloem},
title = {An SMT-Based Approach to Coverability Analysis},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {603--619},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_40},
doi = {10.1007/978-3-319-08867-9\_40},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaLMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FerraraMNP14,
author = {Anna Lisa Ferrara and
P. Madhusudan and
Truc L. Nguyen and
Gennaro Parlato},
editor = {Armin Biere and
Roderick Bloem},
title = {Vac - Verifier of Administrative Role-Based Access Control Policies},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {184--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_12},
doi = {10.1007/978-3-319-08867-9\_12},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FerraraMNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FilliatreGP14,
author = {Jean{-}Christophe Filli{\^{a}}tre and
L{\'{e}}on Gondelman and
Andrei Paskevich},
editor = {Armin Biere and
Roderick Bloem},
title = {The Spirit of Ghost Code},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_1},
doi = {10.1007/978-3-319-08867-9\_1},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FilliatreGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GligoricMSEM14,
author = {Milos Gligoric and
Rupak Majumdar and
Rohan Sharma and
Lamyaa Eloussi and
Darko Marinov},
editor = {Armin Biere and
Roderick Bloem},
title = {Regression Test Selection for Distributed Software Histories},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {293--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_19},
doi = {10.1007/978-3-319-08867-9\_19},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GligoricMSEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HadareanBJBT14,
author = {Liana Hadarean and
Kshitij Bansal and
Dejan Jovanovic and
Clark W. Barrett and
Cesare Tinelli},
editor = {Armin Biere and
Roderick Bloem},
title = {A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {680--695},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_45},
doi = {10.1007/978-3-319-08867-9\_45},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HadareanBJBT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Hagemann14,
author = {Willem Hagemann},
editor = {Armin Biere and
Roderick Bloem},
title = {Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal
Projections},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {407--423},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_27},
doi = {10.1007/978-3-319-08867-9\_27},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Hagemann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HansenLLN014,
author = {Henri Hansen and
Shang{-}Wei Lin and
Yang Liu and
Truong Khanh Nguyen and
Jun Sun},
editor = {Armin Biere and
Roderick Bloem},
title = {Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed
Automata with Abstractions},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {391--406},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_26},
doi = {10.1007/978-3-319-08867-9\_26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HansenLLN014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeizmannHP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Armin Biere and
Roderick Bloem},
title = {Termination Analysis by Learning Terminating Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {797--813},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_53},
doi = {10.1007/978-3-319-08867-9\_53},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeizmannHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuangFMMK14,
author = {Zhenqi Huang and
Chuchu Fan and
Alexandru Mereacre and
Sayan Mitra and
Marta Z. Kwiatkowska},
editor = {Armin Biere and
Roderick Bloem},
title = {Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac
Cells},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {373--390},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_25},
doi = {10.1007/978-3-319-08867-9\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuangFMMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/InversoT0TP14,
author = {Omar Inverso and
Ermenegildo Tomasco and
Bernd Fischer and
Salvatore La Torre and
Gennaro Parlato},
editor = {Armin Biere and
Roderick Bloem},
title = {Bounded Model Checking of Multi-threaded {C} Programs via Lazy Sequentialization},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {585--602},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_39},
doi = {10.1007/978-3-319-08867-9\_39},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/InversoT0TP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ItzhakyBRST14,
author = {Shachar Itzhaky and
Nikolaj S. Bj{\o}rner and
Thomas W. Reps and
Mooly Sagiv and
Aditya V. Thakur},
editor = {Armin Biere and
Roderick Bloem},
title = {Property-Directed Shape Analysis},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {35--51},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_3},
doi = {10.1007/978-3-319-08867-9\_3},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ItzhakyBRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KanavL014,
author = {Sudeep Kanav and
Peter Lammich and
Andrei Popescu},
editor = {Armin Biere and
Roderick Bloem},
title = {A Conference Management System with Verified Document Confidentiality},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {167--183},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_11},
doi = {10.1007/978-3-319-08867-9\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KanavL014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KomuravelliGC14,
author = {Anvesh Komuravelli and
Arie Gurfinkel and
Sagar Chaki},
editor = {Armin Biere and
Roderick Bloem},
title = {SMT-Based Model Checking for Recursive Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {17--34},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_2},
doi = {10.1007/978-3-319-08867-9\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KomuravelliGC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupriyanovF14,
author = {Andrey Kupriyanov and
Bernd Finkbeiner},
editor = {Armin Biere and
Roderick Bloem},
title = {Causal Termination of Multi-threaded Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {814--830},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_54},
doi = {10.1007/978-3-319-08867-9\_54},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupriyanovF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LarrazNORR14,
author = {Daniel Larraz and
Kaustubh Nimkar and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Albert Rubio},
editor = {Armin Biere and
Roderick Bloem},
title = {Proving Non-termination Using Max-SMT},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {779--796},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_52},
doi = {10.1007/978-3-319-08867-9\_52},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/LarrazNORR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeGQC14,
author = {Quang Loc Le and
Cristian Gherghina and
Shengchao Qin and
Wei{-}Ngan Chin},
editor = {Armin Biere and
Roderick Bloem},
title = {Shape Analysis via Second-Order Bi-Abduction},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {52--68},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_4},
doi = {10.1007/978-3-319-08867-9\_4},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LeGQC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeeS14,
author = {Suho Lee and
Karem A. Sakallah},
editor = {Armin Biere and
Roderick Bloem},
title = {Unbounded Scalable Verification Based on Approximate Property-Directed
Reachability and Datapath Abstraction},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {849--865},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_56},
doi = {10.1007/978-3-319-08867-9\_56},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LeeS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LesaniMP14,
author = {Mohsen Lesani and
Todd D. Millstein and
Jens Palsberg},
editor = {Armin Biere and
Roderick Bloem},
title = {Automatic Atomicity Verification for Clients of Concurrent Data Structures},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {550--567},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_37},
doi = {10.1007/978-3-319-08867-9\_37},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LesaniMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiangRTBD14,
author = {Tianyi Liang and
Andrew Reynolds and
Cesare Tinelli and
Clark W. Barrett and
Morgan Deters},
editor = {Armin Biere and
Roderick Bloem},
title = {A {DPLL(T)} Theory Solver for a Theory of Strings and Regular Expressions},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {646--662},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_43},
doi = {10.1007/978-3-319-08867-9\_43},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LiangRTBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MadhavanK14,
author = {Ravichandhran Madhavan and
Viktor Kuncak},
editor = {Armin Biere and
Roderick Bloem},
title = {Symbolic Resource Bound Inference for Functional Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {762--778},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_51},
doi = {10.1007/978-3-319-08867-9\_51},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MadhavanK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McMillan14,
author = {Kenneth L. McMillan},
editor = {Armin Biere and
Roderick Bloem},
title = {Lazy Annotation Revisited},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {243--259},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_16},
doi = {10.1007/978-3-319-08867-9\_16},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/McMillan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nadel14,
author = {Alexander Nadel},
editor = {Armin Biere and
Roderick Bloem},
title = {Bit-Vector Rewriting with Automatic Rule Generation},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {663--679},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_44},
doi = {10.1007/978-3-319-08867-9\_44},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Nadel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NarodytskaLBRW14,
author = {Nina Narodytska and
Alexander Legg and
Fahiem Bacchus and
Leonid Ryzhyk and
Adam Walker},
editor = {Armin Biere and
Roderick Bloem},
title = {Solving Games without Controllable Predecessor},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {533--540},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_35},
doi = {10.1007/978-3-319-08867-9\_35},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NarodytskaLBRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaolettiYHWK14,
author = {Nicola Paoletti and
Boyan Yordanov and
Youssef Hamadi and
Christoph M. Wintersteiger and
Hillel Kugler},
editor = {Armin Biere and
Roderick Bloem},
title = {Analyzing and Synthesizing Genomic Logic Functions},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {343--357},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_23},
doi = {10.1007/978-3-319-08867-9\_23},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PaolettiYHWK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PiskacWZ14,
author = {Ruzica Piskac and
Thomas Wies and
Damien Zufferey},
editor = {Armin Biere and
Roderick Bloem},
title = {Automating Separation Logic with Trees and Data},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {711--728},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_47},
doi = {10.1007/978-3-319-08867-9\_47},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PiskacWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RakamaricE14,
author = {Zvonimir Rakamaric and
Michael Emmi},
editor = {Armin Biere and
Roderick Bloem},
title = {{SMACK:} Decoupling Source Language Details from Verifier Implementations},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {106--113},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_7},
doi = {10.1007/978-3-319-08867-9\_7},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RakamaricE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SanchezS14,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Armin Biere and
Roderick Bloem},
title = {{LEAP:} {A} Tool for the Parametrized Verification of Concurrent Datatypes},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {620--627},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_41},
doi = {10.1007/978-3-319-08867-9\_41},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/SanchezS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SinnZV14,
author = {Moritz Sinn and
Florian Zuleger and
Helmut Veith},
editor = {Armin Biere and
Roderick Bloem},
title = {A Simple and Scalable Static Analysis for Bound Analysis and Amortized
Complexity Analysis},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {745--761},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_50},
doi = {10.1007/978-3-319-08867-9\_50},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SinnZV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TiwariL14,
author = {Ashish Tiwari and
Patrick Lincoln},
editor = {Armin Biere and
Roderick Bloem},
title = {A Nonlinear Real Arithmetic Fragment},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {729--736},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_48},
doi = {10.1007/978-3-319-08867-9\_48},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/TiwariL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VeanesBNB14,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Lev Nachmanson and
Sergey Bereg},
editor = {Armin Biere and
Roderick Bloem},
title = {Monadic Decomposition},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {628--645},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_42},
doi = {10.1007/978-3-319-08867-9\_42},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VeanesBNB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VizelG14,
author = {Yakir Vizel and
Arie Gurfinkel},
editor = {Armin Biere and
Roderick Bloem},
title = {Interpolating Property Directed Reachability},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {260--276},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_17},
doi = {10.1007/978-3-319-08867-9\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/VizelG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Voronkov14,
author = {Andrei Voronkov},
editor = {Armin Biere and
Roderick Bloem},
title = {{AVATAR:} The Architecture for First-Order Theorem Provers},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {696--710},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_46},
doi = {10.1007/978-3-319-08867-9\_46},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Voronkov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WijsKB14,
author = {Anton Wijs and
Joost{-}Pieter Katoen and
Dragan Bosnacki},
editor = {Armin Biere and
Roderick Bloem},
title = {GPU-Based Graph Decomposition into Strongly Connected and Maximal
End Components},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {310--326},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_20},
doi = {10.1007/978-3-319-08867-9\_20},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/WijsKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
editor = {Armin Biere and
Roderick Bloem},
title = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9},
doi = {10.1007/978-3-319-08867-9},
isbn = {978-3-319-08866-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2014.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-12 14:35 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:
