Ernst-Ruediger Olderog

Cited by

	All	Since 2018
Citations	4941	666
h-index	35	11
i10-index	75	16

200

100

150

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202349 33 45 66 87 103 99 123 107 126 136 132 155 142 155 132 89 125 107 105 109 192 132 191 146 139 145 114 144 137 127 190 122 124 104 122 121 154 120 45

Public access

View all

26 articles

5 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
Sven LinkerLancaster University (Leipzig)Verified email at lancaster.ac.uk
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
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Mani SwaminathanResearcher in Computer ScienceVerified email at uni-oldenburg.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 of Computer Science, 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

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 KR Apt, ER Olderog, KR Apt Springer, 2009	893	2009
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	343	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 Advances in Petri nets 1987, 196-223, 2005	159	2005
Proof rules and transformations dealing with fairness KR Apt, ER Olderog Science of Computer Programming 3 (1), 65-100, 1983	126	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	123	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	112	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	109	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
Verification of cooperating traffic agents W Damm, H Hungar, ER Olderog International Journal of Control 79 (05), 395-421, 2006	82	2006
An abstract model for proving safety of multi-lane traffic manoeuvres M Hilscher, S Linker, ER Olderog, AP Ravn Formal Methods and Software Engineering: 13th International Conference on …, 2011	81	2011
Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983	81	1983
Contrasting themes in the semantics of imperative concurrency JN Kok, JJC Meyer, ER Olderog, JI Zucker Current Trends in Concurrency: Overviews and Tutorials, 51, 1986	74	1986
On the notion of expressiveness and the rule of adaptation ER Olderog Theoretical Computer Science 24 (3), 337-347, 1983	68	1983
A CSP view on UML-RT structure diagrams C Fischer, ER Olderog, H Wehrheim Fundamental Approaches to Software Engineering: 4th International Conference …, 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	64	2002
Sound and complete Hoare-like calculi based on copy rules ER Olderog Acta Informatica 16, 161-197, 1981	61	1981
Refining system requirements to program specifications ER Olderog, AP Ravn, JU Skakkebaek Formal Methods in Real-Time Systems, 1996	60	1996
Fifty years of Hoare’s logic KR Apt, ER Olderog Formal Aspects of Computing 31, 751-807, 2019	57	2019

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