Francesco Logozzo, Doron Peled, Lenore D. Zuck
Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2008.

@proceedings{VMCAI-2008,
	address       = "San Francisco, USA",
	editor        = "Francesco Logozzo and Doron Peled and Lenore D. Zuck",
	isbn          = "978-3-540-78162-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 4905,
	year          = 2008,
}

Contents (26 items)

4 ×#abstract interpretation
3 ×#abstraction
3 ×#algorithm
3 ×#logic
3 ×#model checking
2 ×#automaton
2 ×#constraints
2 ×#game studies
2 ×#ltl
2 ×#multi

VMCAI-2008-Cousot #abstract interpretation #semantics

Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.

VMCAI-2008-JonesH

CTL as an Intermediate Language (NDJ, RRH), p. 4.

VMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation

Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.

VMCAI-2008-Palsberg #verification

Verification of Register Allocators (JP), p. 6.

VMCAI-2008-Pistoia #program analysis #programming language #security

Program Analysis and Programming Languages for Security (MP), p. 7.

VMCAI-2008-BagnaraHZ #algorithm #constraints #integer

An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.

VMCAI-2008-AbdullaHDR

Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.

VMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code

Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.

VMCAI-2008-CimattiRST

Diagnostic Information for Realizability (AC, MR, VS, AT), pp. 52–67.

VMCAI-2008-DSilvaPK #approximate #model checking #refinement

Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.

VMCAI-2008-DanosFFK #abstract interpretation #network

Abstract Interpretation of Cellular Signalling Networks (VD, JF, WF, JK), pp. 83–97.

VMCAI-2008-DimitrovaP #abstraction #lazy evaluation #protocol #question

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? (RD, AP), pp. 98–111.

VMCAI-2008-FecherH #abstraction #model checking

Model Checking for Action Abstraction (HF, MH), pp. 112–126.

VMCAI-2008-Goldberg #on the #simulation #verification

On Bridging Simulation and Formal Verification (EG), pp. 127–141.

VMCAI-2008-GroceJ #dynamic analysis #model checking

Extending Model Checking with Dynamic Analysis (AG, RJ), pp. 142–156.

VMCAI-2008-Mastroeni #bisimulation

Deriving Bisimulations by Simplifying Partitions (IM), pp. 157–171.

VMCAI-2008-Mendez-LojoH #analysis #precise #set #source code

Precise Set Sharing Analysis for Java-Style Programs (MML, MVH), pp. 172–187.

VMCAI-2008-Moy #composition

Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.

VMCAI-2008-NguyenKC #logic #runtime

Runtime Checking for Separation Logic (HHN, VK, WNC), pp. 203–217.

VMCAI-2008-PiskacK #constraints #multi

Decision Procedures for Multisets with Cardinality Constraints (RP, VK), pp. 218–232.

VMCAI-2008-PnueliS

All You Need Is Compassion (AP, YS), pp. 233–247.

VMCAI-2008-RanzatoRT #abstraction #algorithm #refinement

A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.

VMCAI-2008-Schmidt #abstract interpretation #logic

Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.

VMCAI-2008-MorgensternS #automaton #ltl

From LTL to Symbolically Represented Deterministic Automata (AM, KS), pp. 279–293.

VMCAI-2008-SistlaS #monitoring #probability

Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.

VMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl

A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.