H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 41 Citations 12,443 143 World Ranking 4357 National Ranking 201

Research.com Recognitions

Awards & Achievements

2010 - ACM Distinguished Service Award For two decades of exceptional service as Scientific Director of Schloss Dagstuhl, a stimulating environment for advancing research in informatics.

2008 - Member of Academia Europaea

2000 - ACM Fellow For important contributions in the field of compilers, particularly code-generator generators and program analysis, and for outstanding service as Scientific Director of Schloss Dagstuhl.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

Reinhard Wilhelm mostly deals with Cache, Abstract interpretation, Shape analysis, Theoretical computer science and Static analysis. His work in Cache tackles topics such as Branch predictor which are related to areas like Process, Probabilistic timing analysis, Application software and Pipeline. As a part of the same scientific study, Reinhard Wilhelm usually deals with the Abstract interpretation, concentrating on Semantics and frequently concerns with Basis.

His work carried out in the field of Shape analysis brings together such families of science as Alias analysis, Data structure and Pointer analysis. To a larger extent, Reinhard Wilhelm studies Programming language with the aim of understanding Static analysis. Reinhard Wilhelm is interested in Microarchitecture, which is a field of Parallel computing.

His most cited work include:

  • The worst-case execution-time problem—overview of methods and survey of tools (1487 citations)
  • Parametric shape analysis via 3-valued logic (735 citations)
  • Solving shape-analysis problems in languages with destructive updating (300 citations)

What are the main themes of his work throughout his whole career to date?

Reinhard Wilhelm mainly focuses on Programming language, Theoretical computer science, Abstract interpretation, Compiler and Parallel computing. His works in Compiler construction, Semantics, Fifth-generation programming language, Second-generation programming language and Functional programming are all subjects of inquiry into Programming language. His research in Theoretical computer science tackles topics such as Algorithm which are related to areas like Real-time operating system.

His Abstract interpretation research includes themes of Program analysis, Computer engineering, Set, Model checking and Static analysis. The Static analysis study which covers Static program analysis that intersects with Artificial intelligence. His studies in Cache, Cache algorithms and Microarchitecture are all subfields of Parallel computing research.

He most often published in these fields:

  • Programming language (26.13%)
  • Theoretical computer science (18.02%)
  • Abstract interpretation (13.96%)

What were the highlights of his more recent work (between 2011-2021)?

  • Distributed computing (7.21%)
  • Static timing analysis (9.01%)
  • Humanities (3.15%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Distributed computing, Static timing analysis, Humanities, Real-time computing and Operating system. His Distributed computing research incorporates elements of Systems design, Performance prediction, Shared resource and Embedded system. In his study, which falls under the umbrella issue of Embedded system, Compiler is strongly linked to Profiling.

His Static timing analysis research is multidisciplinary, relying on both Independence, Principle of compositionality and Set. The study incorporates disciplines such as Domain and Pipeline in addition to Real-time computing. His research investigates the connection with Static analysis and areas like Abstract interpretation which intersect with concerns in Task analysis.

Between 2011 and 2021, his most popular works were:

  • Building timing predictable embedded systems (85 citations)
  • Towards compositionality in execution time analysis: definition and challenges (58 citations)
  • Impact of resource sharing on performance and performance prediction: a survey (36 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

Distributed computing, Static timing analysis, Real-time computing, Systems design and Programming language are his primary areas of study. His biological study spans a wide range of topics, including Failure mode and effects analysis and Source code. His Static timing analysis research incorporates themes from Independence, Context, Task and Principle of compositionality.

Reinhard Wilhelm has researched Real-time computing in several fields, including Domain, Pipeline and Memory hierarchy. He has included themes like Multithreading, Computer architecture and Multi-core processor in his Systems design study. His Programming language course of study focuses on Transformation and Semantics and Static analysis.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

The worst-case execution-time problem—overview of methods and survey of tools

Reinhard Wilhelm;Jakob Engblom;Andreas Ermedahl;Niklas Holsti.
ACM Transactions in Embedded Computing Systems (2008)

2360 Citations

Parametric shape analysis via 3-valued logic

Mooly Sagiv;Thomas Reps;Reinhard Wilhelm.
ACM Transactions on Programming Languages and Systems (2002)

1348 Citations

Solving shape-analysis problems in languages with destructive updating

Mooly Sagiv;Thomas Reps;Reinhard Wilhelm.
ACM Transactions on Programming Languages and Systems (1998)

528 Citations

Reliable and Precise WCET Determination for a Real-Life Processor

Christian Ferdinand;Reinhold Heckmann;Marc Langenbach;Florian Martin.
embedded software (2001)

404 Citations

Fast and Precise WCET Prediction by Separated Cache andPath Analyses

Henrik Theiling;Christian Ferdinand;Reinhard Wilhelm.
worst case execution time analysis (2000)

367 Citations

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 (2003)

355 Citations

Efficient and Precise Cache Behavior Prediction for Real-TimeSystems

Christian Ferdinand;Reinhard Wilhelm.
Real-time Systems (1999)

310 Citations

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems

R. Wilhelm;D. Grund;J. Reineke;M. Schlickling.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2009)

306 Citations

Timing predictability of cache replacement policies

Jan Reineke;Daniel Grund;Christoph Berg;Reinhard Wilhelm.
Real-time Systems (2007)

270 Citations

A Definition and Classification of Timing Anomalies

Jan Reineke;Björn Wachter;Stephan Thesing;Reinhard Wilhelm.
worst case execution time analysis (2006)

252 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing Reinhard Wilhelm

Francisco J. Cazorla

Francisco J. Cazorla

Barcelona Supercomputing Center

Publications: 98

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

Publications: 72

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 67

Martin Rinard

Martin Rinard

MIT

Publications: 50

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 40

Abhik Roychoudhury

Abhik Roychoudhury

National University of Singapore

Publications: 36

Tulika Mitra

Tulika Mitra

National University of Singapore

Publications: 36

Rolf Ernst

Rolf Ernst

Technische Universität Braunschweig

Publications: 34

P Puschner

P Puschner

TU Wien

Publications: 34

Edward A. Lee

Edward A. Lee

University of California, Berkeley

Publications: 30

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 26

Patrick Cousot

Patrick Cousot

New York University

Publications: 26

Rodolfo Pellizzoni

Rodolfo Pellizzoni

University of Waterloo

Publications: 25

Peter Marwedel

Peter Marwedel

TU Dortmund University

Publications: 25

Manuel V. Hermenegildo

Manuel V. Hermenegildo

Madrid Institute for Advanced Studies

Publications: 25

Something went wrong. Please try again later.