| 2015 | A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. Khalil Ghorbal, Andrew Sogokon, André Platzer |
| 2015 | A Model for Industrial Real-Time Systems. Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie |
| 2015 | Abstracting Induction by Extrapolation and Interpolation. Patrick Cousot |
| 2015 | Abstracting and Counting Synchronizing Processes. Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2015 | Abstraction of Arrays Based on Non Contiguous Partitions. Jiangchao Liu, Xavier Rival |
| 2015 | Abstraction-Based Computation of Reward Measures for Markov Automata. Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2015 | An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. Maria Christakis, Peter Müller, Valentin Wüstholz |
| 2015 | Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. Peter Backes, Jan Reineke |
| 2015 | Automatic Inference of Heap Properties Exploiting Value Domains. Pietro Ferrara, Peter Müller, Milos Novácek |
| 2015 | Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Assalé Adjé, Pierre-Loïc Garoche |
| 2015 | Bounded Implementations of Replicated Data Types. Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp |
| 2015 | Debugging Process Algebra Specifications. Gwen Salaün, Lina Ye |
| 2015 | Dependent Array Type Inference from Tests. He Zhu, Aditya V. Nori, Suresh Jagannathan |
| 2015 | Distributed Markov Chains. Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan |
| 2015 | Effective Abstractions for Verification under Relaxed Memory Models. Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
| 2015 | Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. Pavithra Prabhakar, Miriam Garcia Soto |
| 2015 | From Verification to Optimizations. Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck |
| 2015 | Induction for SMT Solvers. Andrew Reynolds, Viktor Kuncak |
| 2015 | Path Sensitive Cache Analysis Using Cache Miss Paths. Kartik Nagar, Y. N. Srikant |
| 2015 | Property Directed Polyhedral Abstraction. Nikolaj S. Bjørner, Arie Gurfinkel |
| 2015 | Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. Caterina Urban, Antoine Miné |
| 2015 | Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. Maria Christakis, Patrice Godefroid |
| 2015 | Tree Automata-Based Refinement with Application to Horn Clause Verification. Bishoksan Kafle, John P. Gallagher |
| 2015 | Variations on the Stochastic Shortest Path Problem. Mickael Randour, Jean-François Raskin, Ocan Sankur |
| 2014 | Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen |