VMCAI 2013 Accepted Papers

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