Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

  • Roland Meyer
  • André Platzer
  • Heike Wehrheim

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Laudationes

    1. Front Matter
      Pages 1-1
    2. Willem Paul de Roever
      Pages 10-11
  3. Semantics

    1. Front Matter
      Pages 13-13
    2. Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
      Pages 15-32
    3. Jochen Hoenicke, Andreas Podelski
      Pages 33-43
    4. Jan A. Bergstra, Alban Ponse
      Pages 44-61
  4. Process Algebra

    1. Front Matter
      Pages 63-63
    2. Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
      Pages 65-82
  5. Logic

    1. Front Matter
      Pages 131-131
    2. Martin Fränzle, Michael R. Hansen, Heinrich Ody
      Pages 152-171
    3. Christoph Weidenbach
      Pages 172-188
  6. Analysis

    1. Front Matter
      Pages 189-189
    2. Frank S. de Boer, Stijn de Gouw
      Pages 191-204
    3. Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
      Pages 205-220
  7. Synthesis

    1. Front Matter
      Pages 221-221
    2. Bernd Finkbeiner
      Pages 223-237
    3. Lukáš Holík, Malte Isberner, Bengt Jonsson
      Pages 238-259
    4. Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist
      Pages 260-277
  8. Back Matter
    Pages 279-279

About this book


This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-­Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-­Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.


Bisimulation Concurrency Cyber-physical systems Embedded systems Formal methods Logic Machine learning Model-based testing Operational semantics Petri nets Probabilistic programs Process algebra Real-time systems Reinforcement learning Scheduling Semantics and reasoning Software validation Software verification Static, dynamic, and infinitary control Term rewriting

Editors and affiliations

  • Roland Meyer
    • 1
  • André Platzer
    • 2
  • Heike Wehrheim
    • 3
  1. 1.University of KaiserslauternKaiserslauternGermany
  2. 2. Computer Science, Carnegie Mellon UCarnegie Mellon UniversityPittsburghUSA
  3. 3.University of PaderbornPaderbornGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-23505-9
  • Online ISBN 978-3-319-23506-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software