Johan Kraft (not working at IDT anymore)

Dr. Johan Kraft is a post-doctoral researcher at the Embedded Systems department. Apart from his PhD degree, He has a Licentiate degree in Computer Science and a Magister (Master) degree in Computer Engineering, all at MDH. His past also includes a few years of embedded software development at ABB Robotics and his research has a strong industrial connection. Johan is also the founder of Percepio AB, an MDH spin-off company focusing on embedded software visualization tools.

The research focus of Dr. Johan Kraft is automated analysis of embedded software, especially during maintenence of already implemented systems. This includes program analysis, simulation techniques and monitoring of embedded software systems.

[Show all publications]

Latest publications:

Software Reverse Engineering in the Domain of Complex Embedded Systems (Nov 2011)
Holger Kienle, Johan Kraft, Hausi Müller
Reverse Engineering

Continuous Constant-Memory Monitoring of Embedded Software Timing (Jul 2011)
Johan Kraft, Thomas Nolte
2nd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS11), satellite workshop of EUROMICRO Conference on Real-Time Systems (ECRTS11)

Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems (Jun 2011)
Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström
6th IEEE International Symposium on Industrial Embedded Systems (SIES11)

System-Specific Static Code Analyses: A Case Study in the Complex Embedded Systems Domain (Apr 2011)
Holger Kienle, Johan Kraft, Thomas Nolte
Software Quality Journal

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems (Mar 2011)
Johan Kraft, Holger Kienle, Thomas Nolte, Ivica Crnkovic, Hans Hansson
15th European Conference on Software Maintenance and Reengineering (CSMR11)

A Statistical Approach to Simulation Model Validation in Response-Time Analysis of Complex Real-Time Embedded Systems (Mar 2011)
Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate
26th ACM Symposium on Applied Computing (SAC11)

MSc theses supervised (or examined):

Thesis Title	Status
Automated testing support for graphical .NET applications	available
Master Thesis - Interactive graph viewer	available
Inspelarenhet i FPGA för analys av inbyggd programvara	in progress
Lastmätning av CPU i realtidsoperativsystem	finished
Recording of Scheduling and Communication events on Telecom Systems	finished
Using Iterative Simulation for Timing Analysis of Complex Real-Time Systems	finished