Publications
Number of publications matching the search criterion: 13
Conference/Workshop Paper (11)
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)
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution (Dec 2006) Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper The 27th IEEE Real-Time Systems Symposium (RTSS 2006)
Faster WCET Flow Analysis by Program Slicing (Jun 2006) Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006)
Inspection of industrial code for syntactical loop analysis (Jul 2004) Christer Sandberg WCET 2004 Workshop
Elimination of Unstructured Loops in Flow Analysis (Jul 2003) Christer Sandberg WCET 2003 Workshop
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation (Jan 2003) Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo In Eight IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
A Prototype Tool for Flow Analysis of C Programs (Jun 2002) Jan Gustafsson, Björn Lisper, Christer Sandberg, Linus Sjöberg WCET 2002 Workshop
Report (2)
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
Licentiate thesis proposal:Improvements of the Flow Analysis in WCET Tools (Feb 2005) Christer Sandberg
