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

1. Front Matter

   Pages i-xv

   PDF

2. Introduction

   1. Front Matter

      Pages 1-1

      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

      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

      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

      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

      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

      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

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
• algorithm analysis and problem complexity

• 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

Policies and ethics