2008 |
7 | EE | 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 | 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 |