Parosh Aziz Abdulla, K. Rustan M. Leino
Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2011.

@proceedings{TACAS-2011,
	address       = "Saarbrücken, Germany",
	doi           = "10.1007/978-3-642-19835-9",
	editor        = "Parosh Aziz Abdulla and K. Rustan M. Leino",
	isbn          = "978-3-642-19834-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 6605,
	year          = 2011,
}

Contents (34 items)

5 ×#named
5 ×#probability
4 ×#generative
4 ×#invariant
3 ×#abstraction
3 ×#analysis
3 ×#process
3 ×#satisfiability
3 ×#using
2 ×#automaton

TACAS-2011-Holzmann #design #development #reliability

Reliable Software Development: Analysis-Aware Design (GJH), pp. 1–2.

TACAS-2011-PodelskiR #abstraction #invariant #termination

Transition Invariants and Transition Predicate Abstraction for Program Termination (AP, AR), pp. 3–10.

TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.

TACAS-2011-GargM #composition

Compositionality Entails Sequentializability (PG, PM), pp. 26–40.

TACAS-2011-AlglaveMSS #hardware #named #testing

Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.

TACAS-2011-ConchonCI #modulo theories

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (SC, EC, MI), pp. 45–59.

TACAS-2011-HoderKV #generative #invariant

Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.

TACAS-2011-GarbervetskyGN #invariant #using

Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.

TACAS-2011-TsitovichSWK #analysis #summary #termination

Loop Summarization and Termination Analysis (AT, NS, CMW, DK), pp. 81–95.

TACAS-2011-BertrandJSK #automaton #nondeterminism #testing

Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.

TACAS-2011-ForejtKNPQ #multi #probability #verification

Quantitative Multi-objective Verification for Probabilistic Systems (VF, MZK, GN, DP, HQ), pp. 112–127.

TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime

Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.

TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.

TACAS-2011-TeigeF #probability #problem #satisfiability

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.

TACAS-2011-GopinathMK #program repair #satisfiability #using

Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.

TACAS-2011-CodishFFS #constraints #encoding #pseudo

Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.

TACAS-2011-JungLWY #generative #invariant #quantifier

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.

TACAS-2011-MertenSHM #generative

Next Generation LearnLib (MM, BS, FH, TMS), pp. 220–223.

TACAS-2011-WimmelW #equation #petri net

Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.

TACAS-2011-TalupurH #model checking #using

Biased Model Checking Using Flows (MT, HH), pp. 239–253.

TACAS-2011-AnnpureddyLFS #hybrid #logic #named

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.

TACAS-2011-ChengKLB #algorithm #framework #game studies #platform #research

GAVS+: An Open Platform for the Research of Algorithmic Game Solving (CHC, AK, ML, CB), pp. 258–261.

TACAS-2011-TsayTCC #automaton #repository

Büchi Store: An Open Repository of Büchi Automata (YKT, MHT, JSC, YWC), pp. 262–266.

TACAS-2011-ChatterjeeHJS #named #synthesis

QUASY: Quantitative Synthesis Tool (KC, TAH, BJ, RS), pp. 267–271.

TACAS-2011-Ehlers #bound #named #synthesis

Unbeast: Symbolic Bounded Synthesis (RE), pp. 272–275.

TACAS-2011-KupferschmidW #abstraction #database

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (SK, MW), pp. 276–290.

TACAS-2011-ChamarthiDMV #proving #theorem proving

The ACL2 Sedan Theorem Proving System (HRC, PCD, PM, DV), pp. 291–295.

TACAS-2011-KieferW #on the #parallel #probability #process #source code

On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.

TACAS-2011-TimmerSP #confluence #probability #reduction

Confluence Reduction for Probabilistic Systems (MT, MS, JvdP), pp. 311–325.

TACAS-2011-BartocciGKRS #probability

Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.

TACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order #reduction

Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.

TACAS-2011-RavnSV #modelling #process #protocol #verification #web #web service

Modelling and Verification of Web Services Business Activity Protocol (APR, JS, SV), pp. 357–371.

TACAS-2011-GaravelLMS #analysis #distributed #process

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.

TACAS-2011-SeshiaK #analysis #named #tool support

GameTime: A Toolkit for Timing Analysis of Software (SAS, JK), pp. 388–392.