Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.