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