Björn Lisper

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

Data cache locking for higher program predictability

Xavier Vera, Björn Lisper, Jingling Xue · 2003 · 133 citations

Exact Wcmp, Engineering, Computer Architecture +18

TACLeBench : a benchmark collection to support worst-case execution time research

Heiko Falk, Sebastian Altmeyer, Peter Hellinckx et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 116 citations · Full text

Fully Automatic, Parametric Worst-Case Execution Time Analysis.

Björn Lisper · 2003 · 93 citations

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