Reinhard Wilhelm

Cited by

	All	Since 2017
Citations	11971	2301
h-index	45	23
i10-index	104	37

720

360

180

540

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202244 29 40 43 38 29 37 54 49 80 107 146 144 166 221 231 364 371 458 601 600 685 685 642 651 710 701 686 621 528 525 448 379 327 94

Public access

View all

19 articles

1 article

available

not available

Based on funding mandates

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
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, 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
Robert GiegerichProfessor for Practical Computer Science and Bioinformatics, Bielefeld UniversityVerified email at techfak.uni-bielefeld.de
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch
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 uva.nl
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il

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	2398	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	1389	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	541	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	414	2001
Fast and precise WCET prediction by separated cache and path analyses H Theiling, C Ferdinand, R Wilhelm Real-Time Systems 18 (2), 157-179, 2000	363	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	359	2003
Compiler Design - Virtual Machines R Wilhelm, H Seidl Springer Verlag, 0	351*
Efficient and precise cache behavior prediction for real-time systems C Ferdinand, R Wilhelm Real-time systems 17 (2), 131-181, 1999	311	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	305	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	257	2006
Timing predictability of cache replacement policies J Reineke, D Grund, C Berg, R Wilhelm Real-Time Systems 37 (2), 99-122, 2007	250	2007
Cache behavior prediction by abstract interpretation M Alt, C Ferdinand, F Martin, R Wilhelm International Static Analysis Symposium, 52-66, 1996	247	1996
Design for timing predictability L Thiele, R Wilhelm Real-Time Systems 28 (2), 157-177, 2004	214	2004
Ubersetzerbau R Wilhelm, D Maurer Springer, 1997	202	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	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	152	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	150	2005
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	146	2010
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	143	2014
Cache behavior prediction by abstract interpretation C Ferdinand, F Martin, R Wilhelm, M Alt Science of Computer Programming 35 (2-3), 163-189, 1999	136	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 this author

Cited by

Co-authors