Sorted by:
Citation Count
Year (Descending)
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 >>