## 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)

- 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.

6 ×#analysis

3 ×#model checking

3 ×#probability

3 ×#verification

2 ×#abstraction

2 ×#bound

2 ×#invariant

2 ×#linear

2 ×#reachability

2 ×#realtime

3 ×#model checking

3 ×#probability

3 ×#verification

2 ×#abstraction

2 ×#bound

2 ×#invariant

2 ×#linear

2 ×#reachability

2 ×#realtime