default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCAV 2024, Montreal, QC, Canada - Part II
- 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
- 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 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. 19-43 - Ziqing Luo, Stephen F. Siegel:
Collective Contracts for Message-Passing Parallel Programs. 44-68
Distributed Systems
- 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 - Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham:
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas. 86-108 - Noah Bertram, Tean Lai, Justin Hsu:
Verifying Cake-Cutting, Faster. 109-129
Runtime Verification and Monitoring
- Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Runtime Verification. 133-155 - François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Proactive Real-Time First-Order Enforcement. 156-181 - Zhendong Ang, Umang Mathur:
Predictive Monitoring with Strong Trace Prefixes. 182-204
Case Studies and Tools
- 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 - Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione:
Testing the Migration from Analog to Software-Based Railway Interlocking Systems. 219-232 - 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
- 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 - Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder:
Monitizer: Automating Design and Evaluation of Neural Network Monitors. 265-279 - Yixuan Li, Julian Parsert, Elizabeth Polgreen:
Guiding Enumerative Program Synthesis with Large Language Models. 280-301 - 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 - Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. 329-351 - Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. 352-376 - Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen:
Boosting Few-Pixel Robustness Verification via Covering Verification Designs. 377-400 - Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang:
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. 401-426
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.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
