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

Orna Grumberg, Michael Huth
Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2007.

TCS

@proceedings{TACAS-2007,
	address       = "ETAPS 2007 Braga, Portugal",
	doi           = "10.1007/978-3-540-71209-1",
	editor        = "Orna Grumberg and Michael Huth",
	isbn          = "978-3-540-71208-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 4424,
	year          = 2007,
}

Contents (56 items)

TACAS-2007-Cleaveland #lessons learnt: THERE AND BACK AGAIN: Lessons Learned on the Way to the Market (RC), p. 1.
TACAS-2007-Leino #challenge #object-oriented #verification: Verifying Object-Oriented Software: Lessons and Challenges (KRML), p. 2.
TACAS-2007-ManevichBCRS #analysis #composition #graph: Shape Analysis by Graph Decomposition (RM, JB, BC, GR, MS), pp. 3–18.
TACAS-2007-ChatterjeeLQR #bytecode #low level #reachability: A Reachability Predicate for Analyzing Low-Level Software (SC, SKL, SQ, ZR), pp. 19–33.
TACAS-2007-MalikPK #generative #invariant #representation: Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.
TACAS-2007-EtessamiKVY #markov #model checking #multi #process: Multi-objective Model Checking of Markov Decision Processes (KE, MZK, MYV, MY), pp. 50–65.
TACAS-2007-WojtczakE: PReMo : An Analyzer for P robabilistic Re cursive Mo dels (DW, KE), pp. 66–71.
TACAS-2007-HanK #model checking #probability: Counterexamples in Probabilistic Model Checking (TH, JPK), pp. 72–86.
TACAS-2007-KatoenKZJ #bisimulation #model checking #probability: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (JPK, TK, ISZ, DNJ), pp. 87–101.
TACAS-2007-FarzanM #analysis #concurrent #data flow #source code: Causal Dataflow Analysis for Concurrent Programs (AF, PM), pp. 102–116.
TACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation: Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
TACAS-2007-AnandPV #execution #java #named #symbolic computation: JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
TACAS-2007-Derisavi #algorithm #markov: A Symbolic Algorithm for Optimal Markov Chain Lumping (SD), pp. 139–154.
TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
TACAS-2007-JurdzinskiLS #automaton #model checking #probability: Model Checking Probabilistic Timed Automata with One or Two Clocks (MJ, FL, JS), pp. 170–184.
TACAS-2007-TivoliFGG #adaptation #component #realtime #synthesis: Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.
TACAS-2007-FranzleH #logic: Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
TACAS-2007-DAprileDSS #approach #automaton #petri net: From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.
TACAS-2007-RasmussenBL #complexity #flexibility: Complexity in Simplicity: Flexible Agent-Based State Space Exploration (JIR, GB, KGL), pp. 231–245.
TACAS-2007-PandyaKL #abstraction #logic #on the: On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.
TACAS-2007-ChatterjeeH #synthesis: Assume-Guarantee Synthesis (KC, TAH), pp. 261–275.
TACAS-2007-ChakiS #reasoning: Optimized L*-Based Assume-Guarantee Reasoning (SC, OS), pp. 276–291.
TACAS-2007-GheorghiuGP #composition #interface #verification: Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.
TACAS-2007-GoldmanK #composition #named #verification: MAVEN: Modular Aspect Verification (MG, SK), pp. 308–322.
TACAS-2007-BattBW #liveness #model checking #network #search-based: Model Checking Liveness Properties of Genetic Regulatory Networks (GB, CB, RW), pp. 323–338.
TACAS-2007-ManoliosOV #consistency: Checking Pedigree Consistency with PCS (PM, MGO, SOV), pp. 339–342.
TACAS-2007-KuglerPSH #framework #logic #modelling #predict: “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models (HK, AP, MJS, EJAH), pp. 343–357.
TACAS-2007-BryantKOSSB #abstraction: Deciding Bit-Vector Arithmetic with Abstraction (REB, DK, JO, SAS, OS, BAB), pp. 358–372.
TACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code: Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
TACAS-2007-SebastianiTV #abstraction #clustering #refinement: Property-Driven Partitioning for Abstraction Refinement (RS, ST, MYV), pp. 389–404.
TACAS-2007-AmlaM #abstraction #model checking #refinement #satisfiability: Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.
TACAS-2007-ElkindGP #detection #sequence chart: Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
TACAS-2007-BolligKKL #design #game studies #learning #modelling #synthesis: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning (BB, JPK, CK, ML), pp. 435–450.
TACAS-2007-DoyenR #algorithm #approach #model checking: Improved Algorithms for the Automata-Based Approach to Model-Checking (LD, JFR), pp. 451–465.
TACAS-2007-TsayCTWC #automaton #named #visual notation: GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae (YKT, YFC, MHT, KNW, WCC), pp. 466–471.
TACAS-2007-Horn #algorithm #game studies #performance: Faster Algorithms for Finitary Games (FH), pp. 472–484.
TACAS-2007-HarelS #flexibility #source code: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.
TACAS-2007-BohnenkampHK #named: motor: The modestTool Environment (HCB, HH, JPK), pp. 500–504.
TACAS-2007-CimattiRT #optimisation #verification: Syntactic Optimizations for PSL Verification (AC, MR, ST), pp. 505–518.
TACAS-2007-MossakowskiML #set: The Heterogeneous Tool Set, Hets (TM, CM, KL), pp. 519–522.
TACAS-2007-DoghmiGT #encryption #protocol: Searching for Shapes in Cryptographic Protocols (SFD, JDG, FJT), pp. 523–537.
TACAS-2007-CortierKS #analysis #automation #security: Automatic Analysis of the Security of XOR-Based Key Management Schemes (VC, GK, GS), pp. 538–552.
TACAS-2007-JhalaMX #type inference: State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
TACAS-2007-MyreenG #hoare #logic: Hoare Logic for Realistically Modelled Machine Code (MOM, MJCG), pp. 568–582.
TACAS-2007-JainKSC #abstraction #named #refinement: VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.
TACAS-2007-FriasPM #alloy #analysis #specification #verification: Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (MFF, CLP, MMM), pp. 587–601.
TACAS-2007-KrsticGGT #parametricity #satisfiability: Combined Satisfiability Modulo Parametric Theories (SK, AG, JG, CT), pp. 602–617.
TACAS-2007-CondratK #approach #preprocessor: A Gröbner Basis Approach to CNF-Formulae Preprocessing (CC, PK), pp. 618–631.
TACAS-2007-TorlakJ #named #relational: Kodkod: A Relational Model Finder (ET, DJ), pp. 632–647.
TACAS-2007-YuCL #bound #diagrams #reachability #using: Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
TACAS-2007-AlurCC #model checking: Model Checking on Trees with Path Equivalences (RA, PC, SC), pp. 664–678.
TACAS-2007-KupferschmidDHFDPB #heuristic #model checking: Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
TACAS-2007-BlomCLOPPDW #analysis #case study #distributed: Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
TACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning: A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.
TACAS-2007-HerbreteauST #concurrent: Unfolding Concurrent Well-Structured Transition Systems (FH, GS, TQT), pp. 706–720.
TACAS-2007-AbdullaDHR #model checking #performance #transducer #verification: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (PAA, GD, NBH, AR), pp. 721–736.

Orna Grumberg, Michael HuthProceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of SystemsTACAS, 2007.

Contents (56 items)

Orna Grumberg, Michael Huth
Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2007.