Johan Kraft

16 papers A 1B 5C 2Misc 1Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2012 J jnl
System-specific static code analyses: a case study in the complex embedded systems domain.
Softw. Qual. J.
Holger M. Kienle, Johan Kraft, Thomas Nolte
2011 Misc conf
A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems.
SAC
Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate
2011 — conf
Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems.
SIES
Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström
2011 — conf
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems.
CSMR
Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica Crnkovic, Hans Hansson
2010 B conf
A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems.
RTCSA
Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström
2010 — conf
An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems.
CSE
Yue Lu, Thomas Nolte, Johan Kraft
2010 — —
Enabling Timing Analysis of Complex Embedded Software Systems.
Johan Kraft
2010 C conf
On validation of simulation models in timing analysis of complex real-time embedded systems.
ETFA
Yue Lu, Johan Kraft, Thomas Nolte, Christer Norström
2010 B conf
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks.
ICECCS
Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström
2010 B conf
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects.
RV
Johan Kraft, Anders Wall, Holger M. Kienle
2009 B conf
Simulation-Based Timing Analysis of Complex Real-Time Systems.
RTCSA
Markus Bohlin, Yue Lu, Johan Kraft, Per Kreuger, Thomas Nolte
2009 — conf
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring.
COMPSAC (2)
Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer Norström
2008 A conf
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Johan Kraft, Yue Lu, Christer Norström, Anders Wall
2008 C conf
Towards migrating legacy real-time systems to multi-core platforms.
ETFA
Farhang Nemati, Johan Kraft, Thomas Nolte
2008 B conf
Validation of Temporal Simulation Models of Complex Real-Time Systems.
COMPSAC
Farhang Nemati, Johan Kraft, Christer Norström
2007 — conf
Evaluating the Quality of Models Extracted from Embedded Real-Time Software.
ECBS
Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat