Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Roland Meyer

    1. University of Kaiserslautern, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. André Platzer

    1. Computer Science, Carnegie Mellon U, Carnegie Mellon University, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Heike Wehrheim

    1. University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains papers presented at a symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday
  • The Festschrift includes contributions from colleagues and friends who have accompanied Ernst-Rüdiger Olderog through his scientific life
  • Covers a broad spectrum of topics all touching the theme of formal modeling and correctness in system design
  • Includes supplementary material: sn.pub/extras

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

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 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 (17 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Laudationes

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog

      • Roland Meyer, Heike Wehrheim
      Pages 3-4

    3. Ernst-Rüdiger Olderog: A Life for Meaning

      • André Platzer
      Pages 5-9

    4. Warmest Congratulations, Ernst-Rüdiger!

      • Willem Paul de Roever
      Pages 10-11

  3. Semantics

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Understanding Probabilistic Programs

      • Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
      Pages 15-32

    3. Fairness for Infinitary Control

      • Jochen Hoenicke, Andreas Podelski
      Pages 33-43

    4. Evaluation Trees for Proposition Algebra

      • Jan A. Bergstra, Alban Ponse
      Pages 44-61

  4. Process Algebra

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. On Applicative Similarity, Sequentiality, and Full Abstraction

      • Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
      Pages 65-82

    3. Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

      • Sibylle Fröschle
      Pages 83-98

    4. Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

      • Rob J. van Glabbeek
      Pages 99-130

  5. Logic

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Translating Testing Theories for Concurrent Systems

      • Jan Peleska
      Pages 133-151

    3. No Need Knowing Numerous Neighbours

      • Martin Fränzle, Michael R. Hansen, Heinrich Ody
      Pages 152-171

    4. Automated Reasoning Building Blocks

      • Christoph Weidenbach
      Pages 172-188

  6. Analysis

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Being and Change: Reasoning About Invariance

      • Frank S. de Boer, Stijn de Gouw
      Pages 191-204

    3. Toward Compact Abstractions for Processor Pipelines

      • Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
      Pages 205-220
Back to top

Keywords

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.

Editors and Affiliations

  • University of Kaiserslautern, Kaiserslautern, Germany

    Roland Meyer

  • Computer Science, Carnegie Mellon U, Carnegie Mellon University, Pittsburgh, USA

    André Platzer

  • University of Paderborn, Paderborn, Germany

    Heike Wehrheim

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation