E. Allen Emerson, Kedar S. Namjoshi
Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2006.

@proceedings{VMCAI-2006,
	address       = "Charleston, South Carolina, USA",
	editor        = "E. Allen Emerson and Kedar S. Namjoshi",
	isbn          = "3-540-31139-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 3855,
	year          = 2006,
}

Contents (28 items)

6 ×#abstraction
5 ×#model checking
4 ×#analysis
3 ×#abstract interpretation
3 ×#logic
2 ×#automaton
2 ×#composition
2 ×#constraints
2 ×#framework
2 ×#linear

VMCAI-2006-SchachteS

Closure Operators for ROBDDs (PS, HS), pp. 1–16.

VMCAI-2006-JaffarSV #abstraction #composition

A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.

VMCAI-2006-ArnoldMSS #abstraction #analysis

Combining Shape Analyses by Intersecting Abstractions (GA, RM, MS, RS), pp. 33–48.

VMCAI-2006-GantyRB #abstract interpretation #framework

A Complete Abstract Interpretation Framework for Coverability Properties of WSTS (PG, JFR, LVB), pp. 49–64.

VMCAI-2006-Bozzelli #automaton #complexity #model checking

Complexity Results on Branching-Time Pushdown Model Checking (LB), pp. 65–79.

VMCAI-2006-TanA #composition #control flow #logic

A Compositional Logic for Control Flow (GT, AWA), pp. 80–94.

VMCAI-2006-RossignoliS #compilation #detection

Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.

VMCAI-2006-SankaranarayananCSM #analysis #performance #relational

Efficient Strongly Relational Polyhedral Analysis (SS, MC, HBS, ZM), pp. 111–125.

VMCAI-2006-ClarkeTV #abstraction #verification

Environment Abstraction for Parameterized Verification (EMC, MT, HV), pp. 126–141.

VMCAI-2006-Younes #fault #model checking #probability

Error Control for Probabilistic Model Checking (HLSY), pp. 142–156.

VMCAI-2006-WiesKLPR #analysis #constraints

Field Constraint Analysis (TW, VK, PL, AP, MCR), pp. 157–173.

VMCAI-2006-ChangCN #framework #program analysis #safety

A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety (BYEC, AC, GCN), pp. 174–189.

VMCAI-2006-HristovaL #algorithm #automaton #linear #logic #model checking

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems (KH, YAL), pp. 190–206.

VMCAI-2006-BinghamR #abstraction #logic #source code

A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (JDB, ZR), pp. 207–221.

VMCAI-2006-SistlaZZ #component #monitoring #off the shelf

Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.

VMCAI-2006-JabbarE #linear #model checking #parallel

Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.

VMCAI-2006-GhafariT

Piecewise FIFO Channels Are Analyzable (NG, RJT), pp. 252–266.

VMCAI-2006-BalabanCP #abstraction #ranking #recursion #source code

Ranking Abstraction of Recursive Programs (IB, AC, AP), pp. 267–281.

VMCAI-2006-JaffarSV06a #safety

Relative Safety (JJ, AES, RV), pp. 282–297.

VMCAI-2006-KobayashiSW #analysis #resource management #π-calculus

Resource Usage Analysis for the pi-Calculus (NK, KS, LW), pp. 298–312.

VMCAI-2006-LogozzoC #abstract interpretation #refactoring #semantics

Semantic Hierarchy Refactoring by Abstract Interpretation (FL, AC), pp. 313–331.

VMCAI-2006-RanzatoT #abstract interpretation

Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.

VMCAI-2006-Mine #abstract domain #precise

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.

VMCAI-2006-PitermanPS #design #synthesis

Synthesis of Reactive(1) Designs (NP, AP, YS), pp. 364–380.

VMCAI-2006-GurfinkelWC #abstraction #model checking

Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.

VMCAI-2006-Subramani #constraints #scheduling

Totally Clairvoyant Scheduling with Relative Timing Constraints (KS), pp. 398–411.

VMCAI-2006-BozzelliTP #communication #recursion #state machine #verification

Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.

VMCAI-2006-BradleyMS #array #decidability #question #what

What’s Decidable About Arrays? (ARB, ZM, HBS), pp. 427–442.