Ernst-Ruediger Olderog

Cited by

	All	Since 2019
Citations	5244	747
h-index	36	12
i10-index	79	14

200

100

150

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 43 73 81 106 105 129 124 131 154 155 170 160 162 140 93 128 113 106 111 137 125 195 156 141 145 116 148 137 120 191 126 128 104 119 125 155 132 140 76

Public access

View all

27 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Martin HilscherCarl von Ossietzky University OldenburgVerified email at informatik.uni-oldenburg.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Mani SwaminathanResearcher in Computer ScienceVerified email at uni-oldenburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Joost KokVice-Dean Mathematics and Computer ScienceVerified email at tue.nl
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Jan-David QueselGoogleVerified email at google.com

Ernst-Ruediger Olderog

Professor für Informatik, Universität Oldenburg

Verified email at informatik.uni-oldenburg.de - Homepage

Formal Methods Computer Science Informatik


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verification of sequential and concurrent programs K Apt, FS De Boer, ER Olderog Springer Science & Business Media, 2010	965	2010
Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Acta Informatica 23, 9-66, 1986	413	1986
Nets, terms and formulas: three views of concurrent processes and their relationship ER Olderog Cambridge University Press, 1992	361	1992
Real-time systems: formal specification and automatic verification ER Olderog, H Dierks Cambridge University Press, 2008	166	2008
Operational Petri net semantics for CCSP ER Olderog European Workshop on Applications and Theory in Petri Nets, 196-223, 1986	165	1986
Proof rules and transformations dealing with fairness KR Apt, ER Olderog Science of Computer Programming 3 (1), 65-100, 1983	133	1983
Provably correct systems J He, CAR Hoare, M Fränzle, M Müller-Olm, ER Olderog, M Schenke, ... Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994	127	1994
Failures without chaos: a new process model for fair abstraction JA Bergstra, JW Klop, ER Olderog North Holland (now part of Elsevier) 3, 77-103, 1987	107	1987
Fairness in parallel programs: The transformational approach ER Olderog, KR Apt ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 420-455, 1988	96	1988
Readies and failures in the algebra of communicating processes JA Bergstra, JW Klop, ER Olderog SIAM Journal on Computing 17 (6), 1134-1177, 1988	95	1988
An abstract model for proving safety of multi-lane traffic manoeuvres M Hilscher, S Linker, ER Olderog, AP Ravn International Conference on Formal Engineering Methods, 404-419, 2011	91	2011
Fifty years of Hoare’s logic KR Apt, ER Olderog Formal Aspects of Computing 31, 751-807, 2019	83	2019
Verification of cooperating traffic agents W Damm, H Hungar, ER Olderog International Journal of Control 79 (05), 395-421, 2006	83	2006
Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983	78	1983
On the notion of expressiveness and the rule of adaptation ER Olderog Theoretical Computer Science 24 (3), 337-347, 1983	71	1983
Contrasting themes in the semantics of imperative concurrency JW de Bakker, JN Kok, JJC Meyer, ER Olderog, JI Zucker Current Trends in Concurrency: Overviews and Tutorials, 51-121, 1986	70	1986
A CSP view on UML-RT structure diagrams C Fischer, ER Olderog, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2001	64	2001
CSP-OZ-DC: A combination of specification techniques for processes, data and time J Hoenicke, ER Olderog Nord. J. Comput. 9 (4), 301-334, 2002	62	2002
Refining system requirements to program specifications ER Olderog, AP Ravn, JU Skakkebaek Formal Methods in Real-Time Systems, 1996	61	1996
Proving safety of traffic manoeuvres on country roads M Hilscher, S Linker, ER Olderog Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013	59	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors