Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cav/AlbertBIRR22,
  author       = {Elvira Albert and
                  Marta Bell{\'{e}}s{-}Mu{\~{n}}oz and
                  Miguel Isabel and
                  Clara Rodr{\'{\i}}guez{-}N{\'{u}}{\~{n}}ez and
                  Albert Rubio},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Distilling Constraints in Zero-Knowledge Protocols},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {430--443},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_21},
  doi          = {10.1007/978-3-031-13185-1\_21},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlbertBIRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AltBHS22,
  author       = {Leonardo Alt and
                  Martin Blicha and
                  Antti E. J. Hyv{\"{a}}rinen and
                  Natasha Sharygina},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {SolCMC: Solidity Compiler's Model Checker},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {325--338},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_16},
  doi          = {10.1007/978-3-031-13185-1\_16},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/AltBHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BakBHKLP22,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Brandon Hencey and
                  Niklas Kochdumper and
                  Ethan Lew and
                  Kostiantyn Potomkin},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Reachability of Koopman Linearized Systems Using Random Fourier Feature
                  Observables and Polynomial Zonotope Refinement},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {490--510},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_24},
  doi          = {10.1007/978-3-031-13185-1\_24},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BakBHKLP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BannoMMBWS22,
  author       = {Ryotaro Banno and
                  Kotaro Matsuoka and
                  Naoki Matsumoto and
                  Song Bian and
                  Masaki Waga and
                  Kohei Suenaga},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Oblivious Online Monitoring for Safety {LTL} Specification via Fully
                  Homomorphic Encryption},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {447--468},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_22},
  doi          = {10.1007/978-3-031-13185-1\_22},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BannoMMBWS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaoTPHR22,
  author       = {Jialu Bao and
                  Nitesh Trivedi and
                  Drashti Pathak and
                  Justin Hsu and
                  Subhajit Roy},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Data-Driven Invariant Learning for Probabilistic Programs},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {33--54},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_3},
  doi          = {10.1007/978-3-031-13185-1\_3},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BaoTPHR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BecchiC22,
  author       = {Anna Becchi and
                  Alessandro Cimatti},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Abstraction Modulo Stability for Reverse Engineering},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {469--489},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_23},
  doi          = {10.1007/978-3-031-13185-1\_23},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BecchiC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BeutnerF22,
  author       = {Raven Beutner and
                  Bernd Finkbeiner},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Software Verification of Hyperproperties Beyond k-Safety},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {341--362},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_17},
  doi          = {10.1007/978-3-031-13185-1\_17},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BeutnerF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BouajjaniBH22,
  author       = {Ahmed Bouajjani and
                  Wael{-}Amine Boutglay and
                  Peter Habermehl},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Data-driven Numerical Invariant Synthesis with Automatic Generation
                  of Attributes},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {282--303},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_14},
  doi          = {10.1007/978-3-031-13185-1\_14},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BouajjaniBH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CasadioKDKKAR22,
  author       = {Marco Casadio and
                  Ekaterina Komendantskaya and
                  Matthew L. Daggitt and
                  Wen Kokke and
                  Guy Katz and
                  Guy Amir and
                  Idan Refaeli},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Neural Network Robustness as a Verification Property: {A} Principled
                  Case Study},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {219--231},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_11},
  doi          = {10.1007/978-3-031-13185-1\_11},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CasadioKDKKAR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChatterjeeGMZ22,
  author       = {Krishnendu Chatterjee and
                  Amir Kafshdar Goharshady and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Sound and Complete Certificates for Quantitative Termination Analysis
                  of Probabilistic Programs},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {55--78},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_4},
  doi          = {10.1007/978-3-031-13185-1\_4},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChatterjeeGMZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChatterjeeMLR22,
  author       = {Prantik Chatterjee and
                  Jaydeepsinh Meda and
                  Akash Lal and
                  Subhajit Roy},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Proof-Guided Underapproximation Widening for Bounded Model Checking},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {304--324},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_15},
  doi          = {10.1007/978-3-031-13185-1\_15},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ChatterjeeMLR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChenKKW22,
  author       = {Mingshuai Chen and
                  Joost{-}Pieter Katoen and
                  Lutz Klinkenberg and
                  Tobias Winkler},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Does a Program Yield the Right Distribution? - Verifying Probabilistic
                  Programs via Generating Functions},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {79--101},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_5},
  doi          = {10.1007/978-3-031-13185-1\_5},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChenKKW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CoenenDFFHHMS22,
  author       = {Norine Coenen and
                  Raimund Dachselt and
                  Bernd Finkbeiner and
                  Hadar Frenkel and
                  Christopher Hahn and
                  Tom Horak and
                  Niklas Metzger and
                  Julian Siber},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Explaining Hyperproperty Violations},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {407--429},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_20},
  doi          = {10.1007/978-3-031-13185-1\_20},
  timestamp    = {Tue, 20 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CoenenDFFHHMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FanSCZL22,
  author       = {Yuxin Fan and
                  Fu Song and
                  Taolue Chen and
                  Liangfeng Zhang and
                  Wanwei Liu},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party
                  Computation},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {385--406},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_19},
  doi          = {10.1007/978-3-031-13185-1\_19},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FanSCZL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FischerSDSV22,
  author       = {Marc Fischer and
                  Christian Sprecher and
                  Dimitar I. Dimitrov and
                  Gagandeep Singh and
                  Martin T. Vechev},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Shared Certificates for Neural Network Verification},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {127--148},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_7},
  doi          = {10.1007/978-3-031-13185-1\_7},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FischerSDSV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GoliaJM22,
  author       = {Priyanka Golia and
                  Brendan Juba and
                  Kuldeep S. Meel},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {A Scalable Shannon Entropy Estimator},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {363--384},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_18},
  doi          = {10.1007/978-3-031-13185-1\_18},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GoliaJM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GoubaultP22,
  author       = {Eric Goubault and
                  Sylvie Putot},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {{RINO:} Robust INner and Outer Approximated Reachability of Neural
                  Networks Controlled Systems},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {511--523},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_25},
  doi          = {10.1007/978-3-031-13185-1\_25},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GoubaultP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Gurfinkel22,
  author       = {Arie Gurfinkel},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Program Verification with Constrained Horn Clauses (Invited Paper)},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {19--29},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_2},
  doi          = {10.1007/978-3-031-13185-1\_2},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Gurfinkel22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JiFFC22,
  author       = {Yucheng Ji and
                  Hongfei Fu and
                  Bin Fang and
                  Haibo Chen},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Affine Loop Invariant Generation via Matrix Algebra},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {257--281},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_13},
  doi          = {10.1007/978-3-031-13185-1\_13},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JiFFC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JinTZWZ22,
  author       = {Peng Jin and
                  Jiaxu Tian and
                  Dapeng Zhi and
                  Xuejun Wen and
                  Min Zhang},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Trainify: {A} CEGAR-Driven Training and Verification Framework for
                  Safe Deep Reinforcement Learning},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {193--218},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_10},
  doi          = {10.1007/978-3-031-13185-1\_10},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/JinTZWZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JungesS22,
  author       = {Sebastian Junges and
                  Matthijs T. J. Spaan},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Abstraction-Refinement for Hierarchical Probabilistic Models},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {102--123},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_6},
  doi          = {10.1007/978-3-031-13185-1\_6},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JungesS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KoriUKSH22,
  author       = {Mayuko Kori and
                  Natsuki Urabe and
                  Shin{-}ya Katsumata and
                  Kohei Suenaga and
                  Ichiro Hasuo},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {The Lattice-Theoretic Essence of Property Directed Reachability Analysis},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {235--256},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_12},
  doi          = {10.1007/978-3-031-13185-1\_12},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KoriUKSH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PaulsenW22,
  author       = {Brandon Paulsen and
                  Chao Wang},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Example Guided Synthesis of Linear Approximations for Neural Network
                  Verification},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {149--170},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_8},
  doi          = {10.1007/978-3-031-13185-1\_8},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PaulsenW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PhamS22,
  author       = {Long H. Pham and
                  Jun Sun},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Verifying Neural Networks Against Backdoor Attacks},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {171--192},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_9},
  doi          = {10.1007/978-3-031-13185-1\_9},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PhamS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PolgreenCGGLLMM22,
  author       = {Elizabeth Polgreen and
                  Kevin Cheang and
                  Pranav Gaddamadugu and
                  Adwait Godbole and
                  Kevin Laeufer and
                  Shaokai Lin and
                  Yatin A. Manerkar and
                  Federico Mora and
                  Sanjit A. Seshia},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {{UCLID5:} Multi-modal Formal Modeling, Verification, and Synthesis},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {538--551},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_27},
  doi          = {10.1007/978-3-031-13185-1\_27},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PolgreenCGGLLMM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Rungta22,
  author       = {Neha Rungta},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {A Billion {SMT} Queries a Day (Invited Paper)},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_1},
  doi          = {10.1007/978-3-031-13185-1\_1},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Rungta22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YuLB22,
  author       = {Geunyeol Yu and
                  Jia Lee and
                  Kyungmin Bae},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {STLmc: Robust {STL} Model Checking of Hybrid Systems Using {SMT}},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {524--537},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_26},
  doi          = {10.1007/978-3-031-13185-1\_26},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YuLB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2022-1,
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1},
  doi          = {10.1007/978-3-031-13185-1},
  isbn         = {978-3-031-13184-4},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2022-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.