BibSLEIGH — Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

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

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

C. R. Ramakrishnan, Jakob RehofProceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of SystemsTACAS, 2008.

Contents (39 items)

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