Reinhard Wilhelm - Google Scholar

Cited by

	All	Since 2015
Citations	10912	2873
h-index	43	25
i10-index	101	43

720

360

180

540

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202045 29 35 40 32 22 36 57 37 77 99 148 142 166 213 233 378 366 450 579 560 675 645 622 621 707 694 662 614 495 483 448 169

Co-authors

Christian FerdinandVerified email at absint.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.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
Björn WachterUniversity of OxfordVerified email at cs.ox.ac.uk
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

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	2056	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	1312	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	516	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	376	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	345	2000
Compiler Design - Virtual Machines R Wilhelm, H Seidl Springer Verlag, 0	335*
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	325	2003
Efficient and precise cache behavior prediction for real-time systems C Ferdinand, R Wilhelm Real-Time Systems 17 (2-3), 131-181, 1999	286	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	276	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	224	2006
Cache behavior prediction by abstract interpretation M Alt, C Ferdinand, F Martin, R Wilhelm International Static Analysis Symposium, 52-66, 1996	223	1996
Timing predictability of cache replacement policies J Reineke, D Grund, C Berg, R Wilhelm Real-Time Systems 37 (2), 99-122, 2007	219	2007
Übersetzerbau R Wilhelm, H Seidl, S Hack, H Seidl Springer, 1997	197	1997
Design for timing predictability L Thiele, R Wilhelm Real-Time Systems 28 (2-3), 157-177, 2004	193	2004
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	160	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	150	1997
Shape analysis R Wilhelm, M Sagiv, T Reps International Conference on Compiler Construction, 1-17, 2000	146	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	144	2005
On predicting data cache behavior for real-time systems C Ferdinand, R Wilhelm Languages, Compilers, and Tools for Embedded Systems, 16-30, 1998	134	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