 | 2008 |
|---|
| 7 |       | Dani Barkah,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper,
Christer Sandberg:
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.
ECRTS 2008: 331-340 |
| 2007 |
|---|
| 6 | | 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 | | 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 | | Christer Sandberg,
Andreas Ermedahl,
Jan Gustafsson,
Björn Lisper:
Faster WCET flow analysis by program slicing.
LCTES 2006: 103-112 |
| 3 | | 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 | | 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 |
