ALF A Language for WCET Flow Analysis (Jun 2009) Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET09)
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code (Jul 2008) Dani Barkah , Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg 20th Euromicro Conference of Real-Time Systems, (ECRTS08)
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution (Aug 2007) Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper Real-Time in Sweden (RTiS) 2007
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis (Jul 2007) Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007)
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis (Jul 2007) Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007)
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis (Apr 2007) Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane