Javier Esparza, Rupak Majumdar
Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2010.

@proceedings{TACAS-2010,
	address       = "Paphos, Cyprus",
	doi           = "10.1007/978-3-642-12002-2",
	editor        = "Javier Esparza and Rupak Majumdar",
	isbn          = "978-3-642-12001-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 6015,
	year          = 2010,
}

Contents (37 items)

7 ×#named
4 ×#analysis
4 ×#automation
4 ×#model checking
3 ×#automaton
3 ×#performance
3 ×#satisfiability
3 ×#synthesis
3 ×#verification
2 ×#abstraction

TACAS-2010-Sifakis #challenge #design #embedded

Embedded Systems Design — Scientific Challenges and Work Directions (JS), p. 1.

TACAS-2010-DoyenR #algorithm #automaton #finite

Antichain Algorithms for Finite Automata (LD, JFR), pp. 2–22.

TACAS-2010-KwiatkowskaNPQ #probability #verification

Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.

TACAS-2010-ValmariF #markov

Simple O(m logn) Time Markov Chain Lumping (AV, GF), pp. 38–52.

TACAS-2010-ZhangN #interactive #markov #model checking

Model Checking Interactive Markov Chains (LZ, MRN), pp. 53–68.

TACAS-2010-LegrielGCM #approximate #multi #optimisation #problem

Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.

TACAS-2010-BardinHP #satisfiability

An Alternative to SAT-Based Approaches for Bit-Vectors (SB, PH, FP), pp. 84–98.

TACAS-2010-CimattiFGSS #formal method #satisfiability

Satisfiability Modulo the Theory of Costs: Foundations and Applications (AC, AF, AG, RS, CS), pp. 99–113.

TACAS-2010-GoreKP #algebra #algorithm #logic

Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.

TACAS-2010-JarvisaloBH

Blocked Clause Elimination (MJ, AB, MH), pp. 129–144.

TACAS-2010-BaslerHKOWZ #model checking #named

Boom: Taking Boolean Program Model Checking One Step Further (GB, MH, DK, CHLO, TW, HZ), pp. 145–149.

TACAS-2010-BruttomessoPST

The OpenSMT Solver (RB, EP, NS, AT), pp. 150–153.

TACAS-2010-YuAB #analysis #named #php #string

Stranger: An Automata-Based String Analysis Tool for PHP (FY, MA, TB), pp. 154–157.

TACAS-2010-AbdullaCHMV #anti #simulation

When Simulation Meets Antichains (PAA, YFC, LH, RM, TV), pp. 158–174.

TACAS-2010-BauerMSH #on the #refinement

On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.

TACAS-2010-FismanKL #synthesis

Rational Synthesis (DF, OK, YL), pp. 190–204.

TACAS-2010-FogartyV #automaton #performance

Efficient Büchi Universality Checking (SF, MYV), pp. 205–220.

TACAS-2010-Aderhold #analysis #automation #higher-order #recursion #source code #termination

Automated Termination Analysis for Programs with Second-Order Recursion (MA), pp. 221–235.

TACAS-2010-CookKRW #ranking #synthesis

Ranking Function Synthesis for Bit-Vector Relations (BC, DK, PR, CMW), pp. 236–250.

TACAS-2010-HoenickeOP

Fairness for Dynamic Control (JH, ERO, AP), pp. 251–265.

TACAS-2010-Belinfante #execution #modelling #named #online

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.

TACAS-2010-DragerKFW #concurrent #infinity #model checking #named

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems (KD, AK, BF, HW), pp. 271–274.

TACAS-2010-VillardLC

Tracking Heaps That Hop with Heap-Hop (JV, ÉL, CC), pp. 275–279.

TACAS-2010-DonaldsonKR #analysis #automation #manycore #memory management

Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors (AFD, DK, PR), pp. 280–295.

TACAS-2010-ElmasQSST #abstraction #proving #reduction

Simplifying Linearizability Proofs with Reduction and Abstraction (TE, SQ, AS, OS, ST), pp. 296–311.

TACAS-2010-LeinoR #design #encoding #logic #polymorphism #verification

A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.

TACAS-2010-WangLGG #analysis

Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.

TACAS-2010-AvnitSP #automation #named #protocol #synthesis

ACS: Automatic Converter Synthesis for SoC Bus Protocols (KA, AS, JP), pp. 343–348.

TACAS-2010-BuchsHMR #algebra #named #petri net

AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.

TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement

PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.

TACAS-2010-MoyA #calculus #problem #realtime

Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.

TACAS-2010-AndresPRS #information management

Computing the Leakage of Information-Hiding Systems (MEA, CP, PvR, GS), pp. 373–389.

TACAS-2010-ChatzikokolakisCG #information management #metric #statistics

Statistical Measurement of Information Leakage (KC, TC, AG), pp. 390–404.

TACAS-2010-MalinowskiN #automaton #bound #model checking #partial order #satisfiability #semantics

SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata (JM, PN), pp. 405–419.

TACAS-2010-BallBCMQ #concurrent #performance #testing

Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.

TACAS-2010-KatzP #automation #verification

Code Mutation in Verification and Automatic Code Correction (GK, DP), pp. 435–450.

TACAS-2010-ParizekK #component #detection #fault #java #performance #random #using

Efficient Detection of Errors in Java Components Using Random Environment and Restarts (PP, TK), pp. 451–465.