- Rayna Dimitrova, Ori Lahav
, Sebastian Wolff:
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14499, Springer 2024, ISBN 978-3-031-50523-2 [contents] - Rayna Dimitrova, Ori Lahav, Sebastian Wolff:
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14500, Springer 2024, ISBN 978-3-031-50520-1 [contents] - 2023
- Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller:
Distributing and Parallelizing Non-canonical Loops. VMCAI 2023: 1-24 - Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI 2023: 25-43 - Sorav Bansal:
StaticPersist: Compiler Support for PMEM Programming. VMCAI 2023: 44-65 - Nicolas Berthier, Narges Khakpour:
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. VMCAI 2023: 66-90 - Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
Satisfiability Modulo Custom Theories in Z3. VMCAI 2023: 91-105 - Michele Boreale, Luisa Collodi:
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. VMCAI 2023: 106-128 - Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil:
A Pragmatic Approach to Stateful Partial Order Reduction. VMCAI 2023: 129-154 - Jérôme Feret, Albin Salazar:
A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. VMCAI 2023: 228-251 - Amir Kafshdar Goharshady, Ahmed Khaled Zaher:
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. VMCAI 2023: 177-202 - Anan Kabaha, Dana Drachsler-Cohen:
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. VMCAI 2023: 203-227 - Jens Van der Plas, Quentin Stiévenart, Coen De Roover:
Result Invalidation for Incremental Modular Analyses. VMCAI 2023: 296-319 - Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt:
CosySEL: Improving SAT Solving Using Local Symmetries. VMCAI 2023: 252-266 - Luca Di Stefano, Frédéric Lang:
Compositional Verification of Stigmergic Collective Systems. VMCAI 2023: 155-176 - Ignacio Tiraboschi, Tamara Rezk, Xavier Rival:
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. VMCAI 2023: 267-295 - Cole Vick, Kenneth L. McMillan:
Synthesizing History and Prophecy Variables for Symbolic Model Checking. VMCAI 2023: 320-340 - Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich:
Solving Constrained Horn Clauses over Algebraic Data Types. VMCAI 2023: 341-365 - Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo:
ARENA: Enhancing Abstract Refinement for Neural Network Verification. VMCAI 2023: 366-388 - Cezara Dragoi, Michael Emmi, Jingbo Wang:
Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13881, Springer 2023, ISBN 978-3-031-24949-5 [contents] - 2022
- Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara:
Relational String Abstract Domains. VMCAI 2022: 20-42 - Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Flavors of Sequential Information Flow. VMCAI 2022: 1-19 - David Bayani, Stefan Mitsch:
Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. VMCAI 2022: 43-68 - Gidon Ernst:
Loop Verification with Invariants and Contracts. VMCAI 2022: 69-92 - Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang:
EPMC Gets Knowledge in Multi-agent Systems. VMCAI 2022: 93-107 - Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron:
High Assurance Software for Financial Regulation and Business Platforms. VMCAI 2022: 108-126 - Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen:
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI 2022: 127-150 - Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt:
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. VMCAI 2022: 151-173 - Depeng Liu, Bow-Yaw Wang, Lijun Zhang:
Verifying Pufferfish Privacy in Hidden Markov Models. VMCAI 2022: 174-196 - Solène Mirliaz, David Pichardie:
A Flow-Insensitive-Complete Program Representation. VMCAI 2022: 197-218
