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]
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):