J. Kraft

Project Deliverable D2.1 Service Architecture Meta-Model (SAMM)

Giordano Tamburrelli, Heiko Koziolek, Lubomír Bulej, 2008 .

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

Thomas Nolte, Holger M. Kienle, Johan Kraft, 2011, Software Quality Journal.

Enabling Timing Analysis of Complex Embedded Software Systems

Johan Kraft, Johan Kraft, J. Kraft, 2010 .

History and systems of psychology: A course to unite a core curriculum

Johan Kraft, Joshua L. Williams, Nancy McCarley, 2013 .

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

Iain Bate, Yue Lu, Thomas Nolte, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

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

Iain Bate, Yue Lu, Thomas Nolte, 2011, SAC.

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

Yue Lu, Thomas Nolte, Johan Kraft, 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

Assessment of Trace-Di ff erences in Timing Analysis for Complex Real-Time Embedded Systems

Thomas Nolte, C. Norström, Johan Kraft, 2011 .