Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. - Andreas Ermedahl; Christer Sandberg; Jan Gustafsson; Stefan Bygde; Björn Lisper (WCET, 2007)

Towards an Automatic Parametric WCET Analysis. - Stefan Bygde; Björn Lisper (WCET, 2008)

Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring. - Yue Lu 005; Antonio Cicchetti; Stefan Bygde; Johan Kraft; Christer Norström (COMPSAC (2), 2009)

Fully Bounded Polyhedral Analysis of Integers with Wrapping. - Stefan Bygde; Björn Lisper; Niklas Holsti (NSAD@SAS, 2011)

An efficient algorithm for parametric WCET calculation. - Stefan Bygde; Andreas Ermedahl; Björn Lisper (J. Syst. Archit., 2011)

Parametric WCET Analysis. - Stefan Bygde (2013)

Improved precision in polyhedral analysis with wrapping. - Stefan Bygde; Björn Lisper; Niklas Holsti (Sci. Comput. Program., 2017)