Reinhard Wilhelm

Papers

Total Citations

H-Index

About

Reinhard Wilhelm is a pioneering figure in computer science, whose research has fundamentally shaped the fields of embedded systems, real-time computing, and static program analysis. He is best known for his groundbreaking work on worst-case execution time (WCET) analysis, which is critical for ensuring the reliability and safety of time-critical systems, such as those in avionics and automotive control. His development of the aiT timing analyzer, a tool that uses abstract interpretation to compute precise bounds on program execution times, has become a cornerstone of the embedded systems community. With over 7,000 citations to his name, Wilhelm's influence is profound; his seminal paper on "The Worst-Case Execution-Time Problem—Overview of Methods and Survey of Tools" alone has garnered more than 1,500 citations. He is also a co-author of the widely used textbook "Compiler Design," which has educated generations of students. A recipient of the prestigious ACM SIGPLAN Programming Languages Achievement Award, Wilhelm's contributions continue to drive innovation in safety-critical systems.