Logotype Mälardalen University


Johan Kraft   
Johan Kraft, PhD

(not working at MRTC any more)

PhD supervisor:Christer Norström
Web:Personal homepage
Official university homepage

Research    Publications    Projects    MSc theses   

Research interests  [ Show full biography ]

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.


Latest publications [ Show all publications ]

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings, Anders Wall (former), Johan Kraft (former), Christer Norström, LNCS 4313: Leveraging Applications of Formal Methods, p 130-145, Springer Berlin/Heidelberg, ISBN: 978-3-540-48928-3, November, 2006

Extracting Simulation Models from Complex Embedded Real-Time Systems, Johan Kraft (former), Joel Huselius, Christer Norström, Anders Wall (former), Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA'06, IEEE, Tahiti, French Polynesia, October, 2006

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


Research projects


Supervised BSc and MSc theses

Research    Publications    Projects    MSc theses   
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23