World's Best Scientists 2026 revealed!
Reinhard Wilhelm

Reinhard Wilhelm

D-Index & Metrics

Computer Science

D-Index
46
Citations
13569
World Ranking
6693
National Ranking
318

Research.com Recognitions

  • 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

Reinhard Wilhelm is affiliated with Saarland University in Germany. Their research primarily focuses on computer science, with particular emphasis on hardware and architecture, artificial intelligence, computational theory and mathematics, control and systems engineering, and statistics, probability, and uncertainty.

Their work covers several main topics, including:

  • Formal Methods in Verification
  • Real-Time Systems Scheduling
  • Logic, Programming, and Type Systems
  • Logic, Reasoning, and Knowledge
  • Embedded Systems Design Techniques
  • Parallel Computing and Optimization Techniques
  • Fault Detection and Control Systems

Reinhard Wilhelm has published in various venues, frequently contributing to Informatik-Spektrum, Formal Aspects of Computing, Communications of the ACM, IT Professional, and WiSt - Wirtschaftswissenschaftliches Studium.

Recent papers include:

  • Principles of Abstract Interpretation, 2022, Formal Aspects of Computing
  • Foundations of programming languages, 2021, Formal Aspects of Computing
  • Real time spent on real time, 2020, Communications of the ACM
  • Determining Reliable and Precise Execution Time Bounds of Real-Time Software, 2020, IT Professional
  • Einsichten eines Informatikers von geringem Verstande, 2020, Informatik-Spektrum

Frequent co-authors of Reinhard Wilhelm include Daniel L. Kastner, Christian Ferdinand, Christian Geyer, Benjamin Mohren, and Susanne Albers.

Among their honors, Reinhard Wilhelm received the ACM Distinguished Service Award in 2010 for two decades of service as Scientific Director of Schloss Dagstuhl. They became a member of the Academia Europaea in 2008 and were named an ACM Fellow in 2000 for contributions in compilers, program analysis, and service as Scientific Director of Schloss Dagstuhl.

Best Publications

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

    Reinhard Wilhelm;Jakob Engblom;Andreas Ermedahl;Niklas Holsti

  • Parametric shape analysis via 3-valued logic

    Mooly Sagiv;Thomas Reps;Reinhard Wilhelm

  • Parametric shape analysis via 3-valued logic

    Mooly Sagiv;Thomas Reps;Reinhard Wilhelm

  • Solving shape-analysis problems in languages with destructive updating

    Mooly Sagiv;Thomas Reps;Reinhard Wilhelm

  • Reliable and Precise WCET Determination for a Real-Life Processor

    Christian Ferdinand;Reinhold Heckmann;Marc Langenbach;Florian Martin

  • Fast and Precise WCET Prediction by Separated Cache andPath Analyses

    Henrik Theiling;Christian Ferdinand;Reinhard Wilhelm

  • The influence of processor architecture on the design and the results of WCET tools

    R. Heckmann;M. Langenbach;S. Thesing;R. Wilhelm

  • Efficient and Precise Cache Behavior Prediction for Real-TimeSystems

    Christian Ferdinand;Reinhard Wilhelm

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

    R. Wilhelm;D. Grund;J. Reineke;M. Schlickling

  • Timing predictability of cache replacement policies

    Jan Reineke;Daniel Grund;Christoph Berg;Reinhard Wilhelm

  • A Definition and Classification of Timing Anomalies

    Jan Reineke;Björn Wachter;Stephan Thesing;Reinhard Wilhelm

  • Cache Behavior Prediction by Abstract Interpretation

    Martin Alt;Christian Ferdinand;Florian Martin;Reinhard Wilhelm

  • Shape Analysis

    Unknown

  • Design for Timing Predictability

    Lothar Thiele;Reinhard Wilhelm

  • Putting static analysis to work for verification: A case study

    Tal Lev-Ami;Thomas Reps;Mooly Sagiv;Reinhard Wilhelm

  • Applying Compiler Techniques to Cache Behavior Prediction

    Christian Ferdinand;Florian Martin;Reinhard Wilhelm

  • Shape Analysis

    Reinhard Wilhelm;Shmuel Sagiv;Thomas W. Reps

  • Building timing predictable embedded systems

    Philip Axer;Rolf Ernst;Heiko Falk;Alain Girault

  • A semantics for procedure local heaps and its abstractions

    Noam Rinetzky;Jörg Bauer;Thomas Reps;Mooly Sagiv

  • Cache behavior prediction by abstract interpretation

    Christian Ferdinand;Florian Martin;Reinhard Wilhelm;Martin Alt

  • On Predicting Data Cache Behavior for Real-Time Systems

    Christian Ferdinand;Reinhard Wilhelm

Frequent Co-Authors

Thomas Reps
Thomas Reps University of Wisconsin–Madison
Mooly Sagiv
Mooly Sagiv Tel Aviv University
Helmut Seidl
Helmut Seidl Technical University of Munich
Kurt Mehlhorn
Kurt Mehlhorn Max Planck Institute for Informatics
Eran Yahav
Eran Yahav Technion – Israel Institute of Technology
Robert Giegerich
Robert Giegerich Bielefeld University
Lothar Thiele
Lothar Thiele ETH Zurich
Wang Yi
Wang Yi Uppsala University
Moshe Y. Vardi
Moshe Y. Vardi Rice University
Alberto Sangiovanni-Vincentelli
Alberto Sangiovanni-Vincentelli University of California, Berkeley

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up a variety of flexible online education options. Many students start with online associates degrees, which offer an accessible entry point into the field and can often be completed in two years. These programs provide foundational skills and can be a step toward a bachelor’s degree or an entry-level tech role.

Cost remains an important factor for many aspiring students. It’s possible to find affordable online colleges that deliver quality education without overwhelming tuition fees. Financial planning and comparing programs can help you find options that fit your budget.

Don't let academic challenges deter you—some students may need to search for a college that accepts low gpa. These institutions offer valuable opportunities for learners who may not have a perfect academic record but are committed to advancing their education.

Additionally, computer science skills are valued across many industries. For example, people often ask, what can you do with an environmental science degree? Increasingly, there’s an overlap between tech and fields like environmental science, offering even more career pathways for computer science graduates.

Best Scientists Citing Reinhard Wilhelm

Trending Scientists

Recently Published Articles