| 2009 | ||
|---|---|---|
| 3 | Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer Norström: Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring. COMPSAC (2) 2009: 510-515 | |
| 2008 | ||
| 2 | Stefan Bygde, Björn Lisper: Towards an Automatic Parametric WCET Analysis. WCET 2008 | |
| 2007 | ||
| 1 | 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 | Antonio Cicchetti | [3] |
| 2 | Andreas Ermedahl | [1] |
| 3 | Jan Gustafsson | [1] |
| 4 | Johan Kraft | [3] |
| 5 | Björn Lisper | [1] [2] |
| 6 | Yue Lu | [3] |
| 7 | Christer Norström | [3] |
| 8 | Christer Sandberg | [1] |