Citation Impact
Citing Papers
Modeling Out-of-Order Processors for Software Timing Analysis
2005
The worst-case execution-time problem—overview of methods and survey of tools
2008 Standout
Hybrid Cache Analysis in Running Time Verification of Embedded Software
2002
The nesC language
2014 Standout
A Modular Tool Architecture for Worst-Case ExecutionTime Analysis
2008
Modeling Control Speculation for Timing Analysis
2004
Path clustering in software timing analysis
2001
Embedded Control Systems Development with Giotto
2001
Works of Henrik Theiling being referenced
Generating Decision Trees for Decoding Binaries
2001
Fast and Precise WCET Prediction by Separated Cache and Path Analyses
2000