Skip to main content
SpringerLink
Log in

Models, Algorithms, Logics and Tools

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

  • Book
  • © 2017

Overview

Editors:
  1. Luca Aceto

    1. Reykjavik University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giorgio Bacci

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giovanni Bacci

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Anna Ingólfsdóttir

    1. Reykjavík University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Axel Legay

    1. Inria Campus Beaulieu, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Radu Mardare

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains papers dedicated to Kim Guldstrand Larsen
  • Features the broad range of Kim Guldstrand Larsen's research topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking
  • Addresses a large diversity of topics
  • Includes supplementary material: sn.pub/extras

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10460)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Formal Languages and Automata Theory

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Information Flow for Timed Automata

      • Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
      Pages 3-21

    3. A Nivat Theorem for Quantitative Automata on Unranked Trees

      • Manfred Droste, Doreen Götze
      Pages 22-35

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

      • Jan Křetínský
      Pages 36-74

    5. Derivatives of Quantitative Regular Expressions

      • Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
      Pages 75-95

    6. Improving the Timed Automata Approach to Biological Pathway Dynamics

      • Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
      Pages 96-111

    7. Bicategories of Markov Processes

      • Florence Clerc, Harrison Humphrey, Prakash Panangaden
      Pages 112-124

    8. Property-Preserving Parallel Decomposition

      • Bernhard Steffen, Marc Jasper
      Pages 125-145

    9. A Generic Algorithm for Learning Symbolic Automata from Membership Queries

      • Oded Maler, Irini-Eleftheria Mens
      Pages 146-169

    10. Teaching Academic Concurrency to Amazing Students

      • Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
      Pages 170-195

  3. Logic

    1. Front Matter

      Pages 197-197
      Download chapter PDF

    2. Negative Results on Decidability and Small Model Property of Process Equations

      • Xinxin Liu
      Pages 199-210

    3. Timed Temporal Logics

      • Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
      Pages 211-230

  4. Verification, Model Checking and Testing

    1. Front Matter

      Pages 231-231
      Download chapter PDF

    2. Synchronous Interfaces and Assume/Guarantee Contracts

      • Albert Benveniste, Benoît Caillaud
      Pages 233-248

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

      • Aleksandar S. Dimovski, Andrzej Wąsowski
      Pages 249-268

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

      • Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
      Pages 269-288

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

      • Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 289-309

    6. Runtime Verification Logics A Language Design Perspective

      • Klaus Havelund, Giles Reger
      Pages 310-338
Back to top

Keywords

About this book

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.

The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

Editors and Affiliations

  • Reykjavik University, Reykjavik, Iceland

    Luca Aceto

  • Aalborg University, Aalborg, Denmark

    Giorgio Bacci, Giovanni Bacci, Radu Mardare

  • Reykjavík University, Reykjavik, Iceland

    Anna Ingólfsdóttir

  • Inria Campus Beaulieu, Rennes, France

    Axel Legay

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation