SAVE

Ten most prominent relevant publications 

[1] Ivica Crnkovic, Magnus Larsson, Juliana K. Küster Filipe, Kung-Kiu Lau, Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues. Databases and Information Systems, Fourth International Baltic Workshop, Baltic DB&IS, Selected papers, pp.237-252, Kluwer Academic Publishers 2001 ISBN: ISBN 0-7923-6823-1

[2] Jad El-khoury and Martin Törngren, Towards a Toolset for Architectural Design of Distributed Real-Time Control Systems, Proceedings of IEEE Real-Time Systems Symposium, 2001

[3] Christer Eriksson, Jukka Mäki-Turja, Kjell Post, Mikael Gustafsson, Jan Gustafsson, Kristian Sandström and Ellus Brorson. An Overview of RTT: A Design Framework for Real-Time Systems. Journal of Parallel and Distributed Computing August 1996.

[4] Elena Forsman, Paul Pettersson and Wang Yi , Timed Automata with Asynchronous Processes: Schedulability and Decidability,.. To appear in the proceedings of TACAS 2002. 

[5] H. Hansson, T. Nolte, C. Norström and S. Punnekkat. Integrating Reliability and Timing Analysis of CAN-based Systems. Invited Paper. Accepted for publication in IEEE Transaction on Industrial Electronics.

[6] Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi,  Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction, Accepted for publication in Real-Time Systems - The International Journal of Time-Critical Computing Systems, Kluwer Academic Publisher, 2001.

[7] Nadjm-Tehrani, S., Strömberg J.-E. (1999). Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods in System Design, Volume 14, number 2, March 99, pages 135-169.

[8] A. Tesanovic, D. Nyström, J. Hansson, and C. Norström, Embedded Databases for Embedded Real-Time Systems:  Component-based Approach. Technical report (85 pages). 2001

[9] H. Thane, H. Hansson: Using Deterministic Replay for Debugging of Distributed Real-Time Systems, In Proc. 12th Euromicro Conference on Real-Time Systems, pages 265-272, Stockholm, IEEE Computer Society, June 2000.

[10] Martin Törngren and Ola Redell, A modelling framework to support the design and analysis of distributed real- time control systems, Journal of Microprocessors and Microsystems, Elsevier, Vol. 24/2, April, 2000