© 2019

Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

  • Tiziana Margaria
  • Susanne Graf
  • Kim G. Larsen

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

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Tiziana Margaria, Susanne Graf, Kim G. Larsen
      Pages 3-13
  3. Kiel 1983–1987

    1. Front Matter
      Pages 15-15
  4. Edinburgh 1987–1989

    1. Front Matter
      Pages 25-25
    2. Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
      Pages 27-35
    3. Eugenio Moggi, Amin Farjudian, Walid Taha
      Pages 36-44
    4. Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha Roop, Reinhard von Hanxleden
      Pages 45-67
    5. Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
      Pages 68-86
  5. Aarhus 1989–1990

    1. Front Matter
      Pages 87-87
    2. Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
      Pages 89-109
    3. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
      Pages 110-128
  6. Aachen 1990–1993

    1. Front Matter
      Pages 149-149
    2. Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler
      Pages 151-166
  7. Passau 1993–1997

    1. Front Matter
      Pages 167-167
    2. Didier Caucal, Chloé Rispal
      Pages 169-185
    3. Hubert Garavel, Radu Mateescu
      Pages 186-207

About this book


This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various fields, starting with the Concurrency Workbench, a model checking toolbox that significantly influenced the research and development of mode based high assurance systems worldwide. The contributions in this volume reflect the breadth and impact of his work. The introductory paper by the volume editors, the 23 full papers and two personal statements relate to Bernhard’s research and life. This volume, the talks and the entire B-Day at ISoLA 2018 are a tribute to the first 30 years of Bernhard’s passion, impact and vision for many facets of computer science in general and for formal methods in particular. Impact and vision include the many roles that formal methods-supported software development should play in education, in industry and in society. 


artificial intelligence computer architecture formal logic formal methods logic programming model checking problem solving processors program compilers programming languages semantics set theory software engineering software evaluation specifications static analysis temporal logic theorem proving verification

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Susanne Graf
    • 2
  • Kim G. Larsen
    • 3
  1. 1.Lero–The Irish Software Research CenterUniversity of LimerickLimerickIreland
  2. 2.Verimag LaboratoryGrenobleFrance
  3. 3.Aalborg UniversityAalborgDenmark

Bibliographic information