default search action

combined dblp search
author search
venue search
publication search

ask others

25th VMCAI 2024: London, UK - Part I

> Home > Conferences and Workshops > VMCAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2024-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2024-1
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

Abstract Interpretation

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HeckingHarbuschQS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HeckingHarbuschQS24
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund:
Formal Runtime Error Detection During Development in the Automotive Industry. 3-26
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PalRUZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PalRUZ24
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella:
Abstract Interpretation-Based Feature Importance for Support Vector Machines. 27-49
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/MilaneseM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/MilaneseM24
Marco Milanese, Antoine Miné:
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. 50-73
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SaanSESTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SaanSESTV24
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani:
Correctness Witness Validation by Abstract Interpretation. 74-97

Infinite-State Systems

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AmatDB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AmatDB24
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. 101-123
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AndreEJK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AndreEJK24
Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. 124-146
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FinkelH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FinkelH24
Alain Finkel, Mathieu Hilaire:
Resilience and Home-Space for WSTS. 147-168

Model Checking and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HausmannHPSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HausmannHPSS24
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger:
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. 171-185
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/XiaoLHXLPSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/XiaoLHXLPSV24
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. 186-207
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SchmuckTSN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SchmuckTSN24
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak:
Solving Two-Player Games Under Progress Assumptions. 208-231

SAT, SMT, and Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GuilloudGK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GuilloudGK24
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak:
Interpolation and Quantifiers in Ortholattices. 235-257
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/VigourouxBEM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/VigourouxBEM24
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier:
Function Synthesis for Maximizing Model Counting. 258-279
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AbdullaLR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AbdullaLR24
Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer:
Boosting Constrained Horn Solving by Unsat Core Learning. 280-302
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BoltzSF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BoltzSF24
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey:
On the Verification of the Correctness of a Subgraph Construction Algorithm. 303-325
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WangZLC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WangZLC24
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai:
Efficient Local Search for Nonlinear Real Arithmetic. 326-349

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.