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

Wcet Analysis, Program Checking, Engineering +24

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

Real-time System, Engineering, Program Analysis +10

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 · 75 citations · Full text

Applying Static WCET Analysis to Automotive Communication Software

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

Automotive Engineering, Engineering, Computer Architecture +21

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

Jan Gustafsson · 2000 · 63 citations

Software Maintenance, Engineering, Object-oriented Modeling +24