Ernst-Rüdiger Olderog

136 papers A* 6A 3B 12C 3Misc 1Journal 45Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Concurrent ∀ ∃-Hyperproperties. On the Pursuit of Insight and Elegance Bernd Finkbeiner, Ernst-Rüdiger Olderog
2026	—	`conf`	Finite-Memory Strategies for Petri Games. Engineering Safe and Trustworthy Cyber Physical Systems Paul Hannibal, Dennis Lisiecki, Ernst-Rüdiger Olderog
2025	—	`conf`	Three Ways of Proving Termination of Loops. The Combined Power of Research, Education, and Dissemination Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2025	—	`conf`	Verifying PLC-Automata Against Counterexample Formulas Using Timed Automata. Real Time and Such Ernst-Rüdiger Olderog
2024	—	`conf`	Ten Years of Petri Games. Principles of Verification (3) Bernd Finkbeiner, Ernst-Rüdiger Olderog
2023	—	`conf`	Concurrent Hyperproperties. Theories of Programming and Formal Methods Bernd Finkbeiner, Ernst-Rüdiger Olderog
2023	J	`jnl`	Concurrent Hyperproperties. CoRR Bernd Finkbeiner, Ernst-Rüdiger Olderog
2023	J	`jnl`	Nondeterminism and Guarded Commands. CoRR Krzysztof R. Apt, Ernst-Rüdiger Olderog
2023	—	`conf`	Time for Traffic Manoeuvres. Applicable Formal Methods for Safe Industrial Products Christopher Bischopink, Ernst-Rüdiger Olderog
2022	B	`conf`	Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2022	—	`ch.`	Nondeterminism and Guarded Commands. Edsger Wybe Dijkstra Krzysztof R. Apt, Ernst-Rüdiger Olderog
2022	C	`conf`	Spatial and Timing Properties in Highway Traffic. ICTAC Christopher Bischopink, Ernst-Rüdiger Olderog
2022	B	`conf`	The Synthesis Problem for Repeatedly Communicating Petri Games. Petri Nets Paul Hannibal, Ernst-Rüdiger Olderog
2021	—	`ch.`	Assessing the Success and Impact of Hoare's Logic. Theories of Programming Krzysztof R. Apt, Ernst-Rüdiger Olderog
2021	J	`jnl`	Correction to: Solving high-level Petri games. Acta Informatica Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
2021	J	`jnl`	Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2021	—	`conf`	High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning Manuel Gieseking, Ernst-Rüdiger Olderog
2021	—	`ed.`	Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Model Checking, Synthesis, and Learning Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021	—	`conf`	Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021	J	`jnl`	System correctness under adverse conditions. it Inf. Technol. Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
2020	J	`jnl`	AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020	—	`conf`	AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020	J	`jnl`	Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020	B	`conf`	Model Checking Branching Properties on Petri Nets with Transits. ATVA Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2020	J	`jnl`	Solving high-level Petri games. Acta Informatica Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
2019	J	`jnl`	Fifty years of Hoare's Logic. CoRR Krzysztof R. Apt, Ernst-Rüdiger Olderog
2019	J	`jnl`	Fifty years of Hoare's logic. Formal Aspects Comput. Krzysztof R. Apt, Ernst-Rüdiger Olderog
2019	J	`jnl`	High-Level Representation of Benchmark Families for Petri Games. CoRR Manuel Gieseking, Ernst-Rüdiger Olderog
2019	J	`jnl`	Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2019	B	`conf`	Model Checking Data Flows in Concurrent Network Updates. ATVA Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2018	—	`ch.`	Space for Traffic Manoeuvres: An Overview. Symposium on Real-Time and Hybrid Systems Ernst-Rüdiger Olderog
2017	—	`conf`	Formalising a Hazard Warning Communication Protocol with Timed Automata. Models, Algorithms, Logics and Tools Ernst-Rüdiger Olderog, Maike Schwammberger
2017	—	`ch.`	Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. Provably Correct Systems Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski
2017	J	`jnl`	Petri games: Synthesis of distributed systems with causal memory. Inf. Comput. Bernd Finkbeiner, Ernst-Rüdiger Olderog
2017	—	`book`	Provably Correct Systems Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
2017	—	`conf`	Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
2017	J	`jnl`	Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2016	—	`conf`	A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. Theory and Practice of Formal Methods Björn Engelmann, Ernst-Rüdiger Olderog
2015	J	`jnl`	A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. CoRR Björn Engelmann, Ernst-Rüdiger Olderog
2015	—	`conf`	Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
2015	J	`jnl`	Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -. CoRR Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick
2015	J	`jnl`	Letter from the Managing Editor. Acta Informatica Ernst-Rüdiger Olderog
2015	—	`conf`	Linking spatial and dynamic models for traffic maneuvers. CDC Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski
2015	J	`jnl`	Special issue on "Combining Compositionality and Concurrency": part 1. Acta Informatica Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
2015	J	`jnl`	Special issue on "Combining Compositionality and Concurrency": part 2. Acta Informatica Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
2015	J	`jnl`	Structural transformations for data-enriched real-time systems. Formal Aspects Comput. Ernst-Rüdiger Olderog, Mani Swaminathan
2015	Misc	`conf`	Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2014	—	`conf`	Petri Games: Synthesis of Distributed Systems with Causal Memory. GandALF Bernd Finkbeiner, Ernst-Rüdiger Olderog
2014	—	`conf`	Von Petri-Spielen zu endlichen Automaten. GI-Jahrestagung Ernst-Rüdiger Olderog
2013	—	`conf`	Proving Safety of Traffic Manoeuvres on Country Roads. Theories of Programming and Formal Methods Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2013	B	`conf`	Structural Transformations for Data-Enriched Real-Time Systems. IFM Ernst-Rüdiger Olderog, Mani Swaminathan
2012	C	`conf`	Automatic Verification of Real-Time Systems with Rich Data: An Overview. TAMC Ernst-Rüdiger Olderog
2012	J	`jnl`	Layered reasoning for randomized distributed algorithms. Formal Aspects Comput. Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog
2012	J	`jnl`	Turing und die Verifikation. Inform. Spektrum Ernst-Rüdiger Olderog, Reinhard Wilhelm
2012	J	`jnl`	Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
2011	C	`conf`	An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
2011	J	`jnl`	Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Int. J. Softw. Informatics Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel
2010	—	`conf`	Explicit Fair Scheduling for Dynamic Control. Concurrency, Compositionality, and Correctness Ernst-Rüdiger Olderog, Andreas Podelski
2010	A	`conf`	Fairness for Dynamic Control. TACAS Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski
2010	B	`conf`	Kleene, Rabin, and Scott Are Available. CONCUR Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog
2010	—	`conf`	Layered Composition for Timed Automata. FORMATS Ernst-Rüdiger Olderog, Mani Swaminathan
2010	J	`jnl`	Verification of Object-Oriented Programs: a Transformational Approach CoRR Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	J	`jnl`	Modular Verification of Recursive Programs CoRR Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	—	`conf`	Modular Verification of Recursive Programs. Languages: From Formal to Natural Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	—	`book`	Verification of Sequential and Concurrent Programs. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2008	J	`jnl`	Integrating a formal method into a software engineering process with UML and Java. Formal Aspects Comput. Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
2008	—	`book`	Real-time systems - formal specification and automatic verification. Ernst-Rüdiger Olderog, Henning Dierks
2007	—	`conf`	Automatic Verification of Combined Specifications: An Overview. TTSS Ernst-Rüdiger Olderog
2007	—	`conf`	Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
2007	J	`jnl`	Editorial: Hybrid Systems. Acta Informatica Ernst-Rüdiger Olderog, Anders P. Ravn
2007	J	`jnl`	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. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
2007	A	`conf`	Specifying and analyzing security automata using CSP-OZ. AsiaCCS David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç
2006	—	`conf`	Controlling Access to Documents: A Formal Access Control Model. ETRICS Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog
2005	J	`jnl`	Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program. Ernst-Rüdiger Olderog, Heike Wehrheim
2004	B	`conf`	Linking CSP-OZ with UML and Java: A Case Study. IFM Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
2003	J	`jnl`	Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. Univers. Comput. Sci. Ernst-Rüdiger Olderog, Henning Dierks
2003	—	`conf`	On the Verification of Cooperating Traffic Agents. FMCO Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
2003	—	`conf`	Translation and Optimization in the Verification of Real-Time Systems. COCV Ernst-Rüdiger Olderog
2002	J	`jnl`	CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. Jochen Hoenicke, Ernst-Rüdiger Olderog
2002	B	`conf`	Combining Specification Techniques for Processes, Data and Time. IFM Jochen Hoenicke, Ernst-Rüdiger Olderog
2002	—	`ed.`	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 FTRTFT Werner Damm, Ernst-Rüdiger Olderog
2002	—	`conf`	Specification and Inheritance in CSP-OZ. FMCO Ernst-Rüdiger Olderog, Heike Wehrheim
2001	B	`conf`	A CSP View on UML-RT Structure Diagrams. FASE Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
2001	—	`ch.`	Trace-Oriented Models of Concurrency. Handbook of Process Algebra Manfred Broy, Ernst-Rüdiger Olderog
2000	—	`conf`	Completeness in formal specification language design for process-control systems. FMSP Ernst-Rüdiger Olderog, Anders P. Ravn
1999	—	`conf`	Correct Real-Time Software for Programmable Logic Controllers. Correct System Design Ernst-Rüdiger Olderog
1999	—	`ed.`	Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) Correct System Design, Recent Insight and Advances Ernst-Rüdiger Olderog, Bernhard Steffen
1999	—	`conf`	Entwicklung korrekter zeitkritischer Systeme. FBT Ernst-Rüdiger Olderog
1999	—	`conf`	The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
1999	J	`jnl`	Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. Acta Informatica Michael Schenke, Ernst-Rüdiger Olderog
1998	—	`conf`	Combining Specification Techniques for Processes, Data and Time. ZUM Ernst-Rüdiger Olderog
1998	B	`conf`	Formal methods in real-time systems. ECRTS Ernst-Rüdiger Olderog
1997	J	`jnl`	Beweisbar korrekte Telekommunikationssysteme. Informationstechnik Tech. Inform. Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog
1997	—	`conf`	Decomposing Real-Time Specifications. COMPOS Ernst-Rüdiger Olderog, Henning Dierks
1997	—	`book`	Verification of Sequential and Concurrent Programs, Second Edition. Krzysztof R. Apt, Ernst-Rüdiger Olderog
1995	—	`conf`	Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. STRICT Ernst-Rüdiger Olderog, Michael Schenke
1995	—	`ch.`	Korso Reference Languages - Concepts and Application Domains. KORSO Book Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog
1994	—	`ed.`	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 PROCOMET Ernst-Rüdiger Olderog
1994	—	`conf`	Provably Correct Systems. FTRTFT 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
1993	—	`conf`	A Case Study in Transformational Design of Concurrent Systems. TAPSOFT Ernst-Rüdiger Olderog, Stephan Rössig
1993	—	`conf`	Developing Correct Systems. RTS Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn
1992	A*	`conf`	Interfaces between Languages for Communicating Systems. ICALP Ernst-Rüdiger Olderog
1991	J	`jnl`	Correctness of Concurrent Processes. Theor. Comput. Sci. Ernst-Rüdiger Olderog
1991	B	`conf`	Towards a Design Calculus for Communicationg Programs. CONCUR Ernst-Rüdiger Olderog
1991	—	`book`	Verification of Sequential and Concurrent Programs Krzysztof R. Apt, Ernst-Rüdiger Olderog
1990	J	`jnl`	Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1989	B	`conf`	Correctness of Concurrent Processes. MFCS Ernst-Rüdiger Olderog
1989	—	`conf`	From Trace Specifications to Process Terms. REX Workshop Ernst-Rüdiger Olderog
1989	—	`conf`	Introduction to Program Verification. Formal Description of Programming Concepts Krzysztof R. Apt, Ernst-Rüdiger Olderog
1989	—	`conf`	Using Transformation to Verify Parallel Programs. Algebraic Methods Ernst-Rüdiger Olderog, Krzysztof R. Apt
1988	J	`jnl`	Fairness in Parallel Programs: The Transformational Approach. ACM Trans. Program. Lang. Syst. Ernst-Rüdiger Olderog, Krzysztof R. Apt
1988	J	`jnl`	Readies and Failures in the Algebra of Communicating Processes. SIAM J. Comput. Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog
1988	—	`conf`	Strong bisimilarity on nets: a new concept for comparing net semantics. REX Workshop Ernst-Rüdiger Olderog
1988	J	`jnl`	Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1987	—	`conf`	Failures without chaos: a new process semantics for fair abstraction. Formal Description of Programming Concepts Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog
1987	J	`jnl`	Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1986	—	`ch.`	Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1986	—	`conf`	Operational Petri net semantics for CCSP. European Workshop on Applications and Theory of Petri Nets Ernst-Rüdiger Olderog
1986	—	`ch.`	Process Theory: Semantics, Specification and Verification. Current Trends in Concurrency Ernst-Rüdiger Olderog
1986	J	`jnl`	Specification-Oriented Semantics for Communicating Processes. Acta Informatica Ernst-Rüdiger Olderog, C. A. R. Hoare
1986	—	`conf`	TCSP: Theory of Communicating Sequential Processes. Advances in Petri Nets Ernst-Rüdiger Olderog
1985	A*	`conf`	Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1985	A*	`conf`	Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency STOC J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1984	J	`jnl`	Correctnes of Programs with Pascal-Like Procedures without Global Variables. Theor. Comput. Sci. Ernst-Rüdiger Olderog
1984	—	`conf`	Specification-Oriented Programming in TCSP. Logics and Models of Concurrent Systems Ernst-Rüdiger Olderog
1984	A	`conf`	Transformations Realizing Fairness Assumptions for Parallel Programs. STACS Krzysztof R. Apt, Ernst-Rüdiger Olderog
1983	A*	`conf`	A Characterization of Hoare's Logic for Programs with Pascal-like Procedures STOC Ernst-Rüdiger Olderog
1983	—	`conf`	Hoare's Logic for Programs with Procedures - What Has Been Achieved?. Logic of Programs Ernst-Rüdiger Olderog
1983	J	`jnl`	On the Notion of Expressiveness and the Rule of Adaption. Theor. Comput. Sci. Ernst-Rüdiger Olderog
1983	J	`jnl`	Proof Rules and Transformations Dealing with Fairness. Sci. Comput. Program. Krzysztof R. Apt, Ernst-Rüdiger Olderog
1983	A*	`conf`	Specification-Oriented Semantics for Communicating Processes. ICALP Ernst-Rüdiger Olderog, C. A. R. Hoare
1981	—	`—`	Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen. Ernst-Rüdiger Olderog
1981	—	`conf`	Hoare-Style Proof Systems and Formal Computations. GI Jahrestagung Ernst-Rüdiger Olderog
1981	—	`conf`	Proof Rules Dealing with Fairness. Logic of Programs Krzysztof R. Apt, Ernst-Rüdiger Olderog
1981	J	`jnl`	Sound and Complete Hoare-like Calculi Based on Copy Rules. Acta Informatica Ernst-Rüdiger Olderog
1980	A*	`conf`	Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. ICALP Hans Langmaack, Ernst-Rüdiger Olderog