 | 2011 |
|---|
| 5 |       | Stefan Bygde,
Andreas Ermedahl,
Björn Lisper:
An efficient algorithm for parametric WCET calculation.
Journal of Systems Architecture - Embedded Systems Design 57(6): 614-624 (2011) |
| 2009 |
|---|
| 4 | | 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 |
| 3 | | Stefan Bygde,
Andreas Ermedahl,
Björn Lisper:
An Efficient Algorithm for Parametric WCET Calculation.
RTCSA 2009: 13-21 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page