Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cav/AmirMZKS23,
  author       = {Guy Amir and
                  Osher Maayan and
                  Tom Zelazny and
                  Guy Katz and
                  Michael Schapira},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Verifying Generalization in Deep Learning},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {438--455},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_21},
  doi          = {10.1007/978-3-031-37703-7\_21},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AmirMZKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BeutnerFFM23,
  author       = {Raven Beutner and
                  Bernd Finkbeiner and
                  Hadar Frenkel and
                  Niklas Metzger},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Second-Order Hyperproperties},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {309--332},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_15},
  doi          = {10.1007/978-3-031-37703-7\_15},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BeutnerFFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BlichaBS23,
  author       = {Martin Blicha and
                  Konstantin Britikov and
                  Natasha Sharygina},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {The Golem Horn Solver},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {209--223},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_10},
  doi          = {10.1007/978-3-031-37703-7\_10},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BlichaBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CoslerHMST23,
  author       = {Matthias Cosler and
                  Christopher Hahn and
                  Daniel Mendoza and
                  Frederik Schmitt and
                  Caroline Trippel},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {nl2spec: Interactively Translating Unstructured Natural Language to
                  Temporal Logics with Large Language Models},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {383--396},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_18},
  doi          = {10.1007/978-3-031-37703-7\_18},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CoslerHMST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GarciaContrerasKSG23,
  author       = {Isabel Garcia{-}Contreras and
                  Hari Govind V. K. and
                  Sharon Shoham and
                  Arie Gurfinkel},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Fast Approximations of Quantifier Elimination},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {64--86},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_4},
  doi          = {10.1007/978-3-031-37703-7\_4},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GarciaContrerasKSG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Goldberg23,
  author       = {Eugene Goldberg},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Partial Quantifier Elimination and Property Generation},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {110--131},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_6},
  doi          = {10.1007/978-3-031-37703-7\_6},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Goldberg23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HenzingerKKM23,
  author       = {Thomas A. Henzinger and
                  Mahyar Karimi and
                  Konstantin Kueffner and
                  Kaushik Mallik},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Monitoring Algorithmic Fairness},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {358--382},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_17},
  doi          = {10.1007/978-3-031-37703-7\_17},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HenzingerKKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JezLMR23,
  author       = {Artur Jez and
                  Anthony W. Lin and
                  Oliver Markgraf and
                  Philipp R{\"{u}}mmer},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Decision Procedures for Sequence Theories},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {18--40},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_2},
  doi          = {10.1007/978-3-031-37703-7\_2},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JezLMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KoriABBGH23,
  author       = {Mayuko Kori and
                  Flavio Ascari and
                  Filippo Bonchi and
                  Roberto Bruni and
                  Roberta Gori and
                  Ichiro Hasuo},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Exploiting Adjoints in Property Directed Reachability Analysis},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {41--63},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_3},
  doi          = {10.1007/978-3-031-37703-7\_3},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KoriABBGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LiWW23,
  author       = {Yannan Li and
                  Jingbo Wang and
                  Chao Wang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Certifying the Fairness of {KNN} in the Presence of Dataset Bias},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {335--357},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_16},
  doi          = {10.1007/978-3-031-37703-7\_16},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LiWW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LiXZ23,
  author       = {Haokun Li and
                  Bican Xia and
                  Tianqi Zhao},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Local Search for Solving Satisfiability of Polynomial Formulas},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {87--109},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_5},
  doi          = {10.1007/978-3-031-37703-7\_5},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LiXZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LopezCTJ23,
  author       = {Diego Manzanas Lopez and
                  Sung Woo Choi and
                  Hoang{-}Dung Tran and
                  Taylor T. Johnson},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {{NNV} 2.0: The Neural Network Verification Tool},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {397--412},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_19},
  doi          = {10.1007/978-3-031-37703-7\_19},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LopezCTJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LotzGDKKMN23,
  author       = {Kevin Lotz and
                  Amit Goel and
                  Bruno Dutertre and
                  Benjamin Kiesl{-}Reiter and
                  Soonho Kong and
                  Rupak Majumdar and
                  Dirk Nowotka},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Solving String Constraints Using {SAT}},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {187--208},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_9},
  doi          = {10.1007/978-3-031-37703-7\_9},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LotzGDKKMN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/NiemetzP23,
  author       = {Aina Niemetz and
                  Mathias Preiner},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Bitwuzla},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_1},
  doi          = {10.1007/978-3-031-37703-7\_1},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NiemetzP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/OzdemirKTB23,
  author       = {Alex Ozdemir and
                  Gereon Kremer and
                  Cesare Tinelli and
                  Clark W. Barrett},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Satisfiability Modulo Finite Fields},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {163--186},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_8},
  doi          = {10.1007/978-3-031-37703-7\_8},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/OzdemirKTB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/StanfordV23,
  author       = {Caleb Stanford and
                  Margus Veanes},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Incremental Dead State Detection in Logarithmic Time},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {241--264},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_12},
  doi          = {10.1007/978-3-031-37703-7\_12},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/StanfordV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/TsaiFLSWY23a,
  author       = {Ming{-}Hsien Tsai and
                  Yu{-}Fu Fu and
                  Jiaxiang Liu and
                  Xiaomu Shi and
                  Bow{-}Yaw Wang and
                  Bo{-}Yin Yang},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {CoqCryptoLine: {A} Verified Model Checker with Certified Results},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {227--240},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_11},
  doi          = {10.1007/978-3-031-37703-7\_11},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TsaiFLSWY23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/WuHHLS23,
  author       = {Wenhao Wu and
                  Jan H{\"{u}}ckelheim and
                  Paul D. Hovland and
                  Ziqing Luo and
                  Stephen F. Siegel},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free
                  Programs" is Guaranteed},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {265--287},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_13},
  doi          = {10.1007/978-3-031-37703-7\_13},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/WuHHLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/XiaBCGLP23,
  author       = {Yechuan Xia and
                  Anna Becchi and
                  Alessandro Cimatti and
                  Alberto Griggio and
                  Jianwen Li and
                  Geguang Pu},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Searching for i-Good Lemmas to Accelerate Safety Model Checking},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {288--308},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_14},
  doi          = {10.1007/978-3-031-37703-7\_14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/XiaBCGLP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YangM23,
  author       = {Jiong Yang and
                  Kuldeep S. Meel},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Rounding Meets Approximate Model Counting},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {132--162},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_7},
  doi          = {10.1007/978-3-031-37703-7\_7},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YangM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ZhangSS23,
  author       = {Yedi Zhang and
                  Fu Song and
                  Jun Sun},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {QEBVerif: Quantization Error Bound Verification of Neural Networks},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {413--437},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_20},
  doi          = {10.1007/978-3-031-37703-7\_20},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ZhangSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2023-2,
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7},
  doi          = {10.1007/978-3-031-37703-7},
  isbn         = {978-3-031-37702-0},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2023-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.