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 |
|---|---|---|
| 2013 | A Constraint Solver Based on Abstract Domains. | Marie Pelleau, Antoine Min, Charlotte Truchet, Frdric Benhamou |
| 2013 | Sound and Complete Flow Typing with Unions, Intersections and Negations. | David J. Pearce |
| 2013 | Uncovering Symmetries in Irregular Process Networks. | Kedar S. Namjoshi, Richard J. Trefler |
| 2013 | A Model-Constructing Satisfiability Calculus. | Leonardo Mendona de Moura, Dejan Jovanovic |
| 2013 | Causality Checking for Complex System Models. | Florian Leitner-Fischer, Stefan Leue |
| 2013 | SMT-Based Array Invariant Generation. | Daniel Larraz, Enric Rodrguez-Carbonell, Albert Rubio |
| 2013 | Towards Efficient Parameterized Synthesis. | Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2013 | Knockout Prediction for Reaction Networks with Partial Kinetic Information. | Mathias John, Mirabelle Nebut, Joachim Niehren |
| 2013 | Reductions for Synthesis Procedures. | Swen Jacobs, Viktor Kuncak, Philippe Suter |
| 2013 | Abstract Read Permissions: Fractional Permissions without the Fractions. | Stefan Heule, K. Rustan M. Leino, Peter Mller, Alexander J. Summers |
| 2013 | Abstraction of Syntax. | Vijay Victor D'Silva, Daniel Kroening |
| 2013 | SMT-Based Bisimulation Minimisation of Markov Models. | Christian Dehnert, Joost-Pieter Katoen, David Parker |
| 2013 | Static Analysis of String Encoders and Decoders. | Loris D'Antoni, Margus Veanes |
| 2013 | Tool Integration with the Evidential Tool Bus. | Simon Cruanes, Grgoire Hamon, Sam Owre, Natarajan Shankar |
| 2013 | Automatic Inference of Necessary Preconditions. | Patrick Cousot, Radhia Cousot, Manuel Fhndrich, Francesco Logozzo |
| 2013 | Flow-Sensitive Fault Localization. | Jrgen Christ, Evren Ermis, Martin Schf, Thomas Wies |
| 2013 | Compositional Sequentialization of Periodic Programs. | Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman |
| 2013 | An Abstract Interpretation of DPLL(T). | Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
| 2013 | Quantifying Information Leakage of Randomized Protocols. | Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski |
| 2013 | All for the Price of Few. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk |
| 2012 | Ideal Abstractions for Well-Structured Transition Systems. | Damien Zufferey, Thomas Wies, Thomas A. Henzinger |
| 2012 | Loop Invariant Symbolic Execution for Parallel Programs. | Stephen F. Siegel, Timothy K. Zirkel |
| 2012 | A General Framework for Probabilistic Characterizing Formulae. | Joshua Sack, Lijun Zhang |
| 2012 | Decision Procedures for Region Logic. | Stan Rosenberg, Anindya Banerjee, David A. Naumann |
| 2012 | versat: A Verified Modern SAT Solver. | Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy |
326–350 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