|
|
|
| | |
|
Conferences and workshops
|
| | ALF – A Language for WCET Flow Analysis, Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper, Christer Sandberg (former), Linus Källberg, Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), OCG, Dublin, Ireland, Editor(s):Niklas Holsti, June, 2009 |
| | Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code, Dani Barkah (Volvo CE, Eskilstuna, Sweden), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Christer Sandberg (former), 20th Euromicro Conference of Real-Time Systems, (ECRTS’08), Prague, Czech Republic, July, 2008 |
| | Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Christer Sandberg (former), Björn Lisper, Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007 |
| | Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, Andreas Ermedahl (former), Christer Sandberg (former), Jan Gustafsson, Stefan Bygde, Björn Lisper, Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), Pisa, Italy, July, 2007 |
| | Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis, Daniel Sundmark, Anders Pettersson, Christer Sandberg (former), Andreas Ermedahl (former), Henrik Thane, Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), Pisa, Italy, July, 2007 |
| | Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Christer Sandberg (former), Björn Lisper, The 27th IEEE Real-Time Systems Symposium (RTSS 2006), Rio de Janeiro, Brazil, December, 2006 |
| | Faster WCET Flow Analysis by Program Slicing, Christer Sandberg (former), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006), ACM, Ottawa, Canada, June, 2006 |
| | Inspection of industrial code for syntactical loop analysis, Christer Sandberg (former), WCET 2004 Workshop, Catania, July, 2004 |
| | Elimination of Unstructured Loops in Flow Analysis, Christer Sandberg (former), WCET 2003 Workshop, Porto, July, 2003 |
| | A Tool for Automatic Flow Analysis of C-programs for WCET Calculation, Jan Gustafsson, Björn Lisper, Christer Sandberg (former), Nerina Bermudo (external), In Eight IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, p 106 - 112, IEEE, Guadalajara, Mexico, Editor(s):Bob Werner, January, 2003 |
| | A Prototype Tool for Flow Analysis of C Programs, Jan Gustafsson, Björn Lisper, Christer Sandberg (former), Linus Sjöberg (external), WCET 2002 Workshop, Vienna, Editor(s):Guillem Bernat, June, 2002 |
|
| | |
|
Technical reports
|
| | Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis, Daniel Sundmark, Anders Pettersson, Christer Sandberg (former), Andreas Ermedahl (former), Henrik Thane, Technical Report, MRTC, April, 2007 |
| | Licentiate thesis proposal:Improvements of the Flow Analysis in WCET Tools, Christer Sandberg (former), Technical Report, MRTC, February, 2005 |
|
