Publications
Number of publications matching the search criterion: 23
Licentiate Thesis (1)
Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach (Jun 2005) Johan Kraft
Collection (Editor) (3)
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings (Nov 2006) Anders Wall, Johan Kraft, Christer Norström LNCS 4313: Leveraging Applications of Formal Methods
A Framework for Analysis of Timing and Resource Utilization targeting Complex Embedded Systems (Jan 2006) Johan Kraft, Anders Wall, Christer Norström ARTES - A network for Real-Time research and graduate Education in Sweden 1997 – 2006
A Dependable Open Platform for Industrial Robotics - A Case Study (Apr 2004) Goran Mustapic, Johan Kraft, Christer Norström, Anders Wall
Conference/Workshop Paper (12)
Extracting Simulation Models from Complex Embedded Real-Time Systems (Oct 2006) Johan Kraft, Joel Huselius, Christer Norström, Anders Wall Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA06
Automatic Generation and Validation of Models of Legacy Software (Aug 2006) Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Model Synthesis for Real-Time Systems (Mar 2005) Joel Huselius, Johan Kraft Proceedings of the 9:th European Conference on Software Maintenance and Reengineering (CSMR)
Model Synthesis for Real-Time Systems (Mar 2005) Joel Huselius, Johan Kraft Proceedings of the 9:th European Conference on Software Maintenance and Reengineering (CSMR)
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings (Oct 2004) Johan Kraft, Anders Wall, Christer Norström Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 04)
Validating Temporal Behavior Models of Complex Real-Time Systems (Sep 2004) Johan Kraft, Anders Wall, Christer Norström Proceedings of the Fourth Conference on Software Engineering Research and Practice in Sweden (SERPS04)
Real World Influences on Software Architecture - Interviews with Industrial Experts (Jun 2004) Goran Mustapic, Anders Wall, Christer Norström, Ivica Crnkovic, Kristian Sandström, Joakim Fröberg , Johan Kraft IEEE Working Conferance on Software Architectures, Oslo, Norway
Correctness criteria for models’ validation – A philosophical perspective (Jun 2004) Ijeoma Sandra Irobi , Johan Kraft, Anders Wall International Multiconferences in Computer Science & Computer Engineering
Increasing maintainability in complex industrial real-time systems by employing a non-intrusive method (Sep 2003) Christer Norström, Anders Wall, Johan Kraft, Kristian Sandström proceedings of the workshop on Migration and Evolvability of Long-life Software Systems (MELLS 03)
Probabilistic Simulation-based Analysis of Complex Real-Times Systems (May 2003) Anders Wall, Johan Kraft, Christer Norström will appear in the 6th IEEE International Symposium on Object-oriented Real-time distributed Computing
A Dependable Real-Time Platform for Industrial Robotics (May 2003) Goran Mustapic, Johan Kraft, Christer Norström ICSE 2003 WADS
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems (Feb 2003) Anders Wall, Johan Kraft, Jonas Neander, Christer Norström, Martin Lembke In proceedings of RTCSA 03
Report - MRTC (3)
Experimental Model Synthesis for Timing Analysis of an Industrial Robot (Nov 2005) Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat
Correctness criteria for models’ validation – A philosophical perspective (May 2004) Ijeoma Sandra Irobi , Johan Kraft, Anders Wall
Influences between Software Architecture and its Environment in Industrial Systems – a Case Study (Feb 2004) Goran Mustapic, Anders Wall, Christer Norström, Ivica Crnkovic, Kristian Sandström, Joakim Fröberg , Johan Kraft
Report (3)
Modeling and Analyzing Runtime Properties of Complex Embedded Systems (Nov 2004) Johan Kraft
A Framework for Analysis of Timing and Resource Utilization Targeting Industrial Real-Time Systems (Aug 2004) Johan Kraft, Anders Wall, Christer Norström
Validating Timing Models of Industrial Real-Time Systems (Jun 2004) Johan Kraft, Anders Wall, Christer Norström
Student Thesis (1)
Timing analysis of a robot controller (Oct 2002) Johan Kraft, Jonas Neander
