Ernst-Ruediger Olderog

Cited by

	All	Since 2018
Citations	5051	744
h-index	36	12
i10-index	76	15

200

100

150

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202344 31 45 75 80 102 107 131 111 130 145 140 161 153 158 131 90 123 108 106 110 137 130 188 146 142 147 113 149 137 123 189 125 123 105 119 121 150 116 132

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
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Manuel GiesekingCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Martin HilscherCarl von Ossietzky University OldenburgVerified email at informatik.uni-oldenburg.de
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
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 KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.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	930	2010
Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Acta Informatica 23, 9-66, 1986	414	1986
Nets, terms and formulas: three views of concurrent processes and their relationship ER Olderog Cambridge University Press, 1992	350	1992
Real-time systems: formal specification and automatic verification ER Olderog, H Dierks Cambridge University Press, 2008	163	2008
Operational Petri net semantics for CCSP ER Olderog European Workshop on Applications and Theory in Petri Nets, 196-223, 1986	161	1986
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	123	1994
Proof rules and transformations dealing with fairness KR Apt, ER Olderog Science of Computer Programming 3 (1), 65-100, 1983	123	1983
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	108	1987
Readies and failures in the algebra of communicating processes JA Bergstra, JW Klop, ER Olderog SIAM Journal on Computing 17 (6), 1134-1177, 1988	106	1988
Fairness in parallel programs: The transformational approach ER Olderog, KR Apt ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 420-455, 1988	93	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	85	2011
Verification of cooperating traffic agents W Damm, H Hungar, ER Olderog International Journal of Control 79 (05), 395-421, 2006	81	2006
Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983	80	1983
Fifty years of Hoare’s logic KR Apt, ER Olderog Formal Aspects of Computing 31, 751-807, 2019	72	2019
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	72	1986
On the notion of expressiveness and the rule of adaptation ER Olderog Theoretical Computer Science 24 (3), 337-347, 1983	70	1983
A CSP view on UML-RT structure diagrams C Fischer, ER Olderog, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2001	66	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
Sound and complete Hoare-like calculi based on copy rules ER Olderog Acta Informatica 16, 161-197, 1981	60	1981

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