Reinhard Wilhelm

Cited by

	All	Since 2016
Citations	11207	2446
h-index	45	22
i10-index	102	36

720

360

180

540

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202145 29 35 40 32 22 36 57 37 77 99 148 142 165 216 236 386 367 452 583 561 678 657 635 615 711 699 662 623 510 505 452 352 4

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, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.de
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
David WhalleyProfessor of Computer Science, Florida State UniversityVerified email at cs.fsu.edu
Sebastian HackComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Frank MuellerProfessor of Computer Science, North Carolina State UniversityVerified email at cs.ncsu.edu
P PuschnerInformatik, Technische Universität WienVerified email at vmars.tuwien.ac.at
Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Nan GuanThe Hong Kong Polytechnic UniversityVerified email at comp.polyu.edu.hk
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Christoph CullmannAbsInt Angewandte Informatik GmbHVerified email at absint.com
Sebastian AltmeyerUniversity of AugsburgVerified email at uva.nl
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Raimund SeidelProfessor, Saarland University, Saarbrücken; Saarland Informatics Campus;Schloss Dagstuhl - LZIVerified email at cs.uni-saarland.de
Björn LisperProfessor of Computer Engineering, Mälardalen UniversityVerified email at mdh.se
claire maizaGrenobleINP / VerimagVerified email at univ-grenoble-alpes.fr

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	2142	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	1331	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	520	1998
Reliable and precise WCET determination for a real-life processor C Ferdinand, R Heckmann, M Langenbach, F Martin, M Schmidt, ... International Workshop on Embedded Software, 469-485, 2001	384	2001
Fast and precise WCET prediction by separated cache and path analyses H Theiling, C Ferdinand, R Wilhelm Real-Time Systems 18 (2-3), 157-179, 2000	350	2000
Compiler Design - Virtual Machines R Wilhelm, H Seidl Springer Verlag, 0	342*
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	332	2003
Efficient and precise cache behavior prediction for real-time systems C Ferdinand, R Wilhelm Real-Time Systems 17 (2-3), 131-181, 1999	295	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	287	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	235	2006
Timing predictability of cache replacement policies J Reineke, D Grund, C Berg, R Wilhelm Real-Time Systems 37 (2), 99-122, 2007	228	2007
Cache behavior prediction by abstract interpretation M Alt, C Ferdinand, F Martin, R Wilhelm International Static Analysis Symposium, 52-66, 1996	228	1996
Design for timing predictability L Thiele, R Wilhelm Real-Time Systems 28 (2-3), 157-177, 2004	204	2004
Übersetzerbau R Wilhelm, H Seidl, S Hack, H Seidl Springer, 1997	197	1997
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	162	2000
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	151	1997
Shape analysis R Wilhelm, M Sagiv, T Reps International Conference on Compiler Construction, 1-17, 2000	148	2000
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	146	2005
On predicting data cache behavior for real-time systems C Ferdinand, R Wilhelm Languages, Compilers, and Tools for Embedded Systems, 16-30, 1998	135	1998
Cache behavior prediction by abstract interpretation C Ferdinand, F Martin, R Wilhelm, M Alt Science of Computer Programming 35 (2-3), 163-189, 1999	133	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

Upload PDF

Follow this author

Cited by

Co-authors