© 2017

Models, Algorithms, Logics and Tools

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

  • Luca Aceto
  • Giorgio Bacci
  • Giovanni Bacci
  • Anna Ingólfsdóttir
  • Axel Legay
  • Radu Mardare


  • 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


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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10460)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Formal Languages and Automata Theory

    1. Front Matter
      Pages 1-1
    2. Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
      Pages 3-21
    3. Manfred Droste, Doreen Götze
      Pages 22-35
    4. Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
      Pages 75-95
    5. Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
      Pages 96-111
    6. Florence Clerc, Harrison Humphrey, Prakash Panangaden
      Pages 112-124
    7. Bernhard Steffen, Marc Jasper
      Pages 125-145
    8. Oded Maler, Irini-Eleftheria Mens
      Pages 146-169
    9. Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
      Pages 170-195
  3. Logic

    1. Front Matter
      Pages 197-197
    2. 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
    2. Albert Benveniste, Benoît Caillaud
      Pages 233-248
    3. Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
      Pages 269-288
    4. Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 289-309
    5. Klaus Havelund, Giles Reger
      Pages 310-338

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.


software engineering semantics model checking artificial intelligence specifications verification automata theory computer software selection and evaluation programming languages temporal logic formal logic formal methods probability wireless telecommunication systems data security numerical methods real time systems wireless networks translation (languages) timed automata

Editors and affiliations

  1. 1.Reykjavik UniversityReykjavikIceland
  2. 2.Aalborg UniversityAalborgDenmark
  3. 3.Aalborg UniversityAalborgDenmark
  4. 4.Reykjavík UniversityReykjavikIceland
  5. 5.Inria Campus BeaulieuRennesFrance
  6. 6.Aalborg UniversityAalborgDenmark

Bibliographic information