Johan Kraft (not working at IDT anymore)

Johan Kraft (formerly Andersson) is a Ph.D. student at SEL. Johan received an M.Sc. in Computer Engineering at Mälardalen University in 2002. During 2002-2003 he worked with embedded software development at ABB Robotics. During this time he enrolled at MdH/MRTC as an industrial PhD student, funded by ABB and ASTEC, the Vinnova competence center for advanced software technology. Johan presented his licentiate thesis in June 2005 and now continues his research with funding from KKS.

The primary research interest of Johan Kraft (formerly Andersson) is extraction of analyzable models from complex real-time systems. The goal is to enable impact analysis with respect to run-time properties, such as timing and resource usage.

[Show all publications]

Latest publications:

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings (Nov 2006)
Anders Wall, Johan Kraft, Christer Norström
LNCS 4313: Leveraging Applications of Formal Methods

Extracting Simulation Models from Complex Embedded Real-Time Systems (Oct 2006)
Johan Kraft, Joel Huselius, Christer Norström, Anders Wall
Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA06

Automatic Generation and Validation of Models of Legacy Software (Aug 2006)
Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat
Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

A Framework for Analysis of Timing and Resource Utilization targeting Complex Embedded Systems (Jan 2006)
Johan Kraft, Anders Wall, Christer Norström
ARTES - A network for Real-Time research and graduate Education in Sweden 1997 – 2006

Experimental Model Synthesis for Timing Analysis of an Industrial Robot (Nov 2005)
Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat

Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach (Jun 2005)
Johan Kraft

MSc theses supervised (or examined):

Thesis Title	Status
Analysverktyg för exekveringsloggar	finished