 | 2009 |
|---|
| 5 |       | 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 |
|---|
| 4 | | Farhang Nemati,
Johan Kraft,
Christer Norström:
Validation of Temporal Simulation Models of Complex Real-Time Systems.
COMPSAC 2008: 1335-1340 |
| 3 | | Farhang Nemati,
Johan Kraft,
Thomas Nolte:
Towards migrating legacy real-time systems to multi-core platforms.
ETFA 2008: 717-720 |
| 2 | | Johan Kraft,
Yue Lu,
Christer Norström,
Anders Wall:
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 258-269 |
| 2007 |
|---|
| 1 | | Joel Huselius,
Johan Kraft,
Hans Hansson,
Sasikumar Punnekkat:
Evaluating the Quality of Models Extracted from Embedded Real-Time Software.
ECBS 2007: 577-585 |
