Reinhard Wilhelm

Affiliation Saarland University
Publications 151
H-index 20
Sorted by:

Publications

#Cited
647 Parametric Shape Analysis via 3-Valued Logic - ACM TOPLAS - 1999
300 Solving Shape-Analysis Problems in Languages with Destructive Updating - ACM Transactions on Programming Languages and Systems - 1996
121 Fast and Precise WCET Prediction by Separated Cache and Path Analyses - REAL-TIME SYSTEMS - 1999
115 Cache Behavior Prediction by Abstract Interpretation - Science of Computer Programming - 1996
85 Putting Static Analysis to Work for Verification: A Case Study - In International Symposium on Software Testing and Analysis - 2000
82 The Worst-Case Execution Time Problem – Overview of Methods and Survey of Tools - ACM Transactions on Embedded Computing Systems - 2008
70 A semantics for procedure local heaps and its abstractions - In POPL - 2005
62 Applying Compiler Techniques to Cache Behavior Prediction - - 1997
61 Shape Analysis - - 2000
53 A definition and classification of timing anomalies - 6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis - 2006
49 Predictability of Cache Replacement Policies - Reports of SFB/TR 14 AVACS 9, SFB/TR 14 AVACS - 2006
33 Verifying temporal heap properties specified via evolution logic - In ESOP’2003: European Symp. on Programming, volume 2618 of LNCS - 2003
30 An optimal strategy improvement algorithm for solving parity and payoff games - In Proc. 17th Annual Conf. on Computer Science Logic (CSL 2008), volume ?? of LNCS - 2008
30 Logical characterizations of heap abstractions - - 2003
29 Tree Automata for Code Selection - - 1994
24 Static program analysis via 3-valued logic - Conference on Computer Aided Verification (CAV), volume 3114 of LNCS - 2004
23 J.D.: European train control system: A case study in formal verification - Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, December 9-12, 2009, Proceedings. Volume 5885 of LNCS - 2009
23 Analysis of Loops - In Proceedings of the 7th International Conference on Compiler Construction, volume 1383 of Lecture Notes in Computer Science - 1998
22 Pipeline Behavior Prediction for Superscalar Processors - - 1999
19 Real world verification - In CADE - 2009

View completed publications >>