CAV (2)

Keyphrases

Publications

2024

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham
mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic. CAV (2) (2024)
Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs. CAV (2) (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
Parsimonious Optimal Dynamic Partial Order Reduction. CAV (2) (2024)
Noah Bertram, Tean Lai, Justin Hsu
Verifying Cake-Cutting, Faster. CAV (2) (2024)
Zhendong Ang, Umang Mathur
Predictive Monitoring with Strong Trace Prefixes. CAV (2) (2024)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) (2024)
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
The VerCors Verifier: A Progress Report. CAV (2) (2024)
Yixuan Li, Julian Parsert, Elizabeth Polgreen
Guiding Enumerative Program Synthesis with Large Language Models. CAV (2) (2024)
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. CAV (2) (2024)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
Proactive Real-Time First-Order Enforcement. CAV (2) (2024)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
Monitizer: Automating Design and Evaluation of Neural Network Monitors. CAV (2) (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) (2024)
Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) (2024)
Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas. CAV (2) (2024)
Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione
Testing the Migration from Analog to Software-Based Railway Interlocking Systems. CAV (2) (2024)
Ruihan Zhang, Jun Sun
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. CAV (2) (2024)
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. CAV (2) (2024)
Ziqing Luo, Stephen F. Siegel
Collective Contracts for Message-Passing Parallel Programs. CAV (2) (2024)
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. CAV (2) (2024)
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Runtime Verification. CAV (2) (2024)

volume 14682, 2024

Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II CAV (2) 14682 (2024)

2023

volume 13965, 2023

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II CAV (2) 13965 (2023)

2022

volume 13372, 2022

Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II CAV (2) 13372 (2022)