VMCAI

Keyphrases

Publications

2023

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
CosySEL: Improving SAT Solving Using Local Symmetries. VMCAI (2023)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
A Pragmatic Approach to Stateful Partial Order Reduction. VMCAI (2023)
Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich
Solving Constrained Horn Clauses over Algebraic Data Types. VMCAI (2023)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
Distributing and Parallelizing Non-canonical Loops. VMCAI (2023)
Nicolas Berthier, Narges Khakpour
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. VMCAI (2023)
Luca Di Stefano, Frédéric Lang
Compositional Verification of Stigmergic Collective Systems. VMCAI (2023)
Sorav Bansal
StaticPersist: Compiler Support for PMEM Programming. VMCAI (2023)
Amir Kafshdar Goharshady, Ahmed Khaled Zaher
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. VMCAI (2023)
Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Result Invalidation for Incremental Modular Analyses. VMCAI (2023)
Cole Vick, Kenneth L. McMillan
Synthesizing History and Prophecy Variables for Symbolic Model Checking. VMCAI (2023)
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
Satisfiability Modulo Custom Theories in Z3. VMCAI (2023)
Michele Boreale, Luisa Collodi
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. VMCAI (2023)
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
ARENA: Enhancing Abstract Refinement for Neural Network Verification. VMCAI (2023)
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. VMCAI (2023)
Anan Kabaha, Dana Drachsler-Cohen
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. VMCAI (2023)
Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI (2023)
Jérôme Feret, Albin Salazar
A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. VMCAI (2023)

volume 13881, 2023

Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings VMCAI 13881 (2023)

2022

volume 13182, 2022

Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings VMCAI 13182 (2022)

2021

volume 12597, 2021

Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings VMCAI 12597 (2021)