Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Proceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2013.

@proceedings{VMCAI-2013,
	address       = "Rome, Italy",
	doi           = "10.1007/978-3-642-35873-9",
	editor        = "Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni",
	isbn          = "['978-3-642-35872-2', '978-3-642-35873-9']",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 7737,
	year          = 2013,
}

Contents (31 items)

3 ×#abstract domain
3 ×#network
3 ×#synthesis
2 ×#abstraction
2 ×#analysis
2 ×#composition
2 ×#modelling
2 ×#reduction
2 ×#smt
2 ×#tool support

VMCAI-2013-MouraJ #calculus #satisfiability

A Model-Constructing Satisfiability Calculus (LMdM, DJ), pp. 1–12.

VMCAI-2013-Podelski #automaton #proving

Automata as Proofs (AP), pp. 13–14.

VMCAI-2013-Ranzato #abstraction

Complete Abstractions Everywhere (FR), pp. 15–26.

VMCAI-2013-Yahav #synthesis

Abstraction-Guided Synthesis (EY), p. 27.

VMCAI-2013-DehnertKP #bisimulation #markov #modelling #smt

SMT-Based Bisimulation Minimisation of Markov Models (CD, JPK, DP), pp. 28–47.

VMCAI-2013-PrabhakarDMV #hybrid

Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.

VMCAI-2013-BiondiLMW #information management #protocol #random

Quantifying Information Leakage of Randomized Protocols (FB, AL, PM, AW), pp. 68–87.

VMCAI-2013-JacobsKS #reduction #synthesis

Reductions for Synthesis Procedures (SJ, VK, PS), pp. 88–107.

VMCAI-2013-KhalimovJB #performance #synthesis #towards

Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.

VMCAI-2013-CousotCFL #automation

Automatic Inference of Necessary Preconditions (PC, RC, MF, FL), pp. 128–148.

VMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.

VMCAI-2013-LarrazRR #array #generative #invariant #smt

SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.

VMCAI-2013-ChristESW #fault #locality

Flow-Sensitive Fault Localization (JC, EE, MS, TW), pp. 189–208.

VMCAI-2013-DAntoniV #static analysis #string

Static Analysis of String Encoders and Decoders (LD, MV), pp. 209–228.

VMCAI-2013-SamantaDC #analysis #robust

Robustness Analysis of Networked Systems (RS, JVD, SC), pp. 229–247.

VMCAI-2013-Leitner-FischerL #modelling

Causality Checking for Complex System Models (FLF, SL), pp. 248–267.

VMCAI-2013-SlabyST #classification #database #named

ClabureDB: Classified Bug-Reports Database (JS, JS, MT), pp. 268–274.

VMCAI-2013-CruanesHOS #integration #tool support

Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.

VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference

Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.

VMCAI-2013-HeuleLMS

Abstract Read Permissions: Fractional Permissions without the Fractions (SH, KRML, PM, AJS), pp. 315–334.

VMCAI-2013-Pearce #type system

Sound and Complete Flow Typing with Unions, Intersections and Negations (DJP), pp. 335–354.

VMCAI-2013-JohnNN #network #predict

Knockout Prediction for Reaction Networks with Partial Kinetic Information (MJ, MN, JN), pp. 355–374.

VMCAI-2013-ToubhansCR #abstract domain

Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.

VMCAI-2013-DSilvaK #abstraction #syntax

Abstraction of Syntax (VD, DK), pp. 396–413.

VMCAI-2013-SchrammelS

Logico-Numerical Max-Strategy Iteration (PS, PS), pp. 414–433.

VMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving

A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.

VMCAI-2013-BrainDHGK #abstract interpretation

An Abstract Interpretation of DPLL(T) (MB, VD, LH, AG, DK), pp. 455–475.

VMCAI-2013-AbdullaHH

All for the Price of Few (PAA, FH, LH), pp. 476–495.

VMCAI-2013-NamjoshiT #network #process #symmetry

Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.

VMCAI-2013-ZhengS0LD0 #network #partial order #reduction #using

State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.

VMCAI-2013-ChakiGKS #composition #source code

Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.