default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErnst-Rüdiger Olderog
Person information
- affiliation: Carl von Ossietzky University of Oldenburg, Department of Computer Science, Germany
- award (1994): Gottfried Wilhelm Leibniz Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2009
[b5]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-744-8, pp. i-xxiii, 1-502- 2008
- [b4]Ernst-Rüdiger Olderog, Henning Dierks:
Real-time systems - formal specification and automatic verification. Cambridge University Press 2008, ISBN 978-0-521-88333-7, pp. I-XVI, 1-320 - 1997
- [b3]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs, Second Edition. Graduate Texts in Computer Science, Springer 1997, ISBN 978-1-4757-2716-6, pp. i-xvii, 1-364 - 1991
- [b2]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs. Texts and Monographs in Computer Science, Springer 1991, ISBN 978-1-4757-4378-4, pp. 1-416 - 1981
- [b1]Ernst-Rüdiger Olderog:
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. University of Kiel, Germany, 1981, pp. 1-185
Journal Articles
- 2021
- [j33]Manuel Gieseking
, Ernst-Rüdiger Olderog, Nick Würdemann:
Correction to: Solving high-level Petri games. Acta Informatica 58(6): 675-676 (2021) - [j32]Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger:
System correctness under adverse conditions. it Inf. Technol. 63(5-6): 249-251 (2021) - 2020
- [j31]Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann:
Solving high-level Petri games. Acta Informatica 57(3-5): 591-626 (2020) - 2019
- [j30]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Fifty years of Hoare's logic. Formal Aspects Comput. 31(6): 751-807 (2019) - 2017
- [j29]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): 583-600 (2017) - [j28]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri games: Synthesis of distributed systems with causal memory. Inf. Comput. 253: 181-203 (2017) - 2015
- [j27]Ernst-Rüdiger Olderog:
Letter from the Managing Editor. Acta Informatica 52(1): 1-2 (2015) - [j26]Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog:
Special issue on "Combining Compositionality and Concurrency": part 1. Acta Informatica 52(1): 3-4 (2015) - [j25]Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog:
Special issue on "Combining Compositionality and Concurrency": part 2. Acta Informatica 52(4-5): 303-304 (2015) - [j24]Ernst-Rüdiger Olderog, Mani Swaminathan:
Structural transformations for data-enriched real-time systems. Formal Aspects Comput. 27(4): 727-750 (2015) - 2012
- [j23]Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog:
Layered reasoning for randomized distributed algorithms. Formal Aspects Comput. 24(4-6): 477-496 (2012) - [j22]Ernst-Rüdiger Olderog, Reinhard Wilhelm:
Turing und die Verifikation. Inform. Spektrum 35(4): 271-279 (2012) - [j21]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): 823-852 (2012) - 2011
- [j20]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): 117-137 (2011) - 2008
- [j19]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): 161-204 (2008) - 2007
- [j18]Ernst-Rüdiger Olderog, Anders P. Ravn:
Editorial: Hybrid Systems. Acta Informatica 43(7): 449-450 (2007) - [j17]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): 118-126 (2007) - 2005
- [j16]Ernst-Rüdiger Olderog, Heike Wehrheim:
Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program. 55(1-3): 227-257 (2005) - 2003
- [j15]Ernst-Rüdiger Olderog, Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. Univers. Comput. Sci. 9(2): 88-105 (2003) - 2002
- [j14]Jochen Hoenicke, Ernst-Rüdiger Olderog:
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. 9(4): 301-334 (2002) - 1999
- [j13]Michael Schenke, Ernst-Rüdiger Olderog:
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. Acta Informatica 36(1): 1-65 (1999) - 1997
- [j12]Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog:
Beweisbar korrekte Telekommunikationssysteme. Informationstechnik Tech. Inform. 39(3): 22-28 (1997) - 1991
- [j11]Ernst-Rüdiger Olderog:
Correctness of Concurrent Processes. Theor. Comput. Sci. 80(2): 263-288 (1991) - 1990
- [j10]John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica 27(5): 381-397 (1990) - 1988
- [j9]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): 158-224 (1988) - [j8]Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog:
Readies and Failures in the Algebra of Communicating Processes. SIAM J. Comput. 17(6): 1134-1177 (1988) - [j7]Ernst-Rüdiger Olderog, Krzysztof R. Apt:
Fairness in Parallel Programs: The Transformational Approach. ACM Trans. Program. Lang. Syst. 10(3): 420-455 (1988) - 1987
- [j6]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: 87-112 (1987) - 1986
- [j5]Ernst-Rüdiger Olderog, C. A. R. Hoare:
Specification-Oriented Semantics for Communicating Processes. Acta Informatica 23(1): 9-66 (1986) - 1984
- [j4]Ernst-Rüdiger Olderog:
Correctnes of Programs with Pascal-Like Procedures without Global Variables. Theor. Comput. Sci. 30: 49-90 (1984) - 1983
- [j3]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Proof Rules and Transformations Dealing with Fairness. Sci. Comput. Program. 3(1): 65-100 (1983) - [j2]Ernst-Rüdiger Olderog:
On the Notion of Expressiveness and the Rule of Adaption. Theor. Comput. Sci. 24: 337-347 (1983) - 1981
- [j1]Ernst-Rüdiger Olderog:
Sound and Complete Hoare-like Calculi Based on Copy Rules. Acta Informatica 16: 161-197 (1981)
Conference and Workshop Papers
- 2025
- [c71]Ernst-Rüdiger Olderog:
Verifying PLC-Automata Against Counterexample Formulas Using Timed Automata. Real Time and Such 2025: 23-41 - [c70]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Three Ways of Proving Termination of Loops. The Combined Power of Research, Education, and Dissemination 2025: 280-301 - 2024
- [c69]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Ten Years of Petri Games. Principles of Verification (3) 2024: 399-422 - 2023
- [c68]Christopher Bischopink, Ernst-Rüdiger Olderog:
Time for Traffic Manoeuvres. Applicable Formal Methods for Safe Industrial Products 2023: 163-179 - [c67]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. Theories of Programming and Formal Methods 2023: 211-231 - 2022
- [c66]Paul Hannibal, Ernst-Rüdiger Olderog:
The Synthesis Problem for Repeatedly Communicating Petri Games. Petri Nets 2022: 236-257 - [c65]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL 2022: 20:1-20:19 - [c64]Christopher Bischopink, Ernst-Rüdiger Olderog:
Spatial and Timing Properties in Highway Traffic. ICTAC 2022: 114-131 - 2021
- [c63]Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning 2021: 1-7 - [c62]Manuel Gieseking, Ernst-Rüdiger Olderog:
High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning 2021: 115-137 - 2020
- [c61]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. ATVA 2020: 394-410 - [c60]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: 64-76 - 2019
- [c59]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533 - 2017
- [c58]Ernst-Rüdiger Olderog, Maike Schwammberger:
Formalising a Hazard Warning Communication Protocol with Timed Automata. Models, Algorithms, Logics and Tools 2017: 640-660 - [c57]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV 2017: 23-43 - 2016
- [c56]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: 173-193 - 2015
- [c55]Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog:
Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) 2015: 433-439 - [c54]Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski:
Linking spatial and dynamic models for traffic maneuvers. CDC 2015: 6809-6816 - [c53]Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog:
Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA 2015: 71-86 - 2014
- [c52]Ernst-Rüdiger Olderog:
Von Petri-Spielen zu endlichen Automaten. GI-Jahrestagung 2014: 2209 - [c51]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. GandALF 2014: 217-230 - 2013
- [c50]Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog:
Proving Safety of Traffic Manoeuvres on Country Roads. Theories of Programming and Formal Methods 2013: 196-212 - [c49]Ernst-Rüdiger Olderog, Mani Swaminathan:
Structural Transformations for Data-Enriched Real-Time Systems. IFM 2013: 378-393 - 2012
- [c48]Ernst-Rüdiger Olderog:
Automatic Verification of Real-Time Systems with Rich Data: An Overview. TAMC 2012: 84-93 - 2011
- [c47]Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn:
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM 2011: 404-419 - 2010
- [c46]Ernst-Rüdiger Olderog, Andreas Podelski:
Explicit Fair Scheduling for Dynamic Control. Concurrency, Compositionality, and Correctness 2010: 96-117 - [c45]Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog:
Kleene, Rabin, and Scott Are Available. CONCUR 2010: 462-477 - [c44]Ernst-Rüdiger Olderog, Mani Swaminathan:
Layered Composition for Timed Automata. FORMATS 2010: 228-242 - [c43]Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski:
Fairness for Dynamic Control. TACAS 2010: 251-265 - 2009
- [c42]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21 - 2007
- [c41]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: 115-169 - [c40]David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç:
Specifying and analyzing security automata using CSP-OZ. AsiaCCS 2007: 70-81 - [c39]Ernst-Rüdiger Olderog:
Automatic Verification of Combined Specifications: An Overview. TTSS 2007: 3-16 - 2006
- [c38]Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog:
Controlling Access to Documents: A Formal Access Control Model. ETRICS 2006: 352-367 - 2004
- [c37]Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim:
Linking CSP-OZ with UML and Java: A Case Study. IFM 2004: 267-286 - 2003
- [c36]Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110 - [c35]Ernst-Rüdiger Olderog:
Translation and Optimization in the Verification of Real-Time Systems. COCV@ETAPS 2003: 345 - 2002
- [c34]Ernst-Rüdiger Olderog, Heike Wehrheim:
Specification and Inheritance in CSP-OZ. FMCO 2002: 361-379 - [c33]Jochen Hoenicke, Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time. IFM 2002: 245-266 - 2001
- [c32]Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams. FASE 2001: 91-108 - 2000
- [c31]Ernst-Rüdiger Olderog, Anders P. Ravn:
Completeness in formal specification language design for process-control systems. FMSP 2000: 89-100 - 1999
- [c30]Ernst-Rüdiger Olderog:
Correct Real-Time Software for Programmable Logic Controllers. Correct System Design 1999: 342-362 - [c29]Ernst-Rüdiger Olderog:
Entwicklung korrekter zeitkritischer Systeme. FBT 1999: 7-16 - [c28]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: 1186-1205 - 1998
- [c27]Ernst-Rüdiger Olderog:
Formal methods in real-time systems. ECRTS 1998: 254-263 - [c26]Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time. ZUM 1998: 192 - 1997
- [c25]Ernst-Rüdiger Olderog, Henning Dierks:
Decomposing Real-Time Specifications. COMPOS 1997: 465-489 - 1995
- [c24]Ernst-Rüdiger Olderog, Michael Schenke:
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. STRICT 1995: 32-54 - 1994
- [c23]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: 288-335 - 1993
- [c22]Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn:
Developing Correct Systems. RTS 1993: 176-187 - [c21]Ernst-Rüdiger Olderog, Stephan Rössig:
A Case Study in Transformational Design of Concurrent Systems. TAPSOFT 1993: 90-104 - 1992
- [c20]Ernst-Rüdiger Olderog:
Interfaces between Languages for Communicating Systems. ICALP 1992: 641-655 - 1991
- [c19]Ernst-Rüdiger Olderog:
Towards a Design Calculus for Communicationg Programs. CONCUR 1991: 61-77 - 1989
- [c18]Ernst-Rüdiger Olderog, Krzysztof R. Apt:
Using Transformation to Verify Parallel Programs. Algebraic Methods 1989: 55-81 - [c17]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Introduction to Program Verification. Formal Description of Programming Concepts 1989: 363-430 - [c16]Ernst-Rüdiger Olderog:
Correctness of Concurrent Processes. MFCS 1989: 107-132 - [c15]Ernst-Rüdiger Olderog:
From Trace Specifications to Process Terms. REX Workshop 1989: 592-621 - 1988
- [c14]Ernst-Rüdiger Olderog:
Strong bisimilarity on nets: a new concept for comparing net semantics. REX Workshop 1988: 549-573 - 1987
- [c13]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: 77-104 - 1986
- [c12]Ernst-Rüdiger Olderog:
TCSP: Theory of Communicating Sequential Processes. Advances in Petri Nets 1986: 441-465 - [c11]Ernst-Rüdiger Olderog:
Operational Petri net semantics for CCSP. European Workshop on Applications and Theory of Petri Nets 1986: 196-223 - 1985
- [c10]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: 149-157 - [c9]J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker:
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency. STOC 1985: 252-262 - 1984
- [c8]Ernst-Rüdiger Olderog:
Specification-Oriented Programming in TCSP. Logics and Models of Concurrent Systems 1984: 397-435 - [c7]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Transformations Realizing Fairness Assumptions for Parallel Programs. STACS 1984: 26-42 - 1983
- [c6]Ernst-Rüdiger Olderog, C. A. R. Hoare:
Specification-Oriented Semantics for Communicating Processes. ICALP 1983: 561-572 - [c5]Ernst-Rüdiger Olderog:
Hoare's Logic for Programs with Procedures - What Has Been Achieved?. Logic of Programs 1983: 383-395 - [c4]Ernst-Rüdiger Olderog:
A Characterization of Hoare's Logic for Programs with Pascal-like Procedures. STOC 1983: 320-329 - 1981
- [c3]Ernst-Rüdiger Olderog:
Hoare-Style Proof Systems and Formal Computations. GI Jahrestagung 1981: 65-71 - [c2]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Proof Rules Dealing with Fairness. Logic of Programs 1981: 1-8 - 1980
- [c1]Hans Langmaack, Ernst-Rüdiger Olderog:
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. ICALP 1980: 363-373
Parts in Books or Collections
- 2022
- [p8]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Nondeterminism and Guarded Commands. Edsger Wybe Dijkstra 2022: 169-204 - 2021
- [p7]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Assessing the Success and Impact of Hoare's Logic. Theories of Programming 2021: 41-76 - 2018
- [p6]Ernst-Rüdiger Olderog:
Space for Traffic Manoeuvres: An Overview. Symposium on Real-Time and Hybrid Systems 2018: 211-230 - 2017
- [p5]Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski:
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. Provably Correct Systems 2017: 95-120 - 2001
- [p4]Manfred Broy, Ernst-Rüdiger Olderog:
Trace-Oriented Models of Concurrency. Handbook of Process Algebra 2001: 101-195 - 1995
- [p3]Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog:
Korso Reference Languages - Concepts and Application Domains. KORSO Book 1995: 150-172 - 1986
- [p2]J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker:
Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122 - [p1]Ernst-Rüdiger Olderog:
Process Theory: Semantics, Specification and Verification. Current Trends in Concurrency 1986: 442-509
Editorship
- 2021
- [e5]Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 [contents] - 2017
- [e4]Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog:
Provably Correct Systems. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-3-319-48627-7 [contents] - 2002
- [e3]Werner Damm, Ernst-Rüdiger Olderog:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2469, Springer 2002, ISBN 3-540-44165-4 [contents] - 1999
- [e2]Ernst-Rüdiger Olderog, Bernhard Steffen:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Lecture Notes in Computer Science 1710, Springer 1999, ISBN 3-540-66624-9 [contents] - 1994
- [e1]Ernst-Rüdiger Olderog:
Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994. IFIP Transactions A-56, North-Holland 1994, ISBN 0-444-82020-5 [contents]
Informal and Other Publications
- 2023
- [i12]Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. CoRR abs/2310.00705 (2023) - [i11]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Nondeterminism and Guarded Commands. CoRR abs/2310.09004 (2023) - 2021
- [i10]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR abs/2107.09280 (2021) - 2020
- [i9]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 abs/2005.07130 (2020) - [i8]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR abs/2007.07235 (2020) - 2019
- [i7]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Fifty years of Hoare's Logic. CoRR abs/1904.03917 (2019) - [i6]Manuel Gieseking, Ernst-Rüdiger Olderog:
High-Level Representation of Benchmark Families for Petri Games. CoRR abs/1904.05621 (2019) - [i5]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR abs/1907.11061 (2019) - 2015
- [i4]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 abs/1501.02699 (2015) - [i3]Björn Engelmann, Ernst-Rüdiger Olderog:
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. CoRR abs/1509.08605 (2015) - 2010
- [i2]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Object-Oriented Programs: a Transformational Approach. CoRR abs/1004.4656 (2010) - 2009
- [i1]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. CoRR abs/0907.4316 (2009)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-28 23:38 CET 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:
