World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
4880
World Ranking
13543
National Ranking
652

Research.com Recognitions

  • 2012 - Member of Academia Europaea

Overview

Ernst-Rüdiger Olderog is affiliated with the Carl von Ossietzky University of Oldenburg in Germany. Their academic contributions primarily lie within the fields of Computer Science and Social Sciences, covering a total of 58 publications in computer science and 7 in social sciences.

Their research spans several subfields, including:

  • Computational Theory and Mathematics
  • Computer Networks and Communications
  • Artificial Intelligence
  • Sociology and Political Science
  • Software

Olderog's main topics of work consist of:

  • Formal Methods in Verification
  • Petri Nets in System Modeling
  • Access Control and Trust
  • Distributed Systems and Fault Tolerance
  • Logic, Programming, and Type Systems
  • Security and Verification in Computing
  • Logic, Reasoning, and Knowledge

The scientist has contributed to several recent papers, including:

  • Solving high-level Petri games, 2020, Acta Informatica
  • Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory, 2023, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version), 2020, arXiv (Cornell University)
  • Model Checking Branching Properties on Petri Nets with Transits (Full Version), 2020, arXiv (Cornell University)
  • Correction to: Solving high-level Petri games, 2021, Acta Informatica

Olderog's work has been published across several key venues, such as:

  • arXiv (Cornell University)
  • Acta Informatica
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • it - Information Technology

Frequent collaborators in research include Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Krzysztof R. Apt, and Nick Würdemann. They have jointly contributed to multiple scholarly outputs documented in various publications.

In addition to articles, Olderog has contributed to the literature with a book titled "Model Checking, Synthesis, and Learning," published by Springer Science+Business Media in 2021.

Recognition includes membership in the Academia Europaea since 2012.

Best Publications

  • Verification of Sequential and Concurrent Programs

    R. Apt Krzysztof;Ernst-Rüdiger Olderog

  • Specification-oriented semantics for communicating processes

    E R Olderog;C A R Hoare

  • Verification of sequential and concurrent programs

    K.R. Apt;E.R. Olderog

  • Verification of sequential and concurrent programs (2nd ed.)

    Krzysztof R. Apt;Ernst-Rüdiger Olderog

  • Operational Petri net semantics for CCSP

    Ernst-Rüdiger Olderog

  • Nets, terms and formulas

    E.-R. Olderog

  • Provably Correct Systems

    He Jifeng;C. A. R. Hoare;Martin Fränzle;Markus Müller-Olm

  • Proof rules and transformations dealing with fairness

    Krzysztof R. Apt;Ernst-Rüdiger Olderog;Ernst-Rüdiger Olderog

  • Readies and failures in the algebra of communicating processes

    J. A. Bergstra;J. W. Klop;E.-R. Olderrog

  • Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

    Ernst-Rüdiger Olderog;Bernhard Steffen

  • Failures without chaos : a new process model for fair abstraction

    J.A. Bergstra;J.W. Klop;E.-R. Olderog

  • Failures without chaos: a new process semantics for fair abstraction

    Jan A. Bergstra;Jan Willem Klop;Ernst-Rüdiger Olderog

  • An abstract model for proving safety of multi-lane traffic manoeuvres

    Martin Hilscher;Sven Linker;Ernst-Rüdiger Olderog;Anders P. Ravn

  • Fairness in parallel programs: the transformational approach

    Ernst-Rüdiger Olderog;Krzysztof R. Apt

  • Verification of cooperating traffic agents

    W. Damm;H. Hungar;E.-R. Olderog

  • On the notion of expressiveness and the rule of adaptation

    Ernst-Rüdiger Olderog

  • Contrasting themes in the semantics of imperative concurrency

    J W de Bakker;J N Kok;J-J Ch Meyer;E R Olderog

  • Specification-Oriented Semantics for Communicating Processes

    Ernst-Rüdiger Olderog;Ernst-Rüdiger Olderog;C. A. R. Hoare;C. A. R. Hoare

  • Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

    E.-R. Olderog

  • A CSP View on UML-RT Structure Diagrams

    Clemens Fischer;Ernst-Rüdiger Olderog;Heike Wehrheim

  • CSP-OZ-DC: a combination of specification techniques for processes, data and time

    Jochen Hoenicke;Ernst-Rüdiger Olderog

  • Arbeitspapiere der GMD 320

    Ernst-Rudiger Olderog;Ursula Goltz;Rob van Glabbeek

Frequent Co-Authors

Krzysztof R. Apt
Krzysztof R. Apt Centrum Wiskunde & Informatica
Bernd Finkbeiner
Bernd Finkbeiner Saarland University
C. A. R. Hoare
C. A. R. Hoare Microsoft (United States)
Andreas Podelski
Andreas Podelski University of Freiburg
Jan A. Bergstra
Jan A. Bergstra University of Amsterdam
Jonathan P. Bowen
Jonathan P. Bowen London South Bank University
John-Jules Ch. Meyer
John-Jules Ch. Meyer Utrecht University
Bernhard Steffen
Bernhard Steffen TU Dortmund University
Gregor von Bochmann
Gregor von Bochmann University of Ottawa
André Platzer
André Platzer Karlsruhe Institute of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring a degree in Computer Science doesn't have to be limited to traditional on-campus routes. Today, many of the most affordable online colleges offer flexible, high-quality computer science programs that can fit any budget.

If your academic record is a concern, some of the best colleges for low gpa provide pathways for students who may not meet the strictest admissions criteria, making education more accessible for everyone.

For those seeking to accelerate their career growth, computer science degree online options allow motivated learners to graduate sooner—sometimes in as little as 12 to 18 months.

Computer Science graduates can pursue a wide range of jobs, not only in technology but also in other sectors like healthcare, business, and even environmental analysis. If you're curious about diverse opportunities in related fields, check out what kind of roles are available with what jobs can you get with an environmental science degree to explore other interdisciplinary career paths.

Best Scientists Citing Ernst-Rüdiger Olderog

Trending Scientists

Recently Published Articles