dblp.uni-trier.dewww.uni-trier.de

Christer Sandberg

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEDani 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
6EEDaniel 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
5EEAndreas 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
4EEChrister Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Faster WCET flow analysis by program slicing. LCTES 2006: 103-112
3EEJan 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
1EEJan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo: A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. WORDS 2003: 106-112

Coauthor Index

1Dani Barkah [7]
2Nerina Bermudo [1]
3Stefan Bygde [5]
4Andreas Ermedahl [3] [4] [5] [6] [7]
5Jan Gustafsson [1] [3] [4] [5] [7]
6Björn Lisper [1] [3] [4] [5] [7]
7Anders Pettersson [6]
8Daniel Sundmark [6]
9Henrik Thane [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)