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

Cormac Flanagan, Barbara König
Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2012.

TCS

@proceedings{TACAS-2012,
	address       = "Tallinn, Estonia",
	doi           = "10.1007/978-3-642-28756-5",
	editor        = "Cormac Flanagan and Barbara König",
	isbn          = "978-3-642-28755-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 7214,
	year          = 2012,
}

Contents (48 items)

TACAS-2012-Hermanns #grid #modelling: Quantitative Models for a Not So Dumb Grid (HH), p. 1.
TACAS-2012-ZaeemGKM #data type #satisfiability #using: History-Aware Data Structure Repair Using SAT (RNZ, DG, SK, KSM), pp. 2–17.
TACAS-2012-HardinSWP #verification: The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
TACAS-2012-CoxSC #bound #precise #verification: A Bit Too Precise? Bounded Verification of Quantized Digital Filters (AC, SS, BYEC), pp. 33–47.
TACAS-2012-DSilvaHKT #analysis #bound #learning: Numeric Bounds Analysis with Conflict-Driven Learning (VD, LH, DK, MT), pp. 48–63.
TACAS-2012-FriedmannL #analysis #automaton: Ramsey-Based Analysis of Parity Automata (OF, ML), pp. 64–78.
TACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance: VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
TACAS-2012-BabiakKRS #automaton #ltl #performance: LTL to Büchi Automata Translation: Fast and More Deterministic (TB, MK, VR, JS), pp. 95–109.
TACAS-2012-SongT #automaton #detection #model checking: Pushdown Model Checking for Malware Detection (FS, TT), pp. 110–125.
TACAS-2012-HamlenJS #aspect-oriented #certification #monitoring #runtime: Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
TACAS-2012-LangM #equation #lts #model checking #network #using: Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems (FL, RM), pp. 141–156.
TACAS-2012-AlbarghouthiGC #approximate: From Under-Approximations to Over-Approximations and Back (AA, AG, MC), pp. 157–172.
TACAS-2012-FehnkerGHMPT #analysis #automation #using: Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
TACAS-2012-JiangPMAM #modelling #verification: Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.
TACAS-2012-AbdullaACLR: Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.
TACAS-2012-JinYS #java #memory management #model checking: Java Memory Model-Aware Model Checking (HJ, TYK, BAS), pp. 220–236.
TACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination #thread: Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.
TACAS-2012-BozgaIK #termination: Deciding Conditional Termination (MB, RI, FK), pp. 252–266.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
TACAS-2012-WangTGLS #analysis #formal method: Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
TACAS-2012-WimmerJABK #markov #modelling: Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, EÁ, BB, JPK), pp. 299–314.
TACAS-2012-ChenFKPS #automation #probability #verification: Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
TACAS-2012-BarbotHP #model checking #statistics: Coupling and Importance Sampling for Statistical Model Checking (BB, SH, CP), pp. 331–346.
TACAS-2012-HolzlN #model checking #verification: Verifying pCTL Model Checking (JH, TN), pp. 347–361.
TACAS-2012-JacobsB #synthesis: Parameterized Synthesis (SJ, RB), pp. 362–376.
TACAS-2012-YehWH #design #framework #named #open source #synthesis #towards #verification: QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification (HHY, CYW, CY(H), pp. 377–391.
TACAS-2012-FinkbeinerP #synthesis: Template-Based Controller Synthesis for Timed Systems (BF, HJP), pp. 392–406.
TACAS-2012-SonnexDE #automation #data type #named #proving #recursion: Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.
TACAS-2012-UlbrichGGT #alloy #proving #specification: A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
TACAS-2012-ChadhaMV #reachability: Reachability under Contextual Locking (RC, PM, MV), pp. 437–450.
TACAS-2012-BouajjaniE #analysis #bound #message passing #source code: Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.
TACAS-2012-MertenHSCJ #automaton #learning: Demonstrating Learning of Register Automata (MM, FH, BS, SC, BJ), pp. 466–471.
TACAS-2012-VeanesB #automaton #tool support: Symbolic Automata: The Toolkit (MV, NB), pp. 472–477.
TACAS-2012-HeussnerGS #communication #framework #named #verification: McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
TACAS-2012-CairesV #concurrent #logic #model checking #named #specification: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications (LC, HTV), pp. 485–491.
TACAS-2012-DavidJJJMS #development #ide #petri net: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
TACAS-2012-JegourelLS #framework #model checking #performance #platform #statistics: A Platform for High Performance Statistical Model Checking — PLASMA (CJ, AL, SS), pp. 498–503.
TACAS-2012-Beyer #contest #verification: Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
TACAS-2012-ShvedMM #analysis #contest: Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.
TACAS-2012-LoweW #analysis #contest: CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.
TACAS-2012-Wonisch #abstraction #contest: Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
TACAS-2012-CordeiroMNF #bound #contest #model checking: Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.
TACAS-2012-HolzerKSTV #contest #proving #reachability #using: Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
TACAS-2012-SinzMF #bound #contest #model checking #named #representation: LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.
TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
TACAS-2012-GrebenshchikovGLPR #contest #horn clause #verification: HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.
TACAS-2012-BaslerDKKTW #c #contest #named #source code #verification: satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.
TACAS-2012-WeissenbacherKM #contest #debugging #named: Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.

Cormac Flanagan, Barbara KönigProceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of SystemsTACAS, 2012.

Contents (48 items)

Cormac Flanagan, Barbara König
Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2012.