Gilles Barthe, Manuel V. Hermenegildo
Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2010.

@proceedings{VMCAI-2010,
	address       = "Madrid, Spain",
	doi           = "10.1007/978-3-642-11319-2",
	editor        = "Gilles Barthe and Manuel V. Hermenegildo",
	isbn          = "978-3-642-11318-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 5944,
	year          = 2010,
}

Contents (27 items)

6 ×#analysis
3 ×#model checking
3 ×#probability
3 ×#verification
2 ×#abstraction
2 ×#bound
2 ×#invariant
2 ×#linear
2 ×#reachability
2 ×#realtime

VMCAI-2010-Esparza #analysis #probability #process

Analysis of Systems with Stochastic Process Creation (JE), p. 1.

VMCAI-2010-Leino #concurrent #source code #verification

Verifying Concurrent Programs with Chalice (KRML), p. 2.

VMCAI-2010-WilhelmABGHRWW #analysis #realtime

Static Timing Analysis for Hard Real-Time Systems (RW, SA, CB, DG, JH, JR, BW, SW), pp. 3–22.

VMCAI-2010-Giacobazzi #abstract interpretation

Abstract Interpretation-Based Protection (RG), pp. 23–24.

VMCAI-2010-Katoen #model checking #probability #roadmap

Advances in Probabilistic Model Checking (JPK), p. 25.

VMCAI-2010-KuncakPSW #calculus #data type

Building a Calculus of Data Structures (VK, RP, PS, TW), pp. 26–44.

VMCAI-2010-AlurC #reasoning #source code

Temporal Reasoning for Procedural Programs (RA, SC), pp. 45–60.

VMCAI-2010-AminofKM #model checking

Improved Model Checking of Hierarchical Systems (BA, OK, AM), pp. 61–77.

VMCAI-2010-BuZL #automaton #hybrid #programming #reachability #using #verification

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.

VMCAI-2010-ChadhaLPV #bound #complexity #realtime #verification

Complexity Bounds for the Verification of Real-Time Software (RC, AL, PP, MV), pp. 95–111.

VMCAI-2010-ChenMWC #abstract domain #linear

An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.

VMCAI-2010-DSilvaKPW

Interpolant Strength (VD, DK, MP, GW), pp. 129–145.

VMCAI-2010-Dubrovin #bound #reachability

Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.

VMCAI-2010-HenzingerHKV #invariant #matrix #type inference

Invariant and Type Inference for Matrices (TAH, TH, LK, AV), pp. 163–179.

VMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.

VMCAI-2010-KingS #abstraction #automation

Automatic Abstraction for Congruences (AK, HS), pp. 197–213.

VMCAI-2010-KreikerSV #analysis #c #low level

Shape Analysis of Low-Level C with Overlapping Structures (JK, HS, VV), pp. 214–230.

VMCAI-2010-LahiriMQ #thread

Abstract Threads (SKL, AM, SQ), pp. 231–246.

VMCAI-2010-MarronMSK #analysis #set

Shape Analysis with Reference Set Relations (MM, RM, DS, DK), pp. 247–262.

VMCAI-2010-Might #analysis #pointer

Shape Analysis in the Absence of Pointers and Structure (MM), pp. 263–278.

VMCAI-2010-PerrelleH #analysis #array #permutation

An Analysis of Permutations in Arrays (VP, NH), pp. 279–294.

VMCAI-2010-SanchezL #linear #logic

Regular Linear Temporal Logic with Past (CS, ML), pp. 295–311.

VMCAI-2010-SridharH #model checking #monitoring

Model-Checking In-Lined Reference Monitors (MS, KWH), pp. 312–327.

VMCAI-2010-SummersD #design pattern #reasoning

Considerate Reasoning and the Composite Design Pattern (AJS, SD), pp. 328–344.

VMCAI-2010-Vafeiadis

RGSep Action Inference (VV), pp. 345–361.

VMCAI-2010-WachterZ #probability

Best Probabilistic Transformers (BW, LZ), pp. 362–379.

VMCAI-2010-YessenovPK

Collections, Cardinalities, and Relations (KY, RP, VK), pp. 380–395.