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

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
    6. Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer
      Pages 339-366
    7. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
      Pages 367-381
    8. Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
      Pages 382-399
  5. Algorithmic Game Theory and Mechanism Design

    1. Front Matter
      Pages 401-401
    2. Nicolas Basset, Jean-François Raskin, Ocan Sankur
      Pages 403-425
    3. Joost-Pieter Katoen, Falak Sher
      Pages 426-445
  6. Semantics and Reasoning

    1. Front Matter
      Pages 447-447
    2. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
      Pages 466-483
    3. Luyao Wang, Wanling Xie, Huibiao Zhu
      Pages 484-502
    4. Hasan Baig, Jan Madsen
      Pages 503-515
    5. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
      Pages 516-536
  7. Real-Time and Distributed Systems

    1. Front Matter
      Pages 537-537
    2. Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
      Pages 539-559
    3. Franck Cassez, Pablo Gonzalez de Aledo, Peter Gjøl Jensen
      Pages 560-577
    4. Leif-Nissen Lundbæk, Andrea Callia D’Iddio, Michael Huth
      Pages 578-599
  8. Modeling and Simulation

    1. Front Matter
      Pages 601-601
    2. Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
      Pages 603-622
    3. Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi
      Pages 623-639
    4. Ernst-Rüdiger Olderog, Maike Schwammberger
      Pages 640-660
  9. Back Matter
    Pages 661-662

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