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

C. R. Ramakrishnan, Jakob Rehof
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2008.

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{TACAS-2008,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-540-78800-3",
	editor        = "C. R. Ramakrishnan and Jakob Rehof",
	isbn          = "978-3-540-78799-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 4963,
	year          = 2008,
}

Contents (39 items)

TACAS-2008-Malik #hardware #verification
Hardware Verification: Techniques, Methodology and Solutions (SM), p. 1.
TACAS-2008-FarzanCCTW #automation #composition #regular expression #verification
Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.
TACAS-2008-SaksenaWJ #ad hoc #graph grammar #modelling #protocol #verification
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (MS, OW, BJ), pp. 18–32.
TACAS-2008-ClarkeTV #abstraction #concurrent #framework #model checking #proving
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (EMC, MT, HV), pp. 33–47.
TACAS-2008-BarnatBSW #ltl #model checking
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (JB, LB, PS, MW), pp. 48–62.
TACAS-2008-WulfDMR #algorithm #anti #ltl #model checking #named #satisfiability
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking (MDW, LD, NM, JFR), pp. 63–77.
TACAS-2008-BakewellG #game studies #model checking #on the fly
On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.
TACAS-2008-AbdullaBHKV #automaton #simulation
Computing Simulations over Tree Automata (PAA, AB, LH, LK, TV), pp. 93–108.
TACAS-2008-AlkassarSS #pervasive #verification
Formal Pervasive Verification of a Paging Mechanism (EA, NS, AS), pp. 109–123.
TACAS-2008-BalakrishnanR #bytecode
Analyzing Stripped Device-Driver Executables (GB, TWR), pp. 124–140.
TACAS-2008-KatzP #model checking #programming #search-based
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (GK, DP), pp. 141–156.
TACAS-2008-AndresR #nondeterminism #probability
Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.
TACAS-2008-LegayMOW #automation #on the #probability #source code #verification
On Automated Verification of Probabilistic Programs (AL, ASM, JO, JW), pp. 173–187.
TACAS-2008-SankaranarayananDI #hybrid #model checking #using
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
TACAS-2008-KupferschmidHL #abstraction #model checking #performance
Fast Directed Model Checking Via Russian Doll Abstraction (SK, JH, KGL), pp. 203–217.
TACAS-2008-Ben-AmramC #approach #ranking #satisfiability #termination
A SAT-Based Approach to Size Change Termination with Global Ranking Functions (AMBA, MC), pp. 218–232.
TACAS-2008-ChocklerGY #automation #performance #refinement #using
Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.
TACAS-2008-Kovacs #algebra #reasoning
Reasoning Algebraically About P-Solvable Loops (LK), pp. 249–264.
TACAS-2008-IhlemannJS #on the #reasoning #verification
On Local Reasoning in Verification (CI, SJ, VSS), pp. 265–281.
TACAS-2008-LalTKR #analysis #bound #concurrent #interprocedural #source code
Interprocedural Analysis of Concurrent Programs Under a Context Bound (AL, TT, NK, TWR), pp. 282–298.
TACAS-2008-TorreMP #analysis #bound #concurrent #queue
Context-Bounded Analysis of Concurrent Queue Systems (SLT, PM, GP), pp. 299–314.
TACAS-2008-FismanKL #distributed #fault tolerance #on the #protocol #verification
On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
TACAS-2008-OlveczkyM #maude #realtime
The Real-Time Maude Tool (PCÖ, JM), pp. 332–336.
TACAS-2008-MouraB #named #performance #smt
Z3: An Efficient SMT Solver (LMdM, NB), pp. 337–340.
TACAS-2008-PaceS #model checking #visualisation
Computation and Visualisation of Phase Portraits for Model Checking SPDIs (GJP, GS), pp. 341–345.
TACAS-2008-TsayCTCL #automaton #logic #research #towards
GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.
TACAS-2008-BoonstoppelCE #constraints #explosion #generative #named #testing
RWset: Attacking Path Explosion in Constraint-Based Test Generation (PB, CC, DRE), pp. 351–366.
TACAS-2008-AnandGT #composition #execution #symbolic computation
Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
TACAS-2008-WangYKG #partial order #reduction
Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
TACAS-2008-CimattiGS #generative #modulo theories #performance #satisfiability
Efficient Interpolant Generation in Satisfiability Modulo Theories (AC, AG, RS), pp. 397–412.
TACAS-2008-McMillan #generative #invariant #proving #quantifier #using
Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.
TACAS-2008-CaniartFLZ #model checking
Accelerating Interpolation-Based Model-Checking (NC, EF, JL, MZ), pp. 428–442.
TACAS-2008-GulavaniCNR #abstract interpretation #automation
Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
TACAS-2008-WahlBE #named #symmetry #verification
SVISS: Symbolic Verification of Symmetric Systems (TW, NB, EAE), pp. 459–462.
TACAS-2008-FinkbeinerPS #composition #model checking #named #synthesis
RESY: Requirement Synthesis for Compositional Model Checking (BF, HJP, SS), pp. 463–466.
TACAS-2008-BlancKS #analysis #modelling #named
Scoot: A Tool for the Analysis of SystemC Models (NB, DK, NS), pp. 467–470.
TACAS-2008-LiS
Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.
TACAS-2008-Moskal #proving #smt
Rocket-Fast Proof Checking for SMT Solvers (MM), pp. 486–500.
TACAS-2008-BouajjaniESS #named
SDSIrep: A Reputation System Based on SDSI (AB, JE, SS, DS), pp. 501–516.

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.