Book Volume 10460 2017

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

ISBN: 978-3-319-63120-2 (Print) 978-3-319-63121-9 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XVII

  2. Formal Languages and Automata Theory

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-21

      Information Flow for Timed Automata

    3. No Access

      Chapter

      Pages 22-35

      A Nivat Theorem for Quantitative Automata on Unranked Trees

    4. No Access

      Chapter

      Pages 36-74

      30 Years of Modal Transition Systems: Survey of Extensions and Analysis

    5. No Access

      Chapter

      Pages 75-95

      Derivatives of Quantitative Regular Expressions

    6. No Access

      Chapter

      Pages 96-111

      Improving the Timed Automata Approach to Biological Pathway Dynamics

    7. No Access

      Chapter

      Pages 112-124

      Bicategories of Markov Processes

    8. No Access

      Chapter

      Pages 125-145

      Property-Preserving Parallel Decomposition

    9. No Access

      Chapter

      Pages 146-169

      A Generic Algorithm for Learning Symbolic Automata from Membership Queries

    10. No Access

      Chapter

      Pages 170-195

      Teaching Academic Concurrency to Amazing Students

  3. Logic

    1. Front Matter

      Pages 197-197

    2. No Access

      Chapter

      Pages 199-210

      Negative Results on Decidability and Small Model Property of Process Equations

    3. No Access

      Chapter

      Pages 211-230

      Timed Temporal Logics

  4. Verification, Model Checking and Testing

    1. Front Matter

      Pages 231-231

    2. No Access

      Chapter

      Pages 233-248

      Synchronous Interfaces and Assume/Guarantee Contracts

    3. No Access

      Chapter

      Pages 249-268

      From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

    4. No Access

      Chapter

      Pages 269-288

      Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

    5. No Access

      Chapter

      Pages 289-309

      Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

    6. No Access

      Chapter

      Pages 310-338

      Runtime Verification Logics A Language Design Perspective

    7. No Access

      Chapter

      Pages 339-366

      Testing Divergent Transition Systems

    8. No Access

      Chapter

      Pages 367-381

      The Cost of Exactness in Quantitative Reachability

    9. No Access

      Chapter

      Pages 382-399

      Towards Automated Variant Selection for Heterogeneous Tiled Architectures

  5. Algorithmic Game Theory and Mechanism Design

    1. Front Matter

      Pages 401-401

    2. No Access

      Chapter

      Pages 403-425

      Admissible Strategies in Timed Games

previous Page of 2