Johan Kraft

According to our database, Johan Kraft authored at least 16 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

System-specific static code analyses: a case study in the complex embedded systems domain.

Holger M. Kienle, Johan Kraft, Thomas Nolte

Softw. Qual. J., 2012

2011

Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems.

Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström

Proceedings of the Industrial Embedded Systems (SIES), 2011

A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems.

Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems.

Johan Kraft, Holger M. Kienle, Thomas Nolte, Ivica Crnkovic, Hans Hansson

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Enabling Timing Analysis of Complex Embedded Software Systems.

Johan Kraft

PhD thesis, 2010

Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects.

Johan Kraft, Anders Wall, Holger M. Kienle

Proceedings of the Runtime Verification - First International Conference, 2010

A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems.

Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks.

Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

On validation of simulation models in timing analysis of complex real-time embedded systems.

Yue Lu, Johan Kraft, Thomas Nolte, Christer Norström

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems.

Yue Lu, Thomas Nolte, Johan Kraft

Proceedings of the 13th IEEE International Conference on Computational Science and Engineering, 2010

2009

Simulation-Based Timing Analysis of Complex Real-Time Systems.

Markus Bohlin, Yue Lu, Johan Kraft, Per Kreuger, Thomas Nolte

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring.

Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer Norström

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems.

Johan Kraft, Yue Lu, Christer Norström, Anders Wall

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Towards migrating legacy real-time systems to multi-core platforms.

Farhang Nemati, Johan Kraft, Thomas Nolte

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Validation of Temporal Simulation Models of Complex Real-Time Systems.

Farhang Nemati, Johan Kraft, Christer Norström

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Evaluating the Quality of Models Extracted from Embedded Real-Time Software.

Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007