| 2007 |
|---|
| 6 | EE | Daniel Sundmark,
Anders Pettersson,
Christer Sandberg,
Andreas Ermedahl,
Henrik Thane:
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis.
WCET 2007 |
| 5 | EE | Andreas Ermedahl,
Christer Sandberg,
Jan Gustafsson,
Stefan Bygde,
Björn Lisper:
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.
WCET 2007 |
| 2006 |
|---|
| 4 | EE | Christer Sandberg,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper:
Faster WCET flow analysis by program slicing.
LCTES 2006: 103-112 |
| 3 | EE | Jan Gustafsson,
Andreas Ermedahl,
Christer Sandberg,
Björn Lisper:
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.
RTSS 2006: 57-66 |
| 2003 |
|---|
| 2 | | Christer Sandberg:
Elimination of Unstructured Loops in Flow Analysis.
WCET 2003: 51-55 |
| 1 | EE | Jan Gustafsson,
Björn Lisper,
Christer Sandberg,
Nerina Bermudo:
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation.
WORDS 2003: 106-112 |
