Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

CAV 2024, Montreal, QC, Canada - 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/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2024-2
Arie Gurfinkel, Vijay Ganesh:
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14682, Springer 2024, ISBN 978-3-031-65629-3

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/cav/ArmborstBHHRST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ArmborstBHHRST24
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche:
The VerCors Verifier: A Progress Report. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaADJS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaADJS24
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. 19-43
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LuoS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LuoS24
Ziqing Luo, Stephen F. Siegel:
Collective Contracts for Message-Passing Parallel Programs. 44-68

Distributed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/cav/WilcoxFPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WilcoxFPS24
James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham:
mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic. 71-85
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FrenkelCPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FrenkelCPS24
Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham:
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas. 86-108
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BertramLH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BertramLH24
Noah Bertram, Tean Lai, Justin Hsu:
Verifying Cake-Cutting, Faster. 109-129

Runtime Verification and Monitoring

- view
  authority control:
- export record
  dblp key:
  - conf/cav/HiplerKLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HiplerKLS24
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Runtime Verification. 133-155
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HubletLBKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HubletLBKT24
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Proactive Real-Time First-Order Enforcement. 156-181
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AngM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AngM24
Zhendong Ang, Umang Mathur:
Predictive Monitoring with Strong Trace Prefixes. 182-204

Case Studies and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/cav/BaumeisterFKLMST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaumeisterFKLMST24
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. 207-218
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BecchiCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BecchiCS24
Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione:
Testing the Migration from Analog to Software-Based Railway Interlocking Systems. 219-232
- view
  authority control:
- export record
  dblp key:
  - conf/cav/JudsonECAKSP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JudsonECAKSP24
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac:
soid: A Tool for Legal Accountability for Automated Decision Making. 233-246

Machine Learning and Neural Networks

- view
  authority control:
- export record
  dblp key:
  - conf/cav/WuIZTDKRAJBHLWZKKB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WuIZTDKRAJBHLWZKKB24
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett:
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. 249-264
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AzeemGKKMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AzeemGKKMR24
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder:
Monitizer: Automating Design and Evaluation of Neural Network Monitors. 265-279
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LiPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiPP24
Yixuan Li, Julian Parsert, Elizabeth Polgreen:
Guiding Enumerative Program Synthesis with Large Language Models. 280-301
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WenCSXQHLCT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WenCSXQHLCT24
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. 302-328
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AthavaleBCMNW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AthavaleBCMNW24
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. 329-351
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ZhangS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhangS24
Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. 352-376
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ShapiraWSD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ShapiraWSD24
Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen:
Boosting Few-Pixel Robustness Verification via Covering Verification Designs. 377-400
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ZhiWLOZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhiWLOZ24
Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang:
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. 401-426

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.