Ernst-Ruediger Olderog

Cited by

	All	Since 2019
Citations	5221	727
h-index	36	12
i10-index	79	14

200

100

150

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 43 73 81 106 105 129 124 131 154 155 169 160 162 140 93 128 113 106 111 137 125 195 156 141 144 116 148 138 120 190 126 128 104 119 125 155 132 142 54

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
A case study in transformational design of concurrent systems ER Olderog, S Rössig Colloquium on Trees in Algebra and Programming, 90-104, 1993	32	1993
A characterization of Hoare's logic for programs with Pascal-like procedures ER Olderog Proceedings of the fifteenth annual ACM symposium on Theory of computing …, 1983	19	1983
A comparative realiability analysis of ETCS train radio communications H Hermanns, DN Jansen, YS Usenko Universität des Saarlandes, 2005	13	2005
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
A Duration Calculus semantics for real-time reactive systems MR Hansen, ER Olderog, M Schenke, M Fränzle, B von Karger, ... ProCoS Project Document OLD MS 16 (1), 1993	15	1993
A Duration Semantics for Real-Time Reactive Systems MR Hansen, ER Olderog, M Schenke, M Fränzle, B von Karger, ... Report no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany, 1993	2	1993
A Note on Disjoint Parallelism KR Apt, ER Olderog
A ProCoS II Project Final Report: ESPRIT Basic Research project 707 JP Bowen, CAR Hoare, H Langmåck, ER Olderog, AP Ravn Bulletin of the European Association for TheoreticalComputer Science (EATCS …, 1996	36	1996
A ProCoS project description D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ... Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989	59	1989
A ProCoS− WG Working Group Final Report: ESPRIT Working Group 8694 J Bowen, C Hoare, H Langmaack, E Olderog, A Ravn	7	2015
A sound and complete Hoare logic for dynamically-typed, object-oriented programs B Engelmann, ER Olderog Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016	2	2016
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs--Extended Version-- B Engelmann, ER Olderog arXiv preprint arXiv:1509.08605, 2015		2015
Adam: Causality-Based Synthesis of Distributed Systems B Finkbeiner, M Gieseking, ER Olderog Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	34	2015
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog International Conference on Computer Aided Verification, 64-76, 2020	19	2020
AdamMC: A model checker for Petri nets with transits against Flow-LTL (full version) B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog arXiv preprint arXiv:2005.07130, 2020	2	2020
ALLENDER, ERIC W., 336 P BALDI, FRK CHUNG, A CONDON, JW DE BAKKER, ... Journal of Computer and System Sciences 36, 510, 1988		1988
An Abstract Model for Proving Safety of Multi-Lane Traffic J Hoenicke, R Meyer, ER Olderog, ER Olderog, M Swaminathan, ... Int'l Conf.\on Formal Engineering Methods (ICFEM) 207, 3-16, 2010		2010
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
Arbeitspapiere der GMD 320 ER Olderog, U Goltz, R van Glabbeek		1988
Assessing the success and impact of Hoare’s logic KR Apt, ER Olderog Theories of Programming: The Life and Works of Tony Hoare, 41-76, 2021	11	2021

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