Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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

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.

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

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.

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.