Ernst-Rüdiger Olderog | Academic Influence

Ernst-Rüdiger Olderog's AcademicInfluence.com Rankings

Ernst-Rüdiger Olderog

Computer Science

#2482

World Rank

#2592

Historical Rank

Software Engineering

#223

World Rank

#227

Historical Rank

Database

#8220

World Rank

#8575

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Ernst-Rüdiger Olderog's Degrees

PhD Computer Science University of Oldenburg

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2024

Why Is Ernst-Rüdiger Olderog Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Ernst-Rüdiger Olderog is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. He heads the Correct Systems Design group whose research is focused on programming language theory. Their research goal is methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Prof. Olderog was awarded the Leibnitz Prize of the German Research Foundation for his work. He authored a number of scientific books and served as editor-in-chief of the journal Acta Informatica and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998.

(See a Problem?)

Ernst-Rüdiger Olderog's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Verification of Sequential and Concurrent Programs (1997) (376)
Specification-oriented semantics for Communicating Processes (1983) (143)
Verification of Sequential and Concurrent Programs (1997) (140)
Nets, terms and formulas (1991) (135)
Operational Petri net semantics for CCSP (1986) (121)
Proof Rules and Transformations Dealing with Fairness (1983) (86)
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (1999) (84)
Failures without chaos: a new process semantics for fair abstraction (1987) (80)
Real-time systems - formal specification and automatic verification (2008) (76)
Readies and Failures in the Algebra of Communicating Processes (1988) (76)
Fairness in parallel programs: the transformational approach (1988) (65)
Contrasting Themes in the Semantics of Imperative Concurrency (1986) (63)
On the Notion of Expressiveness and the Rule of Adaption (1983) (59)
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres (2011) (52)
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time (2002) (49)
A CSP View on UML-RT Structure Diagrams (2001) (47)
The UniForM Workbench, a Universal Development Environment for Formal Methods (1999) (47)
Developing Correct Systems (1993) (45)
On the Verification of Cooperating Traffic Agents (2003) (42)
A ProCos Project Description: Esprit BRA 3104 (1989) (42)
Towards a Design Calculus for Communicationg Programs (1991) (40)
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency (1988) (40)
Fifty years of Hoare’s logic (2019) (39)
Combining Specification Techniques for Processes, Data and Time (1998) (38)
Petri games: Synthesis of distributed systems with causal memory (2014) (37)
Integrating a formal method into a software engineering process with UML and Java (2008) (36)
Process Theory: Semantics, Specification and Verification (1986) (36)
Transformational design of real-time systems Part I: From requirements to program specifications (1999) (35)
Correctnes of Programs with Pascal-Like Procedures without Global Variables (1984) (34)
Linking CSP-OZ with UML and Java: A Case Study (2004) (33)
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (1980) (33)
Trace-Oriented Models of Concurrency (2001) (32)
Automating Verification of Cooperation, Control, and Design in Traffic Applications (2007) (32)
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (2005) (32)
Proving Safety of Traffic Manoeuvres on Country Roads (2013) (31)
Verification of cooperating traffic agents (2006) (31)
TCSP: Theory of Communicating Sequential Processes (1986) (30)
Nets, Terms and Formulas (Cambridge Tracts in Theoretical Computer Science) (2005) (28)
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (1985) (27)
A ProCoS II Project Final Report: ESPRIT Basic Research project 7071 (1996) (27)
Adam: Causality-Based Synthesis of Distributed Systems (2015) (24)
Proof Rules Dealing with Fairness (1981) (22)
Strong bisimilarity on nets: a new concept for comparing net semantics (1988) (21)
Verification of object-oriented programs: A transformational approach (2010) (21)
A characterization of Hoare's logic for programs with Pascal-like procedures (1983) (21)
Transition systems, infinitary languages and the semantics of uniform concurrency (1985) (21)
Specifying and analyzing security automata using CSP-OZ (2007) (20)
A Case Study in Transformational Design of Concurrent Systems (1993) (20)
Specification and (property) inheritance in CSP-OZ (2005) (20)
Specification-Oriented Programming in TCSP (1989) (18)
Failure semantics with fair abstraction (1986) (18)
Sound and complete Hoare-like calculi based on copy rules (1981) (17)
Decomposing Real-Time Specifications (1997) (16)
Interfaces between Languages for Communicating Systems (1992) (16)
Kleene, Rabin, and Scott Are Available (2010) (15)
Hoare's Logic for Programs with Procedures - What Has Been Achieved? (1983) (14)
Symbolic vs. Bounded Synthesis for Petri Games (2017) (12)
Nets, Terms and Formulas: PROCESS TERMS (1991) (12)
Transformations Realizing Fairness Assumptions for Parallel Programs (1984) (12)
Layered Composition for Timed Automata (2010) (12)
Correct Real-Time Software for Programmable Logic Controllers (1999) (11)
SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme) (2007) (11)
Synthesizing and verifying controllers for multi-lane traffic maneuvers (2017) (11)
Provably Correct Systems (1994) (10)
Layered reasoning for randomized distributed algorithms (2012) (10)
Formal Techniques in Real-Time and Fault-Tolerant Systems (1988) (10)
Correct System Design (2000) (10)
Controlling Access to Documents: A Formal Access Control Model (2006) (9)
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (2020) (9)
Model Checking Data Flows in Concurrent Network Updates (Full Version) (2019) (8)
Structural transformations for data-enriched real-time systems (2013) (8)
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers (2017) (8)
Failures without chaos : a new process model for fair abstraction (1987) (8)
Proving termination of parallel programs (1990) (8)
Korso Reference Languages - Concepts and Application Domains (1995) (7)
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications (1995) (7)
Synthesizing Controllers for Multi-lane Traffic Maneuvers (2015) (7)
Formalising a Hazard Warning Communication Protocol with Timed Automata (2017) (6)
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data (2011) (6)
Documenting Design Refinement (2000) (5)
Formal methods in real-time systems (1998) (5)
Fairness for Dynamic Control (2010) (5)
Using Transformation to Verify Parallel Programs (1991) (5)
High-Level Representation of Benchmark Families for Petri Games (2019) (4)
Solving high-level Petri games (2020) (4)
Modular Verification of Recursive Programs (2009) (4)
Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (1994) (4)
Real-Time Systems: Timed automata (2008) (4)
Explicit Fair Scheduling for Dynamic Control (2010) (4)
A Duration Semantics for Real-Time Reactive Systems (1993) (4)
Specification and Inheritance in CSP-OZ (2002) (4)
Introduction to Program Verification (1989) (4)
From Trace Specifications to Process Terms (1989) (3)
Hard real-time development environments (2005) (3)
Correctness of Concurrent Processes (1989) (3)
Completeness in formal specification language design for process-control systems (2000) (3)
Real-Time Systems: Introduction (2008) (3)
Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version - (2015) (3)
Linking spatial and dynamic models for traffic maneuvers (2015) (3)
Letter from the Managing Editor (2015) (2)
Parallel Programs (2003) (2)
Systematic Derivation of Communicating Programs (1992) (2)
Hoare-Style Proof Systems and Formal Computations (1981) (2)
Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2 (2002) (2)
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (2021) (2)
Automatic Verification of Combined Specifications: An Overview (2008) (2)
Automatic Verification of Real-Time Systems with Rich Data: An Overview (2012) (2)
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs (2015) (2)
Special issue on “Combining Compositionality and Concurrency”: part 1 (2015) (2)
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 (1994) (2)
Model Checking Branching Properties on Petri Nets with Transits (Full Version) (2020) (2)
Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (2011) (1)
Space for Traffic Manoeuvres: An Overview (2018) (1)
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version - (2015) (1)
Structural transformations for data-enriched real-time systems (2014) (1)
Special issue on “Combining Compositionality and Concurrency”: part 2 (2015) (1)
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems - Progress Report (2015) (1)
Assessing the Success and Impact of Hoare’s Logic (2021) (1)
Object-Oriented Programs (2009) (0)
Special issue on “Combining Compositionality and Concurrency”: part 1 (2014) (0)
Real-Time Systems: Bibliography (2008) (0)
Synthesizing and verifying controllers for multi-lane traffic maneuvers (2017) (0)
Parallel Programs with Synchronization (1991) (0)
Model Checking, Synthesis, and Learning (2021) (0)
Letter from the Managing Editor (2014) (0)
Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) (2021) (0)
Assessment 978-0-521-88333-7 — Real-Time Systems (0)
Spatial and Timing Properties in Highway Traffic (2022) (0)
Special issue on “Combining Compositionality and Concurrency”: part 2 (2015) (0)
Translation and Optimization in the Verification of Real-Time Systems (2004) (0)
Formal Aspects of Computing Layered reasoning for randomized distributed algorithms (0)
A Game-Based Semantics for CSP (2016) (0)
Nets, Terms and Formulas: PETRI NETS (1991) (0)
Real-Time Systems: Automatic verification (2008) (0)
Layered reasoning for randomized distributed algorithms (2012) (0)
System correctness under adverse conditions (2021) (0)
Parallel Programs with Shared Variables (1991) (0)
Nondeterminism and Guarded Commands (2022) (0)
Semantics for Timed Message Sequence Charts via Constraint Diagrams (2017) (0)
Recursive Programs with Parameters (2009) (0)
Automata-Theoretic Verification based on Counterexample Specifications (2009) (0)
Nets, Terms and Formulas: EXTENSIONS (1991) (0)
Solving high-level Petri games (2020) (0)
The Synthesis Problem for Repeatedly Communicating Petri Games (2022) (0)
Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA (2000) (0)
Correction to: Solving high-level Petri games (2021) (0)
AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB / TR 14 AVACS (2013) (0)
Properties and subsets of DC (2008) (0)
Formal Specification and Automatic Verification (2008) (0)
Editorial: Hybrid Systems (2007) (0)
Temporale Spezifikationslogiken (Temporal Logics for Specifications) (2003) (0)
Hiding in stream semantics of uniform concurrency (1990) (0)
Proving terminations of parallel programs (1990) (0)
Disjoint Parallel Programs (1991) (0)
A note on disjoint parallelism (1989) (0)
Semantics of Concurrent Systems-Foundations and Applications 6-10 May 1996 (2008) (0)
Real-Time Systems: PLC-Automata (2008) (0)
Logical Formulas (2019) (0)

This paper list is powered by the following services:

Other Resources About Ernst-Rüdiger Olderog

en.wikipedia.org

What Schools Are Affiliated With Ernst-Rüdiger Olderog?

Ernst-Rüdiger Olderog is affiliated with the following schools: