Christer Sandberg

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution

Jan Gustafsson, Andreas Ermedahl, Christer Sandberg et al. · 2006 · 188 citations

Computing, Computer Engineering, Computer Science +15

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis

Andreas Ermedahl, Christer Sandberg, Jan Gustafsson et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 76 citations · Full text

Computing, Computer Engineering, Computer Science +15

The Effect of Fluid-Flow Rate and Viscosity on Laboratory Determinations of Oil-Water Relative Permeabilities

Christer Sandberg, Luke S. Gournay, R.F. Sippel · Transactions of the AIME · 1958 · 67 citations

Engineering, Geology, Petroleum Engineering +16

ALF - A Language for WCET Flow Analysis

Jan Gustafsson, Andreas Ermedahl, Björn Lisper et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 31 citations · Full text

Computing, Computer Engineering, Computer Science +14

Faster WCET flow analysis by program slicing

Christer Sandberg, Andreas Ermedahl, Jan Gustafsson et al. · 2006 · 31 citations

Computing, Computer Engineering, Computer Science +12