Researcher Next
Create account
← Back to directory

Reinhard Wilhelm

Researcher Next ID · RN-000546

Professor · Computer Science

Saarland University

Saarbrücken, Germany

Sign in to saveSign in to claim
Not currently recruitingFunding unknown
Works count
361
Citation count
8,488
H-index
36
i10-index
89

About

361 publications and 8,488 citations recorded on OpenAlex.

Research interests

Computer Science
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Real-Time Systems Scheduling
Logic, programming, and type systems
Embedded Systems Design Techniques

Publications

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

    ACM Transactions on Embedded Computing Systems · 2008 · 10.1145/1347375.1347389

  • Parametric shape analysis via 3-valued logic

    ACM Transactions on Programming Languages and Systems · 2002 · 10.1145/514188.514190

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

    Lecture notes in computer science · 2001 · 10.1007/3-540-45449-7_32

  • Parametric shape analysis via 3-valued logic

    Journal · 1999 · 10.1145/292540.292552

  • Solving shape-analysis problems in languages with destructive updating

    ACM Transactions on Programming Languages and Systems · 1998 · 10.1145/271510.271517

Current projects

    No projects listed.