Verification, Model Checking and Abstract Interpretation
VMCAI
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
642
2002–2026
Papers per year
200231 peak2026
Most published authors
VMCAI papers
642 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2025 | Abstract Local Completeness - A Local Form of Abstract Non-interference. | Isabella Mastroeni |
| 2025 | Synthesis of Controllers for Continuous Blackbox Systems. | Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem |
| 2025 | Affine Disjunctive Invariant Generation with Farkas' Lemma. | Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li |
| 2025 | A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic. | Daisuke Ishii |
| 2025 | Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. | Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
| 2025 | Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. | Paul Eichler, Swen Jacobs, Chana Weil-Kennedy |
| 2025 | Two-Way Collaboration Between Flow and Proof in SPARK. | Claire Dross, Joffrey Huguet, Johannes Kanig |
| 2025 | Constructing Trustworthy Smart Contracts. | Devora Chait-Roth, Kedar S. Namjoshi |
| 2025 | Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. | Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak |
| 2025 | Space-Efficient Model-Checking of Higher-Order Recursion Schemes. | Florian Bruse |
| 2025 | ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks. | Gustav S. Bruhns, Martin P. Hansen, Rasmus Hebsgaard, Frederik M. W. Hyldgaard, Jir Srba |
| 2025 | LLOR: Automated Repair of OpenMP Programs. | Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta |
| 2025 | 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. | Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretnsk, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger |
| 2025 | A Static Analysis of Entanglement. | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 2024 | Model-Guided Synthesis for LTL over Finite Traces. | Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi |
| 2024 | Efficient Local Search for Nonlinear Real Arithmetic. | Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai |
| 2024 | Function Synthesis for Maximizing Model Counting. | Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier |
| 2024 | Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. | Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang |
| 2024 | Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. | Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
| 2024 | Solving Two-Player Games Under Progress Assumptions. | Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak |
| 2024 | Correctness Witness Validation by Abstract Interpretation. | Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
| 2024 | Verification of Neural Networks' Local Differential Classification Privacy. | Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen |
| 2024 | Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider, Guillermo A. Prez |
| 2024 | Sound Abstract Nonexploitability Analysis. | Francesco Parolini, Antoine Min |
| 2024 | Abstract Interpretation-Based Feature Importance for Support Vector Machines. | Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella |
26–50 of 642← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems