| 2022 | CSL | Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2022 | ICTAC | Spatial and Timing Properties in Highway Traffic. | Christopher Bischopink, Ernst-Rdiger Olderog |
| 2020 | ATVA | Model Checking Branching Properties on Petri Nets with Transits. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2020 | CAV | AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2019 | ATVA | Model Checking Data Flows in Concurrent Network Updates. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2015 | CAV | Adam: Causality-Based Synthesis of Distributed Systems. | Bernd Finkbeiner, Manuel Gieseking, Ernst-Rdiger Olderog |
| 2015 | SETTA | Synthesizing Controllers for Multi-lane Traffic Maneuvers. | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog |
| 2014 | GI | Von Petri-Spielen zu endlichen Automaten. | Ernst-Rdiger Olderog |
| 2013 | IFM | Structural Transformations for Data-Enriched Real-Time Systems. | Ernst-Rdiger Olderog, Mani Swaminathan |
| 2012 | TAMC | Automatic Verification of Real-Time Systems with Rich Data: An Overview. | Ernst-Rdiger Olderog |
| 2011 | ICFEM | An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. | Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog, Anders P. Ravn |
| 2010 | CONCUR | Kleene, Rabin, and Scott Are Available. | Jochen Hoenicke, Roland Meyer, Ernst-Rdiger Olderog |
| 2010 | TACAS | Fairness for Dynamic Control. | Jochen Hoenicke, Ernst-Rdiger Olderog, Andreas Podelski |
| 2007 | CCS | Specifying and analyzing security automata using CSP-OZ. | David A. Basin, Ernst-Rdiger Olderog, Paul E. Sevin |
| 2004 | IFM | Linking CSP-OZ with UML and Java: A Case Study. | Michael Mller, Ernst-Rdiger Olderog, Holger Rasch, Heike Wehrheim |
| 2002 | IFM | Combining Specification Techniques for Processes, Data and Time. | Jochen Hoenicke, Ernst-Rdiger Olderog |
| 2001 | FASE | A CSP View on UML-RT Structure Diagrams. | Clemens Fischer, Ernst-Rdiger Olderog, Heike Wehrheim |
| 1999 | FM | The UniForM Workbench, a Universal Development Environment for Formal Methods. | Bernd Krieg-Brckner, Jan Peleska, Ernst-Rdiger Olderog, Alexander Baer |
| 1998 | ECRTS | Formal methods in real-time systems. | Ernst-Rdiger Olderog |
| 1993 | ECRTS | Developing Correct Systems. | Jonathan P. Bowen, Ernst-Rdiger Olderog, Martin Frnzle, Anders P. Ravn |
| 1992 | ICALP | Interfaces between Languages for Communicating Systems. | Ernst-Rdiger Olderog |
| 1991 | CONCUR | Towards a Design Calculus for Communicationg Programs. | Ernst-Rdiger Olderog |
| 1989 | MFCS | Correctness of Concurrent Processes. | Ernst-Rdiger Olderog |
| 1985 | ICALP | Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog |
| 1985 | STOC | Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog, Jeffery I. Zucker |
| 1984 | STACS | Transformations Realizing Fairness Assumptions for Parallel Programs. | Krzysztof R. Apt, Ernst-Rdiger Olderog |
| 1983 | ICALP | Specification-Oriented Semantics for Communicating Processes. | Ernst-Rdiger Olderog, C. A. R. Hoare |
| 1983 | STOC | A Characterization of Hoare's Logic for Programs with Pascal-like Procedures | Ernst-Rdiger Olderog |
| 1981 | GI | Hoare-Style Proof Systems and Formal Computations. | Ernst-Rdiger Olderog |
| 1980 | ICALP | Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. | Hans Langmaack, Ernst-Rdiger Olderog |