default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Ernst-Rüdiger Olderog, 2015
- Roland Meyer, André Platzer, Heike Wehrheim:
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. Lecture Notes in Computer Science 9360, Springer 2015, ISBN 978-3-319-23505-9
Laudationes
- Roland Meyer, Heike Wehrheim:
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog. 3-4 - André Platzer
:
Ernst-Rüdiger Olderog: A Life for Meaning. 5-9 - Willem-Paul de Roever:
Warmest Congratulations, Ernst-Rüdiger! 10-11
Semantics
- Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo:
Understanding Probabilistic Programs. 15-32 - Jochen Hoenicke, Andreas Podelski:
Fairness for Infinitary Control. 33-43 - Jan A. Bergstra, Alban Ponse:
Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence. 44-61
Process Algebra
- Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli:
On Applicative Similarity, Sequentiality, and Full Abstraction. 65-82 - Sibylle B. Fröschle:
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems. 83-98 - Rob J. van Glabbeek:
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. 99-130
Logic
- Jan Peleska:
Translating Testing Theories for Concurrent Systems. 133-151 - Martin Fränzle, Michael R. Hansen, Heinrich Ody:
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. 152-171 - Christoph Weidenbach:
Automated Reasoning Building Blocks. 172-188
Analysis
- Frank S. de Boer, Stijn de Gouw:
Being and Change: Reasoning About Invariance. 191-204 - Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Toward Compact Abstractions for Processor Pipelines. 205-220
Synthesis
- Bernd Finkbeiner:
Bounded Synthesis for Petri Games. 223-237 - Lukás Holík, Malte Isberner, Bengt Jonsson:
Mediator Synthesis in a Component Algebra with Data. 238-259 - Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Safe and Optimal Adaptive Cruise Control. 260-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
