Ernst-Rüdiger Olderog

ORCID

Publication Activity (10 Years)

Years Active: 1980-2023
Publications (10 Years): 27

Top Venues

CoRR

Acta Informatica

Formal Aspects Comput.

ATVA

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Bernd Finkbeiner, Ernst-Rüdiger Olderog
Concurrent Hyperproperties. Theories of Programming and Formal Methods (2023)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Nondeterminism and Guarded Commands. CoRR (2023)
Christopher Bischopink, Ernst-Rüdiger Olderog
Time for Traffic Manoeuvres. Applicable Formal Methods for Safe Industrial Products (2023)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Concurrent Hyperproperties. CoRR (2023)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL (2022)
Christopher Bischopink, Ernst-Rüdiger Olderog
Spatial and Timing Properties in Highway Traffic. ICTAC (2022)
Paul Hannibal, Ernst-Rüdiger Olderog
The Synthesis Problem for Repeatedly Communicating Petri Games. Petri Nets (2022)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Correction to: Solving high-level Petri games. Acta Informatica 58 (6) (2021)
Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
System correctness under adverse conditions. it Inf. Technol. 63 (5-6) (2021)
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog
High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning (2021)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Branching Properties on Petri Nets with Transits. ATVA (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) (2020)
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Solving high-level Petri games. Acta Informatica 57 (3-5) (2020)
Manuel Gieseking, Ernst-Rüdiger Olderog
High-Level Representation of Benchmark Families for Petri Games. CoRR (2019)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Fifty years of Hoare's Logic. CoRR (2019)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Fifty years of Hoare's logic. Formal Aspects Comput. 31 (6) (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Data Flows in Concurrent Network Updates. ATVA (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR (2019)
Ernst-Rüdiger Olderog, Maike Schwammberger
Formalising a Hazard Warning Communication Protocol with Timed Automata. Models, Algorithms, Logics and Tools (2017)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Petri games: Synthesis of distributed systems with causal memory. Inf. Comput. 253 (2017)
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. 29 (4) (2017)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV (2017)
Björn Engelmann, Ernst-Rüdiger Olderog
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. Theory and Practice of Formal Methods (2016)
Ernst-Rüdiger Olderog
Letter from the Managing Editor. Acta Informatica 52 (1) (2015)
Ernst-Rüdiger Olderog, Mani Swaminathan
Structural transformations for data-enriched real-time systems. Formal Aspects Comput. 27 (4) (2015)
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Special issue on "Combining Compositionality and Concurrency": part 1. Acta Informatica 52 (1) (2015)
Björn Engelmann, Ernst-Rüdiger Olderog
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. CoRR (2015)
Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski
Linking spatial and dynamic models for traffic maneuvers. CDC (2015)
Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick
Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -. CoRR (2015)
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Special issue on "Combining Compositionality and Concurrency": part 2. Acta Informatica 52 (4-5) (2015)
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) (2015)
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA (2015)
Ernst-Rüdiger Olderog
Von Petri-Spielen zu endlichen Automaten. GI-Jahrestagung (2014)
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Petri Games: Synthesis of Distributed Systems with Causal Memory. GandALF (2014)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Proving Safety of Traffic Manoeuvres on Country Roads. Theories of Programming and Formal Methods (2013)
Ernst-Rüdiger Olderog, Mani Swaminathan
Structural Transformations for Data-Enriched Real-Time Systems. IFM (2013)
Ernst-Rüdiger Olderog, Reinhard Wilhelm
Turing und die Verifikation. Inform. Spektrum 35 (4) (2012)
Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog
Layered reasoning for randomized distributed algorithms. Formal Aspects Comput. 24 (4-6) (2012)
Ernst-Rüdiger Olderog
Automatic Verification of Real-Time Systems with Rich Data: An Overview. TAMC (2012)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78 (3) (2012)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM (2011)
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Int. J. Softw. Informatics 5 (1-2) (2011)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Verification of Object-Oriented Programs: a Transformational Approach CoRR (2010)
Ernst-Rüdiger Olderog, Mani Swaminathan
Layered Composition for Timed Automata. FORMATS (2010)
Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski
Fairness for Dynamic Control. TACAS (2010)
Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog
Kleene, Rabin, and Scott Are Available. CONCUR (2010)
Ernst-Rüdiger Olderog, Andreas Podelski
Explicit Fair Scheduling for Dynamic Control. Concurrency, Compositionality, and Correctness (2010)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Modular Verification of Recursive Programs. Languages: From Formal to Natural (2009)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Modular Verification of Recursive Programs CoRR (2009)
Ernst-Rüdiger Olderog
Automatic Verification of Combined Specifications: An Overview. Electron. Notes Theor. Comput. Sci. 207 (2008)
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
Integrating a formal method into a software engineering process with UML and Java. Formal Aspects Comput. 20 (2) (2008)
Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems (2007)
Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it Inf. Technol. 49 (2) (2007)
David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç
Specifying and analyzing security automata using CSP-OZ. AsiaCCS (2007)
Ernst-Rüdiger Olderog, Anders P. Ravn
Editorial: Hybrid Systems. Acta Informatica 43 (7) (2007)
Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog
Controlling Access to Documents: A Formal Access Control Model. ETRICS (2006)
Ernst-Rüdiger Olderog, Heike Wehrheim
Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program. 55 (1-3) (2005)
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
Linking CSP-OZ with UML and Java: A Case Study. IFM (2004)
Ernst-Rüdiger Olderog, Henning Dierks
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. Univers. Comput. Sci. 9 (2) (2003)
Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
On the Verification of Cooperating Traffic Agents. FMCO (2003)
Ernst-Rüdiger Olderog
Translation and Optimization in the Verification of Real-Time Systems. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Jochen Hoenicke, Ernst-Rüdiger Olderog
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. 9 (4) (2002)
Jochen Hoenicke, Ernst-Rüdiger Olderog
Combining Specification Techniques for Processes, Data and Time. IFM (2002)
Ernst-Rüdiger Olderog, Heike Wehrheim
Specification and Inheritance in CSP-OZ. FMCO (2002)
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
A CSP View on UML-RT Structure Diagrams. FASE (2001)
Ernst-Rüdiger Olderog, Anders P. Ravn
Completeness in formal specification language design for process-control systems. FMSP (2000)
Ernst-Rüdiger Olderog
Correct Real-Time Software for Programmable Logic Controllers. Correct System Design (1999)
Michael Schenke, Ernst-Rüdiger Olderog
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. Acta Informatica 36 (1) (1999)
Ernst-Rüdiger Olderog
Entwicklung korrekter zeitkritischer Systeme. FBT (1999)
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods (1999)
Ernst-Rüdiger Olderog
Formal methods in real-time systems. ECRTS (1998)
Ernst-Rüdiger Olderog
Combining Specification Techniques for Processes, Data and Time. ZUM (1998)
Ernst-Rüdiger Olderog, Henning Dierks
Decomposing Real-Time Specifications. COMPOS (1997)
Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog
Beweisbar korrekte Telekommunikationssysteme. Informationstechnik Tech. Inform. 39 (3) (1997)
Ernst-Rüdiger Olderog, Michael Schenke
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. STRICT (1995)
Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Provably Correct Systems. FTRTFT (1994)
Ernst-Rüdiger Olderog, Stephan Rössig
A Case Study in Transformational Design of Concurrent Systems. TAPSOFT (1993)
Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn
Developing Correct Systems. RTS (1993)
Ernst-Rüdiger Olderog
Interfaces between Languages for Communicating Systems. ICALP (1992)
Ernst-Rüdiger Olderog
Correctness of Concurrent Processes. Theor. Comput. Sci. 80 (2) (1991)
Ernst-Rüdiger Olderog
Towards a Design Calculus for Communicationg Programs. CONCUR (1991)
John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica 27 (5) (1990)
Ernst-Rüdiger Olderog
Correctness of Concurrent Processes. MFCS (1989)
Ernst-Rüdiger Olderog
From Trace Specifications to Process Terms. REX Workshop (1989)
Ernst-Rüdiger Olderog, Krzysztof R. Apt
Using Transformation to Verify Parallel Programs. Algebraic Methods (1989)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Introduction to Program Verification. Formal Description of Programming Concepts (1989)
Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog
Readies and Failures in the Algebra of Communicating Processes. SIAM J. Comput. 17 (6) (1988)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36 (2) (1988)
Ernst-Rüdiger Olderog
Strong bisimilarity on nets: a new concept for comparing net semantics. REX Workshop (1988)
Ernst-Rüdiger Olderog, Krzysztof R. Apt
Fairness in Parallel Programs: The Transformational Approach. ACM Trans. Program. Lang. Syst. 10 (3) (1988)
Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog
Failures without chaos: a new process semantics for fair abstraction. Formal Description of Programming Concepts (1987)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49 (1987)
Ernst-Rüdiger Olderog
Operational Petri net semantics for CCSP. European Workshop on Applications and Theory of Petri Nets (1986)
Ernst-Rüdiger Olderog
TCSP: Theory of Communicating Sequential Processes. Advances in Petri Nets (1986)
Ernst-Rüdiger Olderog, C. A. R. Hoare
Specification-Oriented Semantics for Communicating Processes. Acta Informatica 23 (1) (1986)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP (1985)

Ernst-Rüdiger Olderog.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ernst-Rüdiger Olderog