Calculating WCET estimates from timed traces | 2 | 0.35 | 2016 |
Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults | 0 | 0.34 | 2015 |
Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation | 4 | 0.40 | 2011 |
Let's get less optimistic in measurement-based timing analysis. | 1 | 0.36 | 2011 |
Improving the Confidence in Measurement-Based Timing Analysis | 7 | 0.48 | 2011 |
Context-sensitivity in IPET for measurement-based timing analysis | 2 | 0.39 | 2010 |
INFER: Interactive Timing Profiles based on Bayesian Networks | 2 | 0.41 | 2008 |
Comparing Different Prenexing Strategies for Quantified Boolean Formulas | 24 | 0.84 | 2003 |