default search action

combined dblp search
author search
venue search
publication search

ask others

26th VMCAI 2025: Denver, CO, USA - Part II

> 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/2025-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2025-2
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi:
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II. Lecture Notes in Computer Science 15530, Springer 2025, ISBN 978-3-031-82702-0

Abstract Interpretation

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Mastroeni25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Mastroeni25
Isabella Mastroeni:
Abstract Local Completeness - A Local Form of Abstract Non-interference. 3-25
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PincusK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PincusK25
Jared Pincus, Eric Koskinen:
An Abstract Domain for Heap Commutativity. 26-49
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AssoliniPM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AssoliniPM25
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni:
A Static Analysis of Entanglement. 50-71

Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ZhangTN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ZhangTN25
Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi:
Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications. 75-96
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AzeemCKKMMW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AzeemCKKMMW25
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger:
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. 97-120
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BoraJMU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BoraJMU25
Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta:
LLOR: Automated Repair of OpenMP Programs. 121-136
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/MaderbacherWLB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/MaderbacherWLB25
Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem:
Synthesis of Controllers for Continuous Blackbox Systems. 137-159

Applications

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WangLZFSPZS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WangLZFSPZS25
Yuncheng Wang, Puzhuo Liu, Yaowen Zheng, Dongliang Fang, Shuaizong Si, Zhiwen Pan, Weidong Zhang, Limin Sun:
Automated Flaw Detection for Industrial Robot RESTful Service. 163-184
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BucevCFSK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BucevCFSK25
Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak:
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. 185-207
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BruhnsHHHS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BruhnsHHHS25
Gustav S. Bruhns, Martin P. Hansen, Rasmus Hebsgaard, Frederik M. W. Hyldgaard, Jirí Srba:
ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks. 208-230
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChaitRothN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChaitRothN25
Devora Chait-Roth, Kedar S. Namjoshi:
Constructing Trustworthy Smart Contracts. 231-252

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.