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

Computing, Computer Engineering, Computer Science +15

Data cache locking for higher program predictability

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

Computing, Computer Engineering, Computer Science +12

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

Computing, Computer Science, Computer Architecture +8

Fully Automatic, Parametric Worst-Case Execution Time Analysis.

Björn Lisper · 2003 · 93 citations

Computing, Computer Engineering, Computer Science +17

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