Publications
Number of publications matching the search criterion: 30
Doctoral Thesis (1)
Enabling Timing Analysis of Complex Embedded Software Systems (Aug 2010) Johan Kraft
Collection (Editor) (1)
Software Reverse Engineering in the Domain of Complex Embedded Systems (Nov 2011) Holger Kienle, Johan Kraft, Hausi Müller Reverse Engineering
Journal article (1)
System-Specific Static Code Analyses: A Case Study in the Complex Embedded Systems Domain (Apr 2011) Holger Kienle, Johan Kraft, Thomas Nolte Software Quality Journal
Conference/Workshop Paper (23)
Continuous Constant-Memory Monitoring of Embedded Software Timing (Jul 2011) Johan Kraft, Thomas Nolte 2nd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS11), satellite workshop of EUROMICRO Conference on Real-Time Systems (ECRTS11)
Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems (Jun 2011) Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström 6th IEEE International Symposium on Industrial Embedded Systems (SIES11)
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems (Mar 2011) Johan Kraft, Holger Kienle, Thomas Nolte, Ivica Crnkovic, Hans Hansson 15th European Conference on Software Maintenance and Reengineering (CSMR11)
A Statistical Approach to Simulation Model Validation in Response-Time Analysis of Complex Real-Time Embedded Systems (Mar 2011) Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate 26th ACM Symposium on Applied Computing (SAC11)
An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems (Dec 2010) Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström The 43th Winter Simulation Conference 2010 (WSC10), the PhD Colloquium
An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems (Dec 2010) Yue Lu, Thomas Nolte, Johan Kraft The 13th IEEE International Conference on Computational Science and Engineering (CSE10)
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects (Nov 2010) Johan Kraft, Anders Wall, Holger Kienle Proceedings of the First International Conference on Runtime Verification (RV 2010)
On Validation of Simulation Models in Timing Analysis of Complex Real-Time Embedded Systems (Sep 2010) Yue Lu, Johan Kraft, Thomas Nolte, Christer Norström The 15th IEEE International Conference on Emerging Technologies and Factory Automation (EFTA10), Work-In-Progress (WIP) session.
A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems (Aug 2010) Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström The 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA10)
A Statistical Approach to Simulation Model Validation in Timing Analysis of Complex Real-Time Embedded Systems (Jul 2010) Yue Lu, Johan Kraft, Thomas Nolte, Christer Norström The 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS10) in conjunction with the 22nd Euromicro Conference on Real-Time Systems (ECRTS10)
A loadable task execution recorder for Linux (Jul 2010) Mikael Åsberg, Johan Kraft, Thomas Nolte, Shinpei Kato Proceedings of the 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
A Statistical Approach for Validation of Task Simulation Models with Intricate Temporal Execution Dependencies (Apr 2010) Yue Lu, Johan Kraft, Thomas Nolte, Christer Norström Proceedings of the Work-In-Progress (WIP) track of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS10)
Statistical-based Response-Time Analysis of Systems with Execution Dependencies between Tasks (Mar 2010) Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström The 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS10)
System-specific Static Code Analyses for Complex Embedded Systems (Mar 2010) Holger Kienle, Johan Kraft, Thomas Nolte 4th International Workshop on Software Quality and Maintainability (SQM 2010), sattelite event of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010)
Statistical-based Response-Time Analysis of Systems with Execution Dependencies between Tasks (Dec 2009) Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström Proceedings of the Work-In-Progress (WIP) track of the 30th IEEE Real-Time Systems Symposium (RTSS09)
Simulation-Based Timing Analysis of Complex Real-Time Systems (Aug 2009) Markus Bohlin, Yue Lu, Johan Kraft, Thomas Nolte The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA09)
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring (Jul 2009) Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Thomas Nolte, Christer Norström The 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS09) in conjunction with the 33rd Annual IEEE Computer Software and Applications Conference (COMPSAC09)
Approximate Timing Analysis of Complex Legacy Real-Time Systems using Simulation Optimization (Dec 2008) Yue Lu, Markus Bohlin, Johan Kraft, Thomas Nolte, Christer Norström Proceedings of the Work-In-Progress (WIP) track of the 29th IEEE Real-Time Systems Symposium (RTSS08)
Towards Migrating Legacy Real-Time Systems to Multi-Core Platforms (Sep 2008) Farhang Nemati, Johan Kraft, Thomas Nolte Proceedings of the Work-In-Progress (WIP) session of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA08)
Validation of Temporal Simulation Models of Complex Real-Time Systems (Jul 2008) Farhang Nemati, Johan Kraft, Christer Norström IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS08)
A Metaheuristic Approach for Best Effort Timing Analysis targeting Complex Legacy Real-Time Systems (Apr 2008) Johan Kraft, Yue Lu, Christer Norström, Anders Wall The 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS08)
Extracting Simulation Models from Complex Embedded Real-Time Systems (Aug 2007) Johan Kraft, Joel Huselius, Anders Wall, Christer Norström Real-Time in Sweden 2007
Evaluating the Quality of Models Extracted from Embedded Real-Time Software (Mar 2007) Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, presented at the 5th Workshop and Session on Model-Based Development of Computer Based Systems
Report - MRTC (3)
Best-Effort Simulation-Based Timing Analysis using Hill-Climbing with Random Restarts (Jun 2009) Markus Bohlin, Yue Lu, Johan Kraft, Thomas Nolte
A Framework for Real-Time Systems Migration to Multi-Cores (May 2009) Farhang Nemati, Johan Kraft, Thomas Nolte
Legacy Issues in Industrial Software Development (May 2007) Johan Kraft, Joel Huselius
Report (1)
RTSSim - A Simulation Framework for Complex Embedded Systems (Mar 2009) Johan Kraft
