No. |
Title |
Author |
Year |
1 |
Analysing Switch-Case Code with Abstract Execution |
Holsti, Niklas et al. |
2015 |
2 |
Toward Static Timing Analysis of Parallel Software |
Gustavsson, Andreas et al. |
2012 |
3 |
The Mälardalen WCET Benchmarks: Past, Present And Future |
Gustafsson, Jan et al. |
2010 |
4 |
ALF - A Language for WCET Flow Analysis |
Gustafsson, Jan et al. |
2009 |
5 |
WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis |
Holsti, Niklas et al. |
2008 |
6 |
Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution |
Gustafsson, Jan et al. |
2008 |
7 |
WCET 2007 -- Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008 |
Gustafsson, Jan |
2007 |
8 |
Experiences from Industrial WCET Analysis Case Studies |
Ermedahl, Andreas et al. |
2007 |
9 |
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis |
Ermedahl, Andreas et al. |
2007 |