| 2013 | A Constraint Solver Based on Abstract Domains. Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou |
| 2013 | A Model-Constructing Satisfiability Calculus. Leonardo Mendonça de Moura, Dejan Jovanovic |
| 2013 | Abstract Read Permissions: Fractional Permissions without the Fractions. Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers |
| 2013 | Abstraction of Syntax. Vijay Victor D'Silva, Daniel Kroening |
| 2013 | Abstraction-Guided Synthesis. Eran Yahav |
| 2013 | All for the Price of Few. Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
| 2013 | An Abstract Interpretation of DPLL(T). Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
| 2013 | Automata as Proofs. Andreas Podelski |
| 2013 | Automatic Inference of Necessary Preconditions. Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo |
| 2013 | Causality Checking for Complex System Models. Florian Leitner-Fischer, Stefan Leue |
| 2013 | ClabureDB: Classified Bug-Reports Database. Jiri Slaby, Jan Strejcek, Marek Trtík |
| 2013 | Complete Abstractions Everywhere. Francesco Ranzato |
| 2013 | Compositional Sequentialization of Periodic Programs. Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman |
| 2013 | Compositional and Lightweight Dependent Type Inference for ML. He Zhu, Suresh Jagannathan |
| 2013 | Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. Yassamine Seladji, Olivier Bouissou |
| 2013 | Flow-Sensitive Fault Localization. Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies |
| 2013 | Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2013 | Knockout Prediction for Reaction Networks with Partial Kinetic Information. Mathias John, Mirabelle Nebut, Joachim Niehren |
| 2013 | Logico-Numerical Max-Strategy Iteration. Peter Schrammel, Pavle Subotic |
| 2013 | Quantifying Information Leakage of Randomized Protocols. Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski |
| 2013 | Reduced Product Combination of Abstract Domains for Shapes. Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2013 | Reductions for Synthesis Procedures. Swen Jacobs, Viktor Kuncak, Philippe Suter |
| 2013 | Robustness Analysis of Networked Systems. Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2013 | SMT-Based Array Invariant Generation. Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio |
| 2013 | SMT-Based Bisimulation Minimisation of Markov Models. Christian Dehnert, Joost-Pieter Katoen, David Parker |
| 2013 | Sound and Complete Flow Typing with Unions, Intersections and Negations. David J. Pearce |
| 2013 | State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu |
| 2013 | Static Analysis of String Encoders and Decoders. Loris D'Antoni, Margus Veanes |
| 2013 | Tool Integration with the Evidential Tool Bus. Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar |
| 2013 | Towards Efficient Parameterized Synthesis. Ayrat Khalimov, Swen Jacobs, Roderick Bloem |
| 2013 | Uncovering Symmetries in Irregular Process Networks. Kedar S. Namjoshi, Richard J. Trefler |
| 2013 | Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni |