Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. A Ermedahl, C Sandberg, J Gustafsson, S Bygde, B Lisper WCET, 2007 | 120 | 2007 |
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. A Ermedahl, C Sandberg, J Gustafsson, S Bygde, B Lisper WCET, 2007 | 120 | 2007 |
An efficient algorithm for parametric WCET calculation S Bygde, A Ermedahl, B Lisper Journal of systems architecture 57 (6), 614-624, 2011 | 91 | 2011 |
Static WCET analysis based on abstract interpretation and counting of elements S Bygde Mälardalen University, 2010 | 30 | 2010 |
Towards an Automatic Parametric WCET Analysis. S Bygde, B Lisper WCET, 2008 | 27 | 2008 |
Fully bounded polyhedral analysis of integers with wrapping S Bygde, B Lisper, N Holsti Electronic Notes in Theoretical Computer Science 288, 3-13, 2012 | 17 | 2012 |
Abstract interpretation and abstract domains S Bygde | 8 | 2006 |
Static analysis on executable code-a survey S Bygde Technical Report, Målardalen University, 2011 | 4 | 2011 |
Analysis of arithmetical congruences on low-level code S Bygde Nordic Workshop on Programming Theory'07, Oslo, Norway, 2007 | 4 | 2007 |
Parametric WCET Analysis S Bygde Mälardalen University, 2013 | 2 | 2013 |
Improved Precision in Polyhedral Analysis with Wrapping S Bygde, B Lisper, N Holsti | | 2012 |
Static Analysis of Bounded Polyhedra S Bygde, B Lisper, N Holsti Nordic Workshop on Programming Theory, 2011 | | 2011 |
Static WCET Analysis based on Abstract Interpretation and Counting of Abstract State Elements S Bygde | | 2009 |