Christer Sandberg

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg
ALF - A Language for WCET Flow Analysis. WCET (2009)
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)
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)
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)
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)
Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Faster WCET flow analysis by program slicing. LCTES (2006)
Christer Sandberg
Elimination of Unstructured Loops in Flow Analysis. WCET (2003)
Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. WORDS (2003)