|
| | |
|
Theses
|
| | Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach, Johan Kraft (former), Licentiate Thesis, Mälardalen University Press, June, 2005 |
| | Timing analysis of a robot controller, Johan Kraft (former), Jonas Neander (former), Master Thesis, MRTC, October, 2002 |
|
| | |
|
Articles in collection
|
| | Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings, Anders Wall (former), Johan Kraft (former), Christer Norström, LNCS 4313: Leveraging Applications of Formal Methods, p 130-145, Springer Berlin/Heidelberg, ISBN: 978-3-540-48928-3, November, 2006 |
| | A Framework for Analysis of Timing and Resource Utilization targeting Complex Embedded Systems, Johan Kraft (former), Anders Wall (former), Christer Norström, ARTES - A network for Real-Time research and graduate Education in Sweden 1997 – 2006, p 297-329, Uppsala University, ISBN: 91-506-1859-8, Editor(s): Hans Hansson, 2006 |
| | A Dependable Open Platform for Industrial Robotics - A Case Study, Goran Mustapic (former), Johan Kraft (former), Christer Norström, Anders Wall (former), , April, 2004 |
|
| | |
|
Conferences and workshops
|
| | Extracting Simulation Models from Complex Embedded Real-Time Systems, Johan Kraft (former), Joel Huselius, Christer Norström, Anders Wall (former), Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA'06, IEEE, Tahiti, French Polynesia, October, 2006 |
| | Automatic Generation and Validation of Models of Legacy Software, Joel Huselius, Johan Kraft (former), Hans Hansson, Sasikumar Punnekkat, Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), p 342-349, Sydney, Australia, August, 2006 |
| | Model Synthesis for Real-Time Systems, Joel Huselius, Johan Kraft (former), Proceedings of the 9:th European Conference on Software Maintenance and Reengineering (CSMR), p 52-60, Manchester, UK, March, 2005 |
| | Model Synthesis for Real-Time Systems, Joel Huselius, Johan Kraft (former), Proceedings of the 9:th European Conference on Software Maintenance and Reengineering (CSMR), p 52-60, Manchester, UK, March, 2005 |
| | Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings, Johan Kraft (former), Anders Wall (former), Christer Norström, Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04), Paphos, Cyprus, October, 2004 |
| | Validating Temporal Behavior Models of Complex Real-Time Systems, Johan Kraft (former), Anders Wall (former), Christer Norström, Proceedings of the Fourth Conference on Software Engineering Research and Practice in Sweden (SERPS'04), Linköping, Sweden, September, 2004 |
| | Real World Influences on Software Architecture - Interviews with Industrial Experts, Goran Mustapic (former), Anders Wall (former), Christer Norström, Ivica Crnkovic, Kristian Sandström (former), Joakim Fröberg, Johan Kraft (former), IEEE Working Conferance on Software Architectures, Oslo, Norway, IEEE, Oslo, Editor(s):IEEE, June, 2004 |
| | Correctness criteria for models’ validation – A philosophical perspective, Ijeoma Sandra Irobi (external), Johan Kraft (former), Anders Wall (former), International Multiconferences in Computer Science & Computer Engineering, June, 2004 |
| | Increasing maintainability in complex industrial real-time systems by employing a non-intrusive method, Christer Norström, Anders Wall (former), Johan Kraft (former), Kristian Sandström (former), proceedings of the workshop on Migration and Evolvability of Long-life Software Systems (MELLS '03), Erfurt, Germany, September, 2003 |
| | Probabilistic Simulation-based Analysis of Complex Real-Times Systems, Anders Wall (former), Johan Kraft (former), Christer Norström, will appear in the 6th IEEE International Symposium on Object-oriented Real-time distributed Computing, IEEE Computer Society, Hakodate, Hokkaido, Japan, May, 2003 |
| | A Dependable Real-Time Platform for Industrial Robotics, Goran Mustapic (former), Johan Kraft (former), Christer Norström, ICSE 2003 WADS, Portland, OR USA, May, 2003 |
| | Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems, Anders Wall (former), Johan Kraft (former), Jonas Neander (former), Christer Norström, Martin Lembke (external), In proceedings of RTCSA 03, February, 2003 |
|
| | |
|
MRTC reports
|
| | Experimental Model Synthesis for Timing Analysis of an Industrial Robot, Joel Huselius, Johan Kraft (former), Hans Hansson, Sasikumar Punnekkat, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-193/2005-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, November, 2005 |
| | Correctness criteria for models’ validation – A philosophical perspective, Ijeoma Sandra Irobi (external), Johan Kraft (former), Anders Wall (former), MRTC report ISSN 1404-3041 ISRN MDH-MRTC-163/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2004 |
| | Influences between Software Architecture and its Environment in Industrial Systems – a Case Study, Goran Mustapic (former), Anders Wall (former), Christer Norström, Ivica Crnkovic, Kristian Sandström (former), Joakim Fröberg, Johan Kraft (former), MRTC report ISSN 1404-3041 ISRN MDH-MRTC-164/2004-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, February, 2004 |
|
| | |
|
Technical reports
|
| | Modeling and Analyzing Runtime Properties of Complex Embedded Systems, Johan Kraft (former), Technical Report, MRTC, November, 2004 |
| | A Framework for Analysis of Timing and Resource Utilization Targeting Industrial Real-Time Systems, Johan Kraft (former), Anders Wall (former), Christer Norström, Technical Report, MRTC, August, 2004 |
| | Validating Timing Models of Industrial Real-Time Systems, Johan Kraft (former), Anders Wall (former), Christer Norström, Technical Report, MRTC, June, 2004 |
|
