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
Concurrent Hyperproperties B Finkbeiner, ER Olderog Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2023		2023
Time for Traffic Manoeuvres C Bischopink, ER Olderog Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023	1	2023
Spatial and timing properties in highway traffic C Bischopink, ER Olderog International Colloquium on Theoretical Aspects of Computing, 114-131, 2022	4	2022
Nondeterminism and guarded commands KR Apt, ER Olderog Edsger Wybe Dijkstra: His Life, Work, and Legacy, 169-204, 2022	1	2022
The synthesis problem for repeatedly communicating Petri games P Hannibal, ER Olderog International Conference on Applications and Theory of Petri Nets and …, 2022	2	2022
Global winning conditions in synthesis of distributed systems with causal memory B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022	7	2022
Model Checking, Synthesis, and Learning ER Olderog, B Steffen, W Yi Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2022		2022
High-level representation of benchmark families for Petri games M Gieseking, ER Olderog Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2022	7	2022
Solving high-level Petri games (vol 57, pg 591, 2020) M Gieseking, ER Olderog, N Wuerdemann ACTA INFORMATICA 58 (6), 675-676, 2021		2021
Correction to: Solving high-level Petri games M Gieseking, ER Olderog, N Würdemann Acta Informatica 58 (6), 675-676, 2021		2021
System correctness under adverse conditions ER Olderog, M Fränzle, O Theel, P Kröger it-Information Technology 63 (5-6), 249-251, 2021		2021
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
Global winning conditions in synthesis of distributed systems with causal memory (Full Version) B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog arXiv preprint arXiv:2107.09280, 2021	2	2021
Model Checking Branching Properties on Petri Nets with Transits ER Olderog Automated Technology for Verification and Analysis, 394, 2020		2020
Solving high-level Petri games M Gieseking, ER Olderog, N Würdemann Acta Informatica 57 (3), 591-626, 2020	10	2020
Model checking branching properties on Petri nets with transits (full version) B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog arXiv preprint arXiv:2007.07235, 2020	2	2020
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
Model checking branching properties on Petri nets with transits B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog Automated Technology for Verification and Analysis: 18th International …, 2020	9	2020
Fifty years of Hoare’s logic KR Apt, ER Olderog Formal Aspects of Computing 31, 751-807, 2019	80	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