Logotype Mälardalenn University

Staff

Johan Kraft   
Johan Kraft, Post-doctoral Researcher

(not working at MRTC any more)

Research group:Complex Real-Time Embedded Systems
Web:Official university homepage

Research    Publications    Projects    MSc theses   

Research interests  [ Show full biography ]

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.

 

Latest publications [ Show all publications ]


Software Reverse Engineering in the Domain of Complex Embedded Systems, Holger Kienle (former), Johan Kraft (former), Hausi Müller (Universtiy of Victoria, Canada), Reverse Engineering, InTech, ISBN: 979-953-307-268-4, Editor(s): Alexandru Telea, November, 2011

Continuous Constant-Memory Monitoring of Embedded Software Timing , Johan Kraft (former), Thomas Nolte, 2nd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'11), satellite workshop of EUROMICRO Conference on Real-Time Systems (ECRTS'11), Porto, Portugal, July, 2011

Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Johan Kraft (former), Christer Norström, 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE, Västerås, Sweden, June, 2011

 

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: 2009.11.03