Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cav/cav2014.bht:"
@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} }
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.