Advertisement

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
Book

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

  8. Dortmund 1997 – Today

    1. Front Matter
      Pages 247-247
    2. Yuning He, Dimitra Giannakopoulou, Johann Schumann
      Pages 249-267
    3. Falk Howar, Fadi Jabbour, Malte Mues
      Pages 310-325
    4. Thomas Given-Wilson, Axel Legay
      Pages 326-355
    5. Jan Bessai, Jakob Rehof, Boris Düdder
      Pages 356-371
    6. Wolfgang Reisig
      Pages 372-389
    7. Daniel Neider, Rick Smetsers, Frits Vaandrager, Harco Kuppens
      Pages 390-416
    8. Jaco van de Pol, Jeroen Meijer
      Pages 417-430
  9. Back Matter
    Pages 431-431

About this book

Introduction

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. 


Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-22348-9
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-22347-2
  • Online ISBN 978-3-030-22348-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
Telecommunications
Aerospace