Johan Kraft

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Processing Power

Consumer Electronics

Top Venues

Softw. Qual. J.

Publications

Holger M. Kienle, Johan Kraft, Thomas Nolte
System-specific static code analyses: a case study in the complex embedded systems domain. Softw. Qual. J. 20 (2) (2012)
Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica Crnkovic, Hans Hansson
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems. CSMR (2011)
Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström
Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems. SIES (2011)
Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate
A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. SAC (2011)
Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks. ICECCS (2010)
Yue Lu, Johan Kraft, Thomas Nolte, Christer Norström
On validation of simulation models in timing analysis of complex real-time embedded systems. ETFA (2010)
Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström
A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems. RTCSA (2010)
Johan Kraft, Anders Wall, Holger M. Kienle
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects. RV (2010)
Yue Lu, Thomas Nolte, Johan Kraft
An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems. CSE (2010)
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)
Markus Bohlin, Yue Lu, Johan Kraft, Per Kreuger, Thomas Nolte
Simulation-Based Timing Analysis of Complex Real-Time Systems. RTCSA (2009)
Farhang Nemati, Johan Kraft, Christer Norström
Validation of Temporal Simulation Models of Complex Real-Time Systems. COMPSAC (2008)
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)
Farhang Nemati, Johan Kraft, Thomas Nolte
Towards migrating legacy real-time systems to multi-core platforms. ETFA (2008)
Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat
Evaluating the Quality of Models Extracted from Embedded Real-Time Software. ECBS (2007)