Publications
Number of publications matching the search criterion: 15
Licentiate Thesis (1)
Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach (Jun 2005) Johan Kraft
Collection (Editor) (2)
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
Conference/Workshop Paper (5)
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
Report - MRTC (1)
Correctness criteria for models’ validation – A philosophical perspective (May 2004) Ijeoma Sandra Irobi , Johan Kraft, Anders Wall
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 (3)
Development of an Analysis tool for Execution Traces (Sep 2004) Anders Johnsson , Roy Nilsson
Models’ Validation for Complex Real-Time Systems (Aug 2004) Ijeoma Sandra Irobi
Models’ Validation for Complex Real-Time Systems (Aug 2004) Sandra Irobi Ijedma
