ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

  • Joost-Pieter Katoen
  • Rom Langerak
  • Arend Rensink

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10500)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Modeling and Semantics

    1. Front Matter
      Pages 1-1
    2. Hubert Garavel, Frédéric Lang, Wendelin Serwe
      Pages 3-26
    3. Jan Friso Groote, Erik P. de Vink
      Pages 48-63
  3. Testing

    1. Front Matter
      Pages 85-85
    2. Jan Tretmans
      Pages 87-106
    3. Kim G. Larsen, Axel Legay, Marius Mikučionis, Brian Nielsen, Ulrik Nyman
      Pages 107-124
    4. Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
      Pages 125-144
    5. Laura Brandán Briones, Agnes Madalinski
      Pages 145-165
  4. Analysis

    1. Front Matter
      Pages 167-167
    2. Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
      Pages 169-190
    3. Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
      Pages 214-236
  5. Probabilities

    1. Front Matter
      Pages 237-237
    2. Johan van Benthem
      Pages 239-253
    3. Pedro R. D’Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
      Pages 276-294
  6. System Dynamics

    1. Front Matter
      Pages 295-295
    2. Stefano Schivo, Rom Langerak
      Pages 297-315
  7. Applications

    1. Front Matter
      Pages 333-333
    2. Ivan Kurtev, Jozef Hooman, Mathijs Schuts
      Pages 335-356
    3. Holger Hermanns
      Pages 357-367
    4. Joost-Pieter Katoen, Mariëlle Stoelinga
      Pages 368-389
  8. Back Matter
    Pages 391-391

About this book


This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.

The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.


Concurrency Formal methods Logic Models of computation Probabilistic computation Problem solving Semantics and reasoning Software tools Testing Timed and hybrid models Verification by model checking

Editors and affiliations

  1. 1.RWTH Aachen UniversityAachenGermany
  2. 2.University of TwenteEnschedeThe Netherlands
  3. 3.University of TwenteEnschedeThe Netherlands

Bibliographic information

Industry Sectors
IT & Software