VMCAI (2)

Publications

2024

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) (2024)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) (2024)
Twain Byrnes, Yoshiki Takashima, Limin Jia
Automatically Enforcing Rust Trait Properties. VMCAI (2) (2024)
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele
Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) (2024)
Joachim Bard, Swen Jacobs, Yakir Vizel
Automatic and Incremental Repair for Speculative Information Leaks. VMCAI (2) (2024)
Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) (2024)
Michele Boreale, Luisa Collodi
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. VMCAI (2) (2024)
Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen
Verification of Neural Networks' Local Differential Classification Privacy. VMCAI (2) (2024)
Yuxin Deng, Huiling Wu, Ming Xu
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) (2024)
Francesco Parolini, Antoine Miné
Sound Abstract Nonexploitability Analysis. VMCAI (2) (2024)
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) (2024)
Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
A Fully Verified Persistency Library. VMCAI (2) (2024)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. VMCAI (2) (2024)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
Borrowable Fractional Ownership Types for Verification. VMCAI (2) (2024)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) (2024)

volume 14500, 2024

Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II VMCAI (2) 14500 (2024)