Reinhard Wilhelm

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	12994	1591
H-index	48	19
i10-index	108	28

760

380

190

570

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202532 45 20 51 35 28 36 51 45 88 112 148 142 183 236 240 350 380 447 669 617 684 706 656 674 743 713 701 617 531 519 433 387 358 297 249 270 30

גישה ציבורית

הצג הכל

18 מאמרים

2 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Christian Ferdinandכתובת אימייל מאומתת בדומיין absint.com
Mooly SagivTel Aviv Universityכתובת אימייל מאומתת בדומיין acm.org
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics Campusכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsinכתובת אימייל מאומתת בדומיין cs.wisc.edu
Helmut SeidlProfessor für Informatik, School of CIT, TU Münchenכתובת אימייל מאומתת בדומיין in.tum.de
Daniel GrundSaarland Universityכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
David WhalleyProfessor of Computer Science, Florida State Universityכתובת אימייל מאומתת בדומיין cs.fsu.edu
Peter P. PuschnerProfessor of Informatics, TU Wienכתובת אימייל מאומתת בדומיין vmars.tuwien.ac.at
Andreas Ermedahlכתובת אימייל מאומתת בדומיין ericsson.com
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics Campusכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Frank MuellerProfessor of Computer Science, North Carolina State Universityכתובת אימייל מאומתת בדומיין cs.ncsu.edu
Lothar ThieleProfessor of Computer Engineering, ETH Zurichכתובת אימייל מאומתת בדומיין ethz.ch
Robert GiegerichProfessor for Practical Computer Science and Bioinformatics, Bielefeld Universityכתובת אימייל מאומתת בדומיין techfak.uni-bielefeld.de
Sebastian HahnAbsInt Angewandte Informatik GmbHכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Christoph CullmannAbsInt Angewandte Informatik GmbHכתובת אימייל מאומתת בדומיין absint.com
Rolf ErnstProfessor at Institute of Computer and Network Engineering, TU Braunschweig, Germanyכתובת אימייל מאומתת בדומיין tu-bs.de
Eran YahavTechnion, Israelכתובת אימייל מאומתת בדומיין cs.technion.ac.il
Nan GuanCity University of Hong Kongכתובת אימייל מאומתת בדומיין cityu.edu.hk
Wang YiProfessor of Embedded Systems, Uppsala Universityכתובת אימייל מאומתת בדומיין it.uu.se
Sebastian AltmeyerUniversity of Augsburgכתובת אימייל מאומתת בדומיין es-augsburg.de

עקוב אחר

Reinhard Wilhelm

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

כתובת אימייל מאומתת בדומיין cs.uni-saarland.de

embedded systems compilers static program analysis


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	2721	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‏	556	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‏	439	2001
Compiler Design - Syntactic and Semantic Analysis.‏ SH Reinhard Wilhelm, Helmut Seidl‏ Springer, 2013‏	398*	2013
Fast and precise WCET prediction by separated cache and path analyses‏ H Theiling, C Ferdinand, R Wilhelm‏ Real-Time Systems 18, 157-179, 2000‏	378	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‏	373	2003
Efficient and precise cache behavior prediction for real-time systems‏ C Ferdinand, R Wilhelm‏ Real-time systems 17, 131-181, 1999‏	337	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‏	317	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‏	288	2006
Design for timing predictability‏ L Thiele, R Wilhelm‏ Real-Time Systems 28 (2), 157-177, 2004‏	281	2004
Timing predictability of cache replacement policies‏ J Reineke, D Grund, C Berg, R Wilhelm‏ Real-Time Systems 37, 99-122, 2007‏	261	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‏	258	1996
Übersetzerbau: Theorie, Konstruktion, Generierung‏ R Wilhelm, D Maurer‏ (No Title), 1992‏	198	1992
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 (10), 2010‏	170	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‏	167	2014
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‏	166	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‏	159	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‏	152	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‏	144	1999

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים