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

@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)

7 ×#named
5 ×#source code
4 ×#analysis
4 ×#model checking
4 ×#verification
3 ×#composition
3 ×#game studies
2 ×#automaton
2 ×#bound
2 ×#concurrent

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.