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