Jan Gustafsson

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

Worst-case execution-time analysis for embedded real-time systems

Jakob Engblom, Andreas Ermedahl, Mikael Sjödin et al. · International Journal on Software Tools for Technology Transfer · 2003 · 114 citations

Engineering, Computer Engineering, Computer Science +14

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

Applying Static WCET Analysis to Automotive Communication Software

S. Byhlin, Andreas Ermedahl, Jan Gustafsson et al. · 2006 · 69 citations

Engineering, Computer Engineering, Computer Science +15

Analyzing execution-time of object-oriented programs using abstract interpretation

Jan Gustafsson · 2000 · 63 citations

Computing, Computer Science, Computer Systems +14