Search dblp for Publications

export results for "toc:db/conf/cav/cav2016-1.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/0001SS16,
  author       = {Peter M{\"{u}}ller and
                  Malte Schwerhoff and
                  Alexander J. Summers},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Automatic Verification of Iterated Separating Conjunctions Using Symbolic
                  Execution},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {405--425},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_22},
  doi          = {10.1007/978-3-319-41528-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/0001SS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaierK0K0W16,
  author       = {Christel Baier and
                  Stefan Kiefer and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  David M{\"{u}}ller and
                  James Worrell},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Markov Chains and Unambiguous B{\"{u}}chi Automata},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_2},
  doi          = {10.1007/978-3-319-41528-4\_2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BaierK0K0W16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BartheEFH16,
  author       = {Gilles Barthe and
                  Thomas Espitau and
                  Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Justin Hsu},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Synthesizing Probabilistic Invariants via Doob's Decomposition},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {43--61},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_3},
  doi          = {10.1007/978-3-319-41528-4\_3},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BartheEFH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BloemBJ16,
  author       = {Roderick Bloem and
                  Nicolas Braud{-}Santoni and
                  Swen Jacobs},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Synthesis of Self-Stabilising and Byzantine-Resilient Distributed
                  Systems},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {157--176},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_9},
  doi          = {10.1007/978-3-319-41528-4\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BloemBJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BouyerCM16,
  author       = {Patricia Bouyer and
                  Maximilien Colange and
                  Nicolas Markey},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Symbolic Optimal Reachability in Weighted Timed Automata},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {513--530},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_28},
  doi          = {10.1007/978-3-319-41528-4\_28},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BouyerCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChatterjeeFG16,
  author       = {Krishnendu Chatterjee and
                  Hongfei Fu and
                  Amir Kafshdar Goharshady},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Termination Analysis of Probabilistic Programs Through Positivstellensatz's},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_1},
  doi          = {10.1007/978-3-319-41528-4\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChatterjeeFG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChengHR16,
  author       = {Chih{-}Hong Cheng and
                  Yassine Hamza and
                  Harald Ruess},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Structural Synthesis for {GXW} Specifications},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {95--117},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_6},
  doi          = {10.1007/978-3-319-41528-4\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChengHR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CristiaR16,
  author       = {Maximiliano Cristi{\'{a}} and
                  Gianfranco Rossi},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {A Decision Procedure for Sets, Binary Relations and Partial Functions},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {179--198},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_10},
  doi          = {10.1007/978-3-319-41528-4\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CristiaR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DanielCGTM16,
  author       = {Jakub Daniel and
                  Alessandro Cimatti and
                  Alberto Griggio and
                  Stefano Tonetta and
                  Sergio Mover},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded
                  Relations},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {271--291},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_15},
  doi          = {10.1007/978-3-319-41528-4\_15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DanielCGTM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DooleyS16,
  author       = {Michael Dooley and
                  Fabio Somenzi},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Proving Parameterized Systems Safe by Generalizing Clausal Proofs
                  of Small Instances},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {292--309},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_16},
  doi          = {10.1007/978-3-319-41528-4\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DooleyS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Duggirala016,
  author       = {Parasara Sridhar Duggirala and
                  Mahesh Viswanathan},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Parsimonious, Simulation Based Verification of Linear Systems},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {477--494},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_26},
  doi          = {10.1007/978-3-319-41528-4\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Duggirala016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ElkaderGPS16,
  author       = {Karam Abd Elkader and
                  Orna Grumberg and
                  Corina S. Pasareanu and
                  Sharon Shoham},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Automated Circular Assume-Guarantee Reasoning with N-way Decomposition
                  and Alphabet Refinement},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {329--351},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_18},
  doi          = {10.1007/978-3-319-41528-4\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ElkaderGPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FanQM0D16,
  author       = {Chuchu Fan and
                  Bolun Qi and
                  Sayan Mitra and
                  Mahesh Viswanathan and
                  Parasara Sridhar Duggirala},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Automatic Reachability Analysis for Nonlinear Hybrid Models with {C2E2}},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {531--538},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_29},
  doi          = {10.1007/978-3-319-41528-4\_29},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FanQM0D16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FinkbeinerK16,
  author       = {Bernd Finkbeiner and
                  Felix Klein},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Bounded Cycle Synthesis},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {118--135},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_7},
  doi          = {10.1007/978-3-319-41528-4\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkbeinerK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GehrMV16,
  author       = {Timon Gehr and
                  Sasa Misailovic and
                  Martin T. Vechev},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {{PSI:} Exact Symbolic Inference for Probabilistic Programs},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {62--83},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_4},
  doi          = {10.1007/978-3-319-41528-4\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GehrMV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GuthHSR16,
  author       = {Dwight Guth and
                  Chris Hathhorn and
                  Manasvi Saxena and
                  Grigore Rosu},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {RV-Match: Practical Semantics-Based Program Analysis},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {447--453},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_24},
  doi          = {10.1007/978-3-319-41528-4\_24},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GuthHSR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HeMW16,
  author       = {Fei He and
                  Shu Mao and
                  Bow{-}Yaw Wang},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Learning-Based Assume-Guarantee Regression Verification},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {310--328},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_17},
  doi          = {10.1007/978-3-319-41528-4\_17},
  timestamp    = {Mon, 18 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/HeMW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KafleGM16,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Jos{\'{e}} F. Morales},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Rahft: {A} Tool for Verifying Horn Clauses Using Abstract Interpretation
                  and Finite Tree Automata},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {261--268},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_14},
  doi          = {10.1007/978-3-319-41528-4\_14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/KafleGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KahsaiRSS16,
  author       = {Temesghen Kahsai and
                  Philipp R{\"{u}}mmer and
                  Huascar Sanchez and
                  Martin Sch{\"{a}}f},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {JayHorn: {A} Framework for Verifying Java programs},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {352--358},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_19},
  doi          = {10.1007/978-3-319-41528-4\_19},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KahsaiRSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KlenzeBH16,
  author       = {Tobias Klenze and
                  Sam Bayless and
                  Alan J. Hu},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Fast, Flexible, and Minimal {CTL} Synthesis via {SMT}},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {136--156},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_8},
  doi          = {10.1007/978-3-319-41528-4\_8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/KlenzeBH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeSC16,
  author       = {Quang Loc Le and
                  Jun Sun and
                  Wei{-}Ngan Chin},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Satisfiability Modulo Heap-Based Programs},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {382--404},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_21},
  doi          = {10.1007/978-3-319-41528-4\_21},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/LeSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeinoP16,
  author       = {K. Rustan M. Leino and
                  Cl{\'{e}}ment Pit{-}Claudel},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Trigger Selection Strategies to Stabilize Program Verifiers},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {361--381},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_20},
  doi          = {10.1007/978-3-319-41528-4\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LeinoP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ManevichDR16,
  author       = {Roman Manevich and
                  Boris Dogadov and
                  Noam Rinetzky},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {From Shape Analysis to Termination Analysis in Linear Time},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {426--446},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_23},
  doi          = {10.1007/978-3-319-41528-4\_23},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ManevichDR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/NgoLJ16,
  author       = {Van Chan Ngo and
                  Axel Legay and
                  Vania Joloboff},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {{PSCV:} {A} Runtime Verification Tool for Probabilistic SystemC Models},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {84--91},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_5},
  doi          = {10.1007/978-3-319-41528-4\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NgoLJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/NiemetzPB16,
  author       = {Aina Niemetz and
                  Mathias Preiner and
                  Armin Biere},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Precise and Complete Propagation Based Local Search for Satisfiability
                  Modulo Theories},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {199--217},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_11},
  doi          = {10.1007/978-3-319-41528-4\_11},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NiemetzPB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PrabhakarS16,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Counterexample Guided Abstraction Refinement for Stability Analysis},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {495--512},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_27},
  doi          = {10.1007/978-3-319-41528-4\_27},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PrabhakarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/TrinhCJ16,
  author       = {Minh{-}Thai Trinh and
                  Duc{-}Hiep Chu and
                  Joxan Jaffar},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Progressive Reasoning over Recursively-Defined Strings},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {218--240},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_12},
  doi          = {10.1007/978-3-319-41528-4\_12},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TrinhCJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/WangTLYJ16,
  author       = {Hung{-}En Wang and
                  Tzung{-}Lin Tsai and
                  Chun{-}Han Lin and
                  Fang Yu and
                  Jie{-}Hong R. Jiang},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {String Analysis via Automata Manipulation with Logic Circuit Representation},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {241--260},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_13},
  doi          = {10.1007/978-3-319-41528-4\_13},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/WangTLYJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/XueSE16,
  author       = {Bai Xue and
                  Zhikun She and
                  Arvind Easwaran},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Under-Approximating Backward Reachable Sets by Polytopes},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {457--476},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_25},
  doi          = {10.1007/978-3-319-41528-4\_25},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/XueSE16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2016-1,
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4},
  doi          = {10.1007/978-3-319-41528-4},
  isbn         = {978-3-319-41527-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2016-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.