Proceedings of the 15th 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

Stefan Kowalewski, Anna Philippou
Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2009.

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{TACAS-2009,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-642-00768-2",
	editor        = "Stefan Kowalewski and Anna Philippou",
	isbn          = "978-3-642-00767-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 5505,
	year          = 2009,
}

Contents (36 items)

TACAS-2009-Thierry-MiegPHK #diagrams #modelling #set
Hierarchical Set Decision Diagrams and Regular Models (YTM, DP, AH, FK), pp. 1–15.
TACAS-2009-FogartyV #automaton #termination
Büchi Complementation and Size-Change Termination (SF, MYV), pp. 16–30.
TACAS-2009-ChenFCTW #automaton #composition #learning #verification
Learning Minimal Separating DFA’s for Compositional Verification (YFC, AF, EMC, YKT, BYW), pp. 31–45.
TACAS-2009-GofmanLSZYS #analysis #data access #named #policy
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control (MIG, RL, ACS, YZ, PY, SDS), pp. 46–49.
TACAS-2009-NaumovichBG #bound #named #performance #petri net
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
TACAS-2009-LimeRST #model checking #named #parametricity #petri net
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
TACAS-2009-BerwangerCWDH #game studies #named
Alpaga: A Tool for Solving Parity Games with Imperfect Information (DB, KC, MDW, LD, TAH), pp. 58–61.
TACAS-2009-BakewellG #abstraction #composition #game studies #semantics
Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
TACAS-2009-KuglerS #composition #sequence chart #specification #synthesis
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
TACAS-2009-KuijperP #game studies #safety
Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.
TACAS-2009-AtigBQ #analysis #bound #concurrent #source code #thread
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (MFA, AB, SQ), pp. 107–123.
TACAS-2009-KahlonSG #concurrent #reduction #semantics #source code #thread
Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
TACAS-2009-VechevYY
Inferring Synchronization under Limited Observability (MTV, EY, GY), pp. 139–154.
TACAS-2009-FarzanM #complexity #predict
The Complexity of Predicting Atomicity Violations (AF, PM), pp. 155–169.
TACAS-2009-BrughNR #dot-net #named #source code #verification
MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.
TACAS-2009-BrummayerB #array #named #performance #smt
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.
TACAS-2009-NoriRTT #static analysis #testing
The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.
TACAS-2009-LerouxP #named
TaPAS: The Talence Presburger Arithmetic Suite (JL, GP), pp. 182–185.
TACAS-2009-WehrleKP #model checking
Transition-Based Directed Model Checking (MW, SK, AP), pp. 186–200.
TACAS-2009-NguyenR #garbage collection #model checking
Memoised Garbage Collection for Software Model Checking (VYN, TCR), pp. 201–214.
TACAS-2009-MateescuW #adaptation
Hierarchical Adaptive State Space Caching Based on Level Sampling (RM, AW), pp. 215–229.
TACAS-2009-OrzanWW #equation #static analysis
Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.
TACAS-2009-ChenR #monitoring #parametricity #slicing
Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
TACAS-2009-GuptaMR #proving #testing
From Tests to Proofs (AG, RM, AR), pp. 262–276.
TACAS-2009-VanoverbergheTP #generative #pointer #source code
Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.
TACAS-2009-GouesW #mining #specification
Specification Mining with Few False Positives (CLG, WW), pp. 292–306.
TACAS-2009-BjornerTV #analysis #source code #string
Path Feasibility Analysis for String-Manipulating Programs (NB, NT, AV), pp. 307–321.
TACAS-2009-YuBI #analysis #string #verification
Symbolic String Verification: Combining String Analysis and Size Analysis (FY, TB, OHI), pp. 322–336.
TACAS-2009-BozgaGI
Iterating Octagons (MB, CG, RI), pp. 337–351.
TACAS-2009-EmmiJKM #implementation #verification
Verifying Reference Counting Implementations (ME, RJ, EK, RM), pp. 352–367.
TACAS-2009-PlakuKV #hybrid #ltl #safety
Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.
TACAS-2009-SchollDPK #constraints #detection #linear
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.
TACAS-2009-ManoliosT
All-Termination(T) (PM, AT), pp. 398–412.
TACAS-2009-FuchsGGKT #formal method #similarity
Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.
TACAS-2009-NicoliniRR #integer #satisfiability
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (EN, CR, MR), pp. 428–442.
TACAS-2009-Miller #development #model checking #modelling
Bridging the Gap Between Model-Based Development and Model Checking (SPM), pp. 443–453.

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.