| |
| 2007 | ||
|---|---|---|
| 1 | EE | Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper: Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. WCET 2007 |
| 1 | Andreas Ermedahl | [1] |
| 2 | Jan Gustafsson | [1] |
| 3 | Björn Lisper | [1] |
| 4 | Christer Sandberg | [1] |