default search action

combined dblp search
author search
venue search
publication search

ask others

34th CAV 2022: Haifa, Israel - Part II

> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2022-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2022-2
Sharon Shoham, Yakir Vizel:
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13372, Springer 2022, ISBN 978-3-031-13187-5

Probabilistic Techniques

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AgarwalGKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AgarwalGKM22
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham:
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. 3-25
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BadingsJJSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BadingsJJSV22
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. 26-47
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CastroDDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CastroDDP22
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Playing Against Fair Adversaries in Stochastic Games with Total Rewards. 48-69
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LeutgebMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LeutgebMZ22
Lorenz Leutgeb, Georg Moser, Florian Zuleger:
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. 70-91
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NiemetzPB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NiemetzPB22
Aina Niemetz, Mathias Preiner, Clark W. Barrett:
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. 92-106

Automata and Logic

- view
  authority control:
- export record
  dblp key:
  - conf/cav/DoveriGM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DoveriGM22
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi:
FORQ-Based Language Inclusion Formal Testing. 109-129
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DardinierPWMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DardinierPWMS22
Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers:
Sound Automation of Magic Wands. 130-151
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LiTFVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiTFVZ22
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. 152-173
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Duret-LutzRCRAS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Duret-LutzRCRAS22
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko:
From Spot 2.0 to Spot 2.10: What's New? 174-187
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HavlenaLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HavlenaLS22
Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková:
Complementing Büchi Automata with Ranker. 188-201

Deductive Verification and Decision Procedures

- view
  authority control:
- export record
  dblp key:
  - conf/cav/NotzliRBBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NotzliRBBT22
Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli:
Even Faster Conflicts and Lazier Reductions for String Solvers. 205-226
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CaiLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CaiLZ22
Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search for SMT on Linear Integer Arithmetic. 227-248
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FaellaP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FaellaP22
Marco Faella, Gennaro Parlato:
Reasoning About Data Trees Using CHCs. 249-271
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CohenWA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CohenWA22
Joshua M. Cohen, Qinshi Wang, Andrew W. Appel:
Verified Erasure Correction in Coq with MathComp and VST. 272-292
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/YuanBTHZB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/YuanBTHZB22
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli:
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. 293-316
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChoiCA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChoiCA22
Joonwon Choi, Adam Chlipala, Arvind:
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. 317-339

Machine Learning

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JothimuruganBBA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JothimuruganBBA22
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Specification-Guided Learning of Nash Equilibria with High Social Welfare. 343-363
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WangLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WangLW22
Jingbo Wang, Yannan Li, Chao Wang:
Synthesizing Fair Decision Trees via Iterative Constraint Solving. 364-385
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BangNCJL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BangNCJL22
Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee:
SMT-Based Translation Validation for Machine Learning Compiler. 386-407
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuanFY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuanFY22
Ji Guan, Wang Fang, Mingsheng Ying:
Verifying Fairness in Quantum Machine Learning. 408-429
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GrosHHKKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GrosHHKKW22
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. 430-443

Synthesis and Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/cav/Oliveira22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Oliveira22
Mateus de Oliveira Oliveira:
Synthesis and Analysis of Petri Nets from Causal Specifications. 447-467
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BlondinMO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BlondinMO22
Michael Blondin, Filip Mazowiecki, Philip Offtermatt:
Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations. 468-489
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KatisMGPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatisMGPS22
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. 490-504
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerMM22
Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis. 505-525
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GittisVF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GittisVF22
Andreas Gittis, Eric Vin, Daniel J. Fremont:
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. 526-546

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.