Reinhard Wilhelm

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

Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems · 2008 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

Parametric shape analysis via 3-valued logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · ACM Transactions on Programming Languages and Systems · 2002 · 784 citations · Full text

Computing, Computer Science, Formal Methods +10

Parametric shape analysis via 3-valued logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · 1999 · 338 citations

Computing, Computer Science, Formal Methods +10

Solving shape-analysis problems in languages with destructive updating

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · ACM Transactions on Programming Languages and Systems · 1998 · 324 citations · Full text

Computing, Computer Science, Algorithms +6

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

Reinhold Heckmann, M. Langebach, Stephan Thesing et al. · Proceedings of the IEEE · 2003 · 247 citations

Engineering, Computer Engineering, Computer Science +17