Correct System Design

Keyphrases

Publications

2015

Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
Safe and Optimal Adaptive Cruise Control. Correct System Design (2015)
Roland Meyer, Heike Wehrheim
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog. Correct System Design (2015)
Rob J. van Glabbeek
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. Correct System Design (2015)
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
Understanding Probabilistic Programs. Correct System Design (2015)
Jan A. Bergstra, Alban Ponse
Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence. Correct System Design (2015)
Sibylle B. Fröschle
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems. Correct System Design (2015)
Willem-Paul de Roever
Warmest Congratulations, Ernst-Rüdiger! Correct System Design (2015)
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design (2015)
Bernd Finkbeiner
Bounded Synthesis for Petri Games. Correct System Design (2015)
Jochen Hoenicke, Andreas Podelski
Fairness for Infinitary Control. Correct System Design (2015)
Lukás Holík, Malte Isberner, Bengt Jonsson
Mediator Synthesis in a Component Algebra with Data. Correct System Design (2015)
Martin Fränzle, Michael R. Hansen, Heinrich Ody
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Correct System Design (2015)
Frank S. de Boer, Stijn de Gouw
Being and Change: Reasoning About Invariance. Correct System Design (2015)
Jan Peleska
Translating Testing Theories for Concurrent Systems. Correct System Design (2015)
Christoph Weidenbach
Automated Reasoning Building Blocks. Correct System Design (2015)
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
Toward Compact Abstractions for Processor Pipelines. Correct System Design (2015)
André Platzer
Ernst-Rüdiger Olderog: A Life for Meaning. Correct System Design (2015)

volume 9360, 2015

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 Correct System Design 9360 (2015)