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 |
|---|---|---|
| 2017 | Using Abstract Interpretation to Correct Synchronization Faults. | Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen |
| 2017 | Complete Abstractions and Subclassical Modal Logics. | Vijay Victor D'Silva, Marcelo Sousa |
| 2017 | Independence Abstractions and Models of Concurrency. | Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa |
| 2017 | Detecting Strict Aliasing Violations in the Wild. | Pascal Cuoq, Loc Runarvot, Alexander Cherepanov |
| 2017 | Matching Multiplications in Bit-Vector Formulas. | Supratik Chakraborty, Ashutosh Gupta, Rahul Jain |
| 2017 | Reduction of Workflow Nets for Generalised Soundness Verification. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2017 | Static Analysis of Communicating Processes Using Symbolic Transducers. | Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall |
| 2017 | Synthesizing Non-Vacuous Systems. | Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman |
| 2017 | Structuring Abstract Interpreters Through State and Value Abstractions. | Sandrine Blazy, David Bhler, Boris Yakobowski |
| 2017 | Bringing LTL Model Checking to Biologists. | Zara Ahmed, David Benqu, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov |
| 2017 | Effective Bug Finding in C Programs with Shape and Effect Abstractions. | Iago Abal, Claus Brabrand, Andrzej Wasowski |
| 2017 | Partitioned Memory Models for Program Analysis. | Wei Wang, Clark W. Barrett, Thomas Wies |
| 2016 | A Method for Invariant Generation for Polynomial Continuous Systems. | Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, Andr Platzer |
| 2016 | Property Directed Abstract Interpretation. | Noam Rinetzky, Sharon Shoham |
| 2016 | Automating Abstract Interpretation. | Thomas W. Reps, Aditya V. Thakur |
| 2016 | D^3 : Data-Driven Disjunctive Abstraction. | Hila Peleg, Sharon Shoham, Eran Yahav |
| 2016 | Hybrid Analysis for Partial Order Reduction of Programs with Arrays. | Pavel Parzek |
| 2016 | Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. | Alexandre Marchal, Alexis Fouilh, Tim King, David Monniaux, Michal Prin |
| 2016 | Regular Symmetry Patterns. | Anthony W. Lin, Truong Khanh Nguyen, Philipp Rmmer, Jun Sun |
| 2016 | Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2016 | Program Analysis with Local Policy Iteration. | Egor George Karpenkov, David Monniaux, Philipp Wendler |
| 2016 | Cloud-Based Verification of Concurrent Software. | Gerard J. Holzmann |
| 2016 | Exact Heap Summaries for Symbolic Execution. | Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person |
| 2016 | Lipschitz Robustness of Timed I/O Systems. | Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
| 2016 | Pointer Race Freedom. | Frdric Haziza, Luks Holk, Roland Meyer, Sebastian Wolff |
226–250 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