Search the dblp DataBase

Publications of Author

1. 
   Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. [Citation Graph (, )][DBLP]
   
   
2. 
   Generalized instruction selection using SSA-graphs. [Citation Graph (, )][DBLP]
   
   
3. 
   WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. [Citation Graph (, )][DBLP]
   
   
4. 
   From Trusted Annotations to Verified Knowledge. [Citation Graph (, )][DBLP]
   
   
5. 
   Towards a Common WCET Annotation Language: Essential Ingredients. [Citation Graph (, )][DBLP]