Search dblp for Publications

export results for "toc:db/conf/cav/cav2020-2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/0001S20,
  author       = {Dirk Beyer and
                  Martin Spiessl},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {MetaVal: Witness Validation via Verification},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {165--177},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_10},
  doi          = {10.1007/978-3-030-53291-8\_10},
  timestamp    = {Wed, 12 Aug 2020 15:15:44 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/0001S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AlmagorK20,
  author       = {Shaull Almagor and
                  Orna Kupferman},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Good-Enough Synthesis},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {541--563},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_28},
  doi          = {10.1007/978-3-030-53291-8\_28},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlmagorK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BatzJKKMS20,
  author       = {Kevin Batz and
                  Sebastian Junges and
                  Benjamin Lucien Kaminski and
                  Joost{-}Pieter Katoen and
                  Christoph Matheja and
                  Philipp Schr{\"{o}}er},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {PrIC3: Property Directed Reachability for MDPs},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {512--538},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_27},
  doi          = {10.1007/978-3-030-53291-8\_27},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BatzJKKMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaumeisterFSST20,
  author       = {Jan Baumeister and
                  Bernd Finkbeiner and
                  Sebastian Schirmer and
                  Maximilian Schwenger and
                  Christoph Torens},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {28--39},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_3},
  doi          = {10.1007/978-3-030-53291-8\_3},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BaumeisterFSST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BazilleGJS20,
  author       = {Hugo Bazille and
                  Blaise Genest and
                  Cyrille J{\'{e}}gourel and
                  Jun Sun},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Global {PAC} Bounds for Learning Discrete Time Markov Chains},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {304--326},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_17},
  doi          = {10.1007/978-3-030-53291-8\_17},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BazilleGJS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BlahoudekB0OTT20,
  author       = {Frantisek Blahoudek and
                  Tom{\'{a}}s Br{\'{a}}zdil and
                  Petr Novotn{\'{y}} and
                  Melkior Ornik and
                  Pranay Thangeda and
                  Ufuk Topcu},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Qualitative Controller Synthesis for Consumption Markov Decision Processes},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {421--447},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_22},
  doi          = {10.1007/978-3-030-53291-8\_22},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BlahoudekB0OTT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BlahoudekDS20,
  author       = {Frantisek Blahoudek and
                  Alexandre Duret{-}Lutz and
                  Jan Strejcek},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Seminator 2 Can Complement Generalized B{\"{u}}chi Automata via
                  Improved Semi-determinization},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {15--27},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_2},
  doi          = {10.1007/978-3-030-53291-8\_2},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BlahoudekDS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BlondinEH0M20,
  author       = {Michael Blondin and
                  Javier Esparza and
                  Martin Helfrich and
                  Anton{\'{\i}}n Kucera and
                  Philipp J. Meyer},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Checking Qualitative Liveness Properties of Replicated Systems with
                  Stochastic Scheduling},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {372--397},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_20},
  doi          = {10.1007/978-3-030-53291-8\_20},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BlondinEH0M20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BrotherstonCHW20,
  author       = {James Brotherston and
                  Diana Costa and
                  Aquinas Hobor and
                  John Wickerson},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Reasoning over Permissions Regions in Concurrent Separation Logic},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {203--224},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_13},
  doi          = {10.1007/978-3-030-53291-8\_13},
  timestamp    = {Tue, 06 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BrotherstonCHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChatterjeeKWW20,
  author       = {Krishnendu Chatterjee and
                  Joost{-}Pieter Katoen and
                  Maximilian Weininger and
                  Tobias Winkler},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Stochastic Games with Lexicographic Reachability-Safety Objectives},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {398--420},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_21},
  doi          = {10.1007/978-3-030-53291-8\_21},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChatterjeeKWW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChenWBDF20,
  author       = {Yanju Chen and
                  Chenglong Wang and
                  Osbert Bastani and
                  Isil Dillig and
                  Yu Feng},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Program Synthesis Using Deduction-Guided Reinforcement Learning},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {587--610},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_30},
  doi          = {10.1007/978-3-030-53291-8\_30},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ChenWBDF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DAntoniHKRW20,
  author       = {Loris D'Antoni and
                  Martin Helfrich and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Emanuel Ramneantu and
                  Maximilian Weininger},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Automata Tutor v3},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {3--14},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_1},
  doi          = {10.1007/978-3-030-53291-8\_1},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/DAntoniHKRW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DrossK20,
  author       = {Claire Dross and
                  Johannes Kanig},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Recursive Data Structures in {SPARK}},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {178--189},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_11},
  doi          = {10.1007/978-3-030-53291-8\_11},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DrossK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FengC00Z20,
  author       = {Shenghua Feng and
                  Mingshuai Chen and
                  Bai Xue and
                  Sriram Sankaranarayanan and
                  Naijun Zhan},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Unbounded-Time Safety Verification of Stochastic Differential Dynamics},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {327--348},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_18},
  doi          = {10.1007/978-3-030-53291-8\_18},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FengC00Z20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FinkbeinerGHO20,
  author       = {Bernd Finkbeiner and
                  Manuel Gieseking and
                  Jesko Hecking{-}Harbusch and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {64--76},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_5},
  doi          = {10.1007/978-3-030-53291-8\_5},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkbeinerGHO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FinkbeinerHHT20,
  author       = {Bernd Finkbeiner and
                  Christopher Hahn and
                  Jana Hofmann and
                  Leander Tentrup},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Realizing {\o}mega-regular Hyperproperties},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {40--63},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_4},
  doi          = {10.1007/978-3-030-53291-8\_4},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkbeinerHHT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GeffenNDWT20,
  author       = {Jacob Van Geffen and
                  Luke Nelson and
                  Isil Dillig and
                  Xi Wang and
                  Emina Torlak},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Synthesizing {JIT} Compilers for In-Kernel DSLs},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {564--586},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_29},
  doi          = {10.1007/978-3-030-53291-8\_29},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GeffenNDWT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GoliaRM20,
  author       = {Priyanka Golia and
                  Subhajit Roy and
                  Kuldeep S. Meel},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Manthan: {A} Data-Driven Approach for Boolean Function Synthesis},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {611--633},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_31},
  doi          = {10.1007/978-3-030-53291-8\_31},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/GoliaRM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GopinathanS20,
  author       = {Kiran Gopinathan and
                  Ilya Sergey},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Certifying Certainty and Uncertainty in Approximate Membership Query
                  Structures},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {279--303},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_16},
  doi          = {10.1007/978-3-030-53291-8\_16},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GopinathanS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HartmannsK20,
  author       = {Arnd Hartmanns and
                  Benjamin Lucien Kaminski},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Optimistic Value Iteration},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {488--511},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_26},
  doi          = {10.1007/978-3-030-53291-8\_26},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HartmannsK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KlimisPR20,
  author       = {Vasileios Klimis and
                  George Parisis and
                  Bernhard Reus},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Towards Model Checking Real-World Software-Defined Networks},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {126--148},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_8},
  doi          = {10.1007/978-3-030-53291-8\_8},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KlimisPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KrishnanCSG20,
  author       = {Hari Govind Vediramana Krishnan and
                  Yuting Chen and
                  Sharon Shoham and
                  Arie Gurfinkel},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Global Guidance for Local Generalization in Model Checking},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {101--125},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_7},
  doi          = {10.1007/978-3-030-53291-8\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/KrishnanCSG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Krogmeier0MM020,
  author       = {Paul Krogmeier and
                  Umang Mathur and
                  Adithya Murali and
                  P. Madhusudan and
                  Mahesh Viswanathan},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Decidable Synthesis of Programs with Uninterpreted Functions},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {634--657},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_32},
  doi          = {10.1007/978-3-030-53291-8\_32},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Krogmeier0MM020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KwiatkowskaN0S20,
  author       = {Marta Kwiatkowska and
                  Gethin Norman and
                  David Parker and
                  Gabriel Santos},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria
                  and Time},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {475--487},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_25},
  doi          = {10.1007/978-3-030-53291-8\_25},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KwiatkowskaN0S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LavaeiKSZ20,
  author       = {Abolfazl Lavaei and
                  Mahmoud Khaled and
                  Sadegh Soudjani and
                  Majid Zamani},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {{AMYTISS:} Parallelized Automated Controller Synthesis for Large-Scale
                  Stochastic Systems},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {461--474},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_24},
  doi          = {10.1007/978-3-030-53291-8\_24},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/LavaeiKSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/McMillanP20,
  author       = {Kenneth L. McMillan and
                  Oded Padon},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Ivy: {A} Multi-modal Verification Tool for Distributed Algorithms},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {190--202},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_12},
  doi          = {10.1007/978-3-030-53291-8\_12},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/McMillanP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PhalakarnTHH20,
  author       = {Kittiphon Phalakarn and
                  Toru Takisaka and
                  Thomas Haas and
                  Ichiro Hasuo},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Widest Paths and Global Propagation in Bounded Value Iteration for
                  Stochastic Games},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {349--371},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_19},
  doi          = {10.1007/978-3-030-53291-8\_19},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/PhalakarnTHH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RaadBDDOV20,
  author       = {Azalea Raad and
                  Josh Berdine and
                  Hoang{-}Hai Dang and
                  Derek Dreyer and
                  Peter W. O'Hearn and
                  Jules Villard},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Local Reasoning About the Presence of Bugs: Incorrectness Separation
                  Logic},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {225--252},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_14},
  doi          = {10.1007/978-3-030-53291-8\_14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RaadBDDOV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Roohi00D020,
  author       = {Nima Roohi and
                  Yu Wang and
                  Matthew West and
                  Geir E. Dullerud and
                  Mahesh Viswanathan},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {{STMC:} Statistical Model Checker with Stratified and Antithetic Sampling},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {448--460},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_23},
  doi          = {10.1007/978-3-030-53291-8\_23},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Roohi00D020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RothenbergG20,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Must Fault Localization for Program Repair},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {658--680},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_33},
  doi          = {10.1007/978-3-030-53291-8\_33},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RothenbergG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SiNDNS20,
  author       = {Xujie Si and
                  Aaditya Naik and
                  Hanjun Dai and
                  Mayur Naik and
                  Le Song},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Code2Inv: {A} Deep Learning Framework for Program Verification},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {151--164},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_9},
  doi          = {10.1007/978-3-030-53291-8\_9},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SiNDNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SiegelY20,
  author       = {Stephen F. Siegel and
                  Yihao Yan},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Action-Based Model Checking: Logic, Automata, and Reduction},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {77--100},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_6},
  doi          = {10.1007/978-3-030-53291-8\_6},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SiegelY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Vazquez-Chanlatte20,
  author       = {Marcell Vazquez{-}Chanlatte and
                  Sanjit A. Seshia},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Maximum Causal Entropy Specification Inference from Demonstrations},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {255--278},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_15},
  doi          = {10.1007/978-3-030-53291-8\_15},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Vazquez-Chanlatte20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2020-2,
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8},
  doi          = {10.1007/978-3-030-53291-8},
  isbn         = {978-3-030-53290-1},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2020-2.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.