Evaluating the Quality of Models Extracted from Embedded Real-Time Software. - Joel Huselius; Johan Kraft; Hans Hansson; Sasikumar Punnekkat (ECBS, 2007)

Validation of Temporal Simulation Models of Complex Real-Time Systems. - Farhang Nemati; Johan Kraft; Christer Norström (COMPSAC, 2008)

Towards migrating legacy real-time systems to multi-core platforms. - Farhang Nemati; Johan Kraft; Thomas Nolte (ETFA, 2008)

A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems. - Johan Kraft; Yue Lu 005; Christer Norström; Anders Wall (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring. - Yue Lu 005; Antonio Cicchetti; Stefan Bygde; Johan Kraft; Christer Norström (COMPSAC (2), 2009)

Simulation-Based Timing Analysis of Complex Real-Time Systems. - Markus Bohlin; Yue Lu 005; Johan Kraft; Per Kreuger; Thomas Nolte (RTCSA, 2009)

An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems. - Yue Lu 005; Thomas Nolte; Johan Kraft (CSE, 2010)

On validation of simulation models in timing analysis of complex real-time embedded systems. - Yue Lu 005; Johan Kraft; Thomas Nolte; Christer Norström (ETFA, 2010)

Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks. - Yue Lu 005; Thomas Nolte; Johan Kraft; Christer Norström (ICECCS, 2010)

A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems. - Yue Lu 005; Thomas Nolte; Johan Kraft; Christer Norström (RTCSA, 2010)

Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects. - Johan Kraft; Anders Wall; Holger M. Kienle (RV, 2010)

Enabling Timing Analysis of Complex Embedded Software Systems. - Johan Kraft (2010)

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems. - Johan Kraft; Holger M. Kienle; Thomas Nolte; Ivica Crnkovic; Hans Hansson (CSMR, 2011)

A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. - Yue Lu 005; Johan Kraft; Thomas Nolte; Iain Bate (SAC, 2011)

Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems. - Yue Lu 005; Thomas Nolte; Iain Bate; Johan Kraft; Christer Norström (SIES, 2011)

System-specific static code analyses: a case study in the complex embedded systems domain. - Holger M. Kienle; Johan Kraft; Thomas Nolte (Softw. Qual. J., 2012)