Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cav/cav2021-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/AgarwalCPPT21,
author = {Pratyush Agarwal and
Krishnendu Chatterjee and
Shreya Pathak and
Andreas Pavlogiannis and
Viktor Toman},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Stateless Model Checking Under a Reads-Value-From Equivalence},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {341--366},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_16},
doi = {10.1007/978-3-030-81685-8\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AgarwalCPPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AkshayGP21,
author = {S. Akshay and
Paul Gastin and
Karthik R. Prakash},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {619--642},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_30},
doi = {10.1007/978-3-030-81685-8\_30},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AkshayGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmramBFTVW21,
author = {Gal Amram and
Suguman Bansal and
Dror Fried and
Lucas Martinelli Tabajara and
Moshe Y. Vardi and
Gera Weiss},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Adapting Behaviors via Reactive Synthesis},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {870--893},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_41},
doi = {10.1007/978-3-030-81685-8\_41},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AmramBFTVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Andre21,
author = {{\'{E}}tienne Andr{\'{e}}},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {{IMITATOR} 3: Synthesis of Timing Parameters Beyond Decidability},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {552--565},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_26},
doi = {10.1007/978-3-030-81685-8\_26},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Andre21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AndriushchenkoC21,
author = {Roman Andriushchenko and
Milan Ceska and
Sebastian Junges and
Joost{-}Pieter Katoen and
Simon Stupinsk{\'{y}}},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {{PAYNT:} {A} Tool for Inductive Synthesis of Probabilistic Programs},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {856--869},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_40},
doi = {10.1007/978-3-030-81685-8\_40},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AndriushchenkoC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArmstrongCSPS21,
author = {Alasdair Armstrong and
Brian Campbell and
Ben Simner and
Christopher Pulte and
Peter Sewell},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Isla: Integrating Full-Scale {ISA} Semantics and Axiomatic Concurrency
Models},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {303--316},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_14},
doi = {10.1007/978-3-030-81685-8\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArmstrongCSPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaierCFFJS21,
author = {Christel Baier and
Norine Coenen and
Bernd Finkbeiner and
Florian Funke and
Simon Jantsch and
Julian Siber},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Causality-Based Game Solving},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {894--917},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_42},
doi = {10.1007/978-3-030-81685-8\_42},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaierCFFJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaumeisterCBFS21,
author = {Jan Baumeister and
Norine Coenen and
Borzoo Bonakdarpour and
Bernd Finkbeiner and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {A Temporal Logic for Asynchronous Hyperproperties},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {694--717},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_33},
doi = {10.1007/978-3-030-81685-8\_33},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BaumeisterCBFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenesBPS21,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Computing Bottom SCCs Symbolically Using Transition Guided Reduction},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {505--528},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_24},
doi = {10.1007/978-3-030-81685-8\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BenesBPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BostonBDDHPS21,
author = {Brett Boston and
Samuel Breese and
Joey Dodds and
Mike Dodds and
Brian Huffman and
Adam Petcher and
Andrei Stefanescu},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Verified Cryptographic Code for Everybody},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {645--668},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_31},
doi = {10.1007/978-3-030-81685-8\_31},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BostonBDDHPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BraggFRS21,
author = {Nate F. F. Bragg and
Jeffrey S. Foster and
Cody Roux and
Armando Solar{-}Lezama},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Program Sketching by Automatically Generating Mocks from Tests},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {808--831},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_38},
doi = {10.1007/978-3-030-81685-8\_38},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BraggFRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CauliLPT21,
author = {Claudia Cauli and
Meng Li and
Nir Piterman and
Oksana Tkachuk},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Pre-deployment Security Assessment for Cloud Services Through Semantic
Reasoning},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {767--780},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_36},
doi = {10.1007/978-3-030-81685-8\_36},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CauliLPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChristakisEHHKL21,
author = {Maria Christakis and
Hasan Ferit Eniser and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Yugesh Kothari and
Jianlin Li and
Jorge A. Navas and
Valentin W{\"{u}}stholz},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Automated Safety Verification of Programs Invoking Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {201--224},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_9},
doi = {10.1007/978-3-030-81685-8\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChristakisEHHKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CogumbreiroLRZ21,
author = {Tiago Cogumbreiro and
Julien Lange and
Dennis Liew Zhen Rong and
Hannah Zicarelli},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Checking Data-Race Freedom of {GPU} Kernels, Compositionally},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {403--426},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_19},
doi = {10.1007/978-3-030-81685-8\_19},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CogumbreiroLRZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniHKR21,
author = {Loris D'Antoni and
Qinheping Hu and
Jinwoo Kim and
Thomas W. Reps},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Programmable Program Synthesis},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {84--109},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_4},
doi = {10.1007/978-3-030-81685-8\_4},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DAntoniHKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EilersMM21,
author = {Marco Eilers and
Severin Meier and
Peter M{\"{u}}ller},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Product Programs in the Wild: Retrofitting Program Verifiers to Check
Information Flow Security},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {718--741},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_34},
doi = {10.1007/978-3-030-81685-8\_34},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EilersMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EladRIKS21,
author = {Neta Elad and
Sophie Rain and
Neil Immerman and
Laura Kov{\'{a}}cs and
Mooly Sagiv},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Summing up Smart Transitions},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {317--340},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_15},
doi = {10.1007/978-3-030-81685-8\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EladRIKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanN21,
author = {Azadeh Farzan and
Victor Nicolet},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Counterexample-Guided Partial Bounding for Recursive Function Synthesis},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {832--855},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_39},
doi = {10.1007/978-3-030-81685-8\_39},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FarzanN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GirolFB21,
author = {Guillaume Girol and
Benjamin Farinier and
S{\'{e}}bastien Bardin},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Not All Bugs Are Created Equal, But Robust Reachability Can Tell the
Difference},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {669--693},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_32},
doi = {10.1007/978-3-030-81685-8\_32},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GirolFB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GoelSSS21,
author = {Shilpi Goel and
Anna Slobodov{\'{a}} and
Rob Sumners and
Sol Swords},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Balancing Automation and Control for Formal Verification of Microprocessors},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {26--45},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_2},
doi = {10.1007/978-3-030-81685-8\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GoelSSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuanFY21,
author = {Ji Guan and
Wang Fang and
Mingsheng Ying},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Robustness Verification of Quantum Classifiers},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {151--174},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_7},
doi = {10.1007/978-3-030-81685-8\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GuanFY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuCDR21,
author = {Qinheping Hu and
John Cyphert and
Loris D'Antoni and
Thomas W. Reps},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Synthesis with Asymptotic Resource Bounds},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {783--807},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_37},
doi = {10.1007/978-3-030-81685-8\_37},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/HuCDR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ItzhakyPPRS21,
author = {Shachar Itzhaky and
Hila Peleg and
Nadia Polikarpova and
Reuben N. S. Rowe and
Ilya Sergey},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Deductive Synthesis of Programs with Pointers: Techniques, Challenges,
Opportunities - (Invited Paper)},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {110--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_5},
doi = {10.1007/978-3-030-81685-8\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ItzhakyPPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IvanovCWAPL21,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Verisig 2.0: Verification of Neural Network Controllers Using Taylor
Model Preconditioning},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {249--262},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_11},
doi = {10.1007/978-3-030-81685-8\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/IvanovCWAPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JohnsonW21,
author = {Andrew Johnson and
Thomas Wahl},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Delay-Bounded Scheduling Without Delay!},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {380--402},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_18},
doi = {10.1007/978-3-030-81685-8\_18},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JohnsonW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KhedrFS21,
author = {Haitham Khedr and
James Ferlez and
Yasser Shoukry},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {287--300},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_13},
doi = {10.1007/978-3-030-81685-8\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KhedrFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KincaidRC21,
author = {Zachary Kincaid and
Thomas W. Reps and
John Cyphert},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Algebraic Program Analysis},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {46--83},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_3},
doi = {10.1007/978-3-030-81685-8\_3},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KincaidRC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {GenMC: {A} Model Checker for Weak Memory Models},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {427--440},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_20},
doi = {10.1007/978-3-030-81685-8\_20},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalMHKP21,
author = {Ratan Lal and
Aaron McKinnis and
Dustin Hauptman and
Shawn Keshmiri and
Pavithra Prabhakar},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Formally Verified Switching Logic for Recoverability of Aircraft Controller},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {566--579},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_27},
doi = {10.1007/978-3-030-81685-8\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalMHKP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeeKBO21,
author = {Jaehun Lee and
Sharon Kim and
Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous
CPSs in {AADL}},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {491--504},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_23},
doi = {10.1007/978-3-030-81685-8\_23},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LeeKBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MoverCGIT21,
author = {Sergio Mover and
Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Stefano Tonetta},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {529--551},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_25},
doi = {10.1007/978-3-030-81685-8\_25},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MoverCGIT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RyouCBSDV21,
author = {Wonryong Ryou and
Jiayu Chen and
Mislav Balunovic and
Gagandeep Singh and
Andrei Marian Dan and
Martin T. Vechev},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Scalable Polyhedral Verification of Recurrent Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {225--248},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_10},
doi = {10.1007/978-3-030-81685-8\_10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/RyouCBSDV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ShriverED21,
author = {David Shriver and
Sebastian G. Elbaum and
Matthew B. Dwyer},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {{DNNV:} {A} Framework for Deep Neural Network Verification},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {137--150},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_6},
doi = {10.1007/978-3-030-81685-8\_6},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ShriverED21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SibaiLM21,
author = {Hussein Sibai and
Yangge Li and
Sayan Mitra},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {580--594},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_28},
doi = {10.1007/978-3-030-81685-8\_28},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SibaiLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TranPMLHYBJ21,
author = {Hoang{-}Dung Tran and
Neelanjana Pal and
Patrick Musau and
Diego Manzanas Lopez and
Nathaniel Hamilton and
Xiaodong Yang and
Stanley Bak and
Taylor T. Johnson},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Robustness Verification of Semantic Segmentation Neural Networks Using
Relaxed Reachability},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {263--286},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_12},
doi = {10.1007/978-3-030-81685-8\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/TranPMLHYBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/UnnoTK21,
author = {Hiroshi Unno and
Tachio Terauchi and
Eric Koskinen},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Constraint-Based Relational Verification},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {742--766},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_35},
doi = {10.1007/978-3-030-81685-8\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/UnnoTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/UsmanGSNP21,
author = {Muhammad Usman and
Divya Gopinath and
Youcheng Sun and
Yannic Noller and
Corina S. Pasareanu},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {NNrepair: Constraint-Based Repair of Neural Network Classifiers},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {3--25},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_1},
doi = {10.1007/978-3-030-81685-8\_1},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/UsmanGSNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangCXZK21,
author = {Qiuye Wang and
Mingshuai Chen and
Bai Xue and
Naijun Zhan and
Joost{-}Pieter Katoen},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Synthesizing Invariant Barrier Certificates via Difference-of-Convex
Programming},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {443--466},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_21},
doi = {10.1007/978-3-030-81685-8\_21},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangCXZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WolfACOPM21,
author = {Felix A. Wolf and
Linard Arquint and
Martin Clochard and
Wytse Oortwijn and
Jo{\~{a}}o Carlos Pereira and
Peter M{\"{u}}ller},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Gobra: Modular Specification and Verification of Go Programs},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {367--379},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_17},
doi = {10.1007/978-3-030-81685-8\_17},
timestamp = {Sat, 18 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WolfACOPM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangZLZTZL21,
author = {Zhengfeng Yang and
Yidan Zhang and
Wang Lin and
Xia Zeng and
Xiaochao Tang and
Zhenbing Zeng and
Zhiming Liu},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems
via Barrier Certificate Generation},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {467--490},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_22},
doi = {10.1007/978-3-030-81685-8\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangZLZTZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangLAMHZ21,
author = {Zhenya Zhang and
Deyun Lyu and
Paolo Arcaini and
Lei Ma and
Ichiro Hasuo and
Jianjun Zhao},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Effective Hybrid System Falsification Using Monte Carlo Tree Search
Guided by QB-Robustness},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {595--618},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_29},
doi = {10.1007/978-3-030-81685-8\_29},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhangLAMHZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangZCSC21,
author = {Yedi Zhang and
Zhe Zhao and
Guangke Chen and
Fu Song and
Taolue Chen},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {{BDD4BNN:} {A} BDD-Based Quantitative Analysis Framework for Binarized
Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {175--200},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_8},
doi = {10.1007/978-3-030-81685-8\_8},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhangZCSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2021-1,
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8},
doi = {10.1007/978-3-030-81685-8},
isbn = {978-3-030-81684-1},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2021-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 12:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
