Reinhard Wilhelm

Cited by

	All	Since 2019
Citations	12890	1921
h-index	47	21
i10-index	106	35

740

370

185

555

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202449 35 27 34 55 46 89 115 153 140 184 231 238 357 383 450 594 617 692 711 659 673 737 723 696 635 552 524 435 388 354 292 249 203

Public access

View all

18 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Christian FerdinandVerified email at absint.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.de
David WhalleyProfessor of Computer Science, Florida State UniversityVerified email at cs.fsu.edu
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerified email at in.tum.de
Frank MuellerProfessor of Computer Science, North Carolina State UniversityVerified email at cs.ncsu.edu
Peter P. PuschnerProfessor of Informatics, TU WienVerified email at vmars.tuwien.ac.at
Andreas ErmedahlVerified email at ericsson.com
Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Robert GiegerichProfessor for Practical Computer Science and Bioinformatics, Bielefeld UniversityVerified email at techfak.uni-bielefeld.de
Sebastian HahnAbsInt Angewandte Informatik GmbHVerified email at cs.uni-saarland.de
Christoph CullmannAbsInt Angewandte Informatik GmbHVerified email at absint.com
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Nan GuanCity University of Hong KongVerified email at cityu.edu.hk
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Sebastian AltmeyerUniversity of AugsburgVerified email at es-augsburg.de
Rolf ErnstProfessor at Institute of Computer and Network Engineering, TU Braunschweig, GermanyVerified email at tu-bs.de

Reinhard Wilhelm

Computer Science, Saarland University, Saarland Informatics Campus (SIC)

Verified email at cs.uni-saarland.de

embedded systems compilers static program analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The worst-case execution-time problem—overview of methods and survey of tools R Wilhelm, J Engblom, A Ermedahl, N Holsti, S Thesing, D Whalley, ... ACM Transactions on Embedded Computing Systems (TECS) 7 (3), 1-53, 2008	2706	2008
Parametric shape analysis via 3-valued logic M Sagiv, T Reps, R Wilhelm ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (3), 217-298, 2002	1449	2002
Solving shape-analysis problems in languages with destructive updating M Sagiv, T Reps, R Wilhelm ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 1-50, 1998	559	1998
Reliable and precise WCET determination for a real-life processor C Ferdinand, R Heckmann, M Langenbach, F Martin, M Schmidt, ... Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA …, 2001	437	2001
Fast and precise WCET prediction by separated cache and path analyses H Theiling, C Ferdinand, R Wilhelm Real-Time Systems 18, 157-179, 2000	377	2000
The influence of processor architecture on the design and the results of WCET tools R Heckmann, M Langenbach, S Thesing, R Wilhelm Proceedings of the IEEE 91 (7), 1038-1054, 2003	372	2003
Compiler Design - Virtual Machines R Wilhelm, H Seidl Springer Verlag, 0	370*
Efficient and precise cache behavior prediction for real-time systems C Ferdinand, R Wilhelm Real-time systems 17, 131-181, 1999	331	1999
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems R Wilhelm, D Grund, J Reineke, M Schlickling, M Pister, C Ferdinand IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009	321	2009
A definition and classification of timing anomalies J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ... 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006	289	2006
Design for timing predictability L Thiele, R Wilhelm Real-Time Systems 28 (2), 157-177, 2004	276	2004
Timing predictability of cache replacement policies J Reineke, D Grund, C Berg, R Wilhelm Real-Time Systems 37, 99-122, 2007	262	2007
Cache behavior prediction by abstract interpretation M Alt, C Ferdinand, F Martin, R Wilhelm Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996	260	1996
Ubersetzerbau R Wilhelm, D Maurer Springer, 1997	200	1997
Predictability considerations in the design of multi-core embedded systems C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ... Proceedings of Embedded Real Time Software and Systems 36, 42, 2010	167	2010
Putting static analysis to work for verification: A case study T Lev-Ami, T Reps, M Sagiv, R Wilhelm Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000	167	2000
Building timing predictable embedded systems P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ... ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014	163	2014
Applying compiler techniques to cache behavior prediction C Ferdinand, F Martin, R Wilhelm Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool …, 1997	158	1997
A semantics for procedure local heaps and its abstractions N Rinetzky, J Bauer, T Reps, M Sagiv, R Wilhelm ACM SIGPLAN Notices 40 (1), 296-309, 2005	151	2005
Cache behavior prediction by abstract interpretation C Ferdinand, F Martin, R Wilhelm, M Alt Science of Computer Programming 35 (2-3), 163-189, 1999	145	1999

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