| No. |
Title |
Author |
Year |
| 1 |
The Mälardalen WCET Benchmarks: Past, Present And Future |
Gustafsson, Jan et al. |
2010 |
| 2 |
Towards WCET Analysis of Multicore Architectures Using UPPAAL |
Gustavsson, Andreas et al. |
2010 |
| 3 |
ALF - A Language for WCET Flow Analysis |
Gustafsson, Jan et al. |
2009 |
| 4 |
Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution |
Gustafsson, Jan et al. |
2008 |
| 5 |
Clustering Worst-Case Execution Times for Software Components |
Fredriksson, Johan et al. |
2007 |
| 6 |
Experiences from Industrial WCET Analysis Case Studies |
Ermedahl, Andreas et al. |
2007 |
| 7 |
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis |
Sundmark, Daniel et al. |
2007 |
| 8 |
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis |
Ermedahl, Andreas et al. |
2007 |
| 9 |
Using a WCET Analysis Tool in Real-Time Systems Education |
Petersson, Samuel et al. |
2007 |
| 10 |
Algorithms for Infeasible Path Calculation |
Gustaffson, Jan et al. |
2006 |
