Skip to main content
SpringerLink
Log in

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

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

  • Book
  • © 2019

Overview

Editors:
  1. Tiziana Margaria

    1. Lero–The Irish Software Research Center, University of Limerick, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Susanne Graf

    1. Verimag Laboratory, Grenoble, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kim G. Larsen

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Honorary volume dedicated to Bernhard Steffen on occasion to his 60 birthday
  • Written by well-known experts
  • Features the broad range of Bernhard Steffen research topics

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Introduction

    1. Front Matter

      Pages 1-1
      Download chapter PDF

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

      • Tiziana Margaria, Susanne Graf, Kim G. Larsen
      Pages 3-13

  3. Kiel 1983–1987

    1. Front Matter

      Pages 15-15
      Download chapter PDF

    2. Applying Decision Graphs in the Context of Automated Driving

      • Hardi Hungar
      Pages 17-23

  4. Edinburgh 1987–1989

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Analyzing Spreadsheets for Parallel Execution via Model Checking

      • Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
      Pages 27-35

    3. System Analysis and Robustness

      • Eugenio Moggi, Amin Farjudian, Walid Taha
      Pages 36-44

    4. Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading

      • Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha Roop, Reinhard von Hanxleden
      Pages 45-67

    5. Intersection Types in Java: Back to the Future

      • Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
      Pages 68-86

  5. Aarhus 1989–1990

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Multi-valued Logic for Static Analysis and Model Checking

      • Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
      Pages 89-109

    3. States and Events in KandISTI

      • Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
      Pages 110-128

    4. Making Sense of Complex Applications: Constructive Design, Features, and Questions

      • Tiziana Margaria
      Pages 129-148

  6. Aachen 1990–1993

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Interface Automata for Shared Memory

      • Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler
      Pages 151-166

  7. Passau 1993–1997

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Boolean Algebras by Length Recognizability

      • Didier Caucal, Chloé Rispal
      Pages 169-185

    3. Reflections on Bernhard Steffen’s Physics of Software Tools

      • Hubert Garavel, Radu Mateescu
      Pages 186-207

    4. Toward Structured Parallel Programming: Send-Receive Considered Harmful

      • Sergei Gorlatch
      Pages 208-217
Back to top

Keywords

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. 


Editors and Affiliations

  • Lero–The Irish Software Research Center, University of Limerick, Limerick, Ireland

    Tiziana Margaria

  • Verimag Laboratory, Grenoble, France

    Susanne Graf

  • Aalborg University, Aalborg, Denmark

    Kim G. Larsen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation