A more recent list of publications can be found on the RTSLAB publications web pages.
S. Nadjm-Tehrani, K. Najarian, C. Curescu, T. Lingvall, and T. A. Dahlberg,
Adaptive Load Control Algorithms for 3rd Generation Mobile Networks,
in Proceedings of the 5th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, ACM computer society press,
September 2002, pages 104-111.
Herzog E., Loborg P., Nadjm-Tehrani S. (2001),
Real-time Lab Exercises: A teacher's Dilemma,
In Proceedings of the SIGCSE, 32nd Technical Symposium on Computer Science Education,
February 2001, ACM computer society press, pages 273-277.
Nadjm-Tehrani S. (2000),
Methods for Analysis of Heterogeneous Models of Embedded Systems,
invited session in the International Symposium on Computer-Aided Control Systems Design (CACSD),
September 2000, Anchorage, Alaska, IEEE control systems society, pages 141-146.
Lin M., Malec J., Nadjm-Tehrani S. (2000),
Semantics and Correctness of Reactive Rule-based Systems
In proceedings of Andrei Ershov Third International Conference on Perspectives of System Informatics,
PSI'99, Novosibrisk, Russia, July 1999, LNCS 1755,
(C) Springer Verlag , pages 235-246.
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 1999, Kluwer Academic
publishers, pages 135-169.
Åkerlund O., Nadjm-Tehrani S., Stålmarck G., (1999),
Integration of Formal Methods into System Safety and Reliability Analysis
In proceedings of 17th International Systems Safety Conference,
ISSC'99, Florida, USA, August 1999, pages 326-336.
Nadjm-Tehrani S. (1998),
Time-deterministic Hybrid Transition Systems
In proceedings of fifth international workshop on Hybrid Systems (HS V),
Notre Dame, Indiana, September 1997, LNCS 1567,
(C) Springer Verlag , pages 238-250.
Westhead, M., and Nadjm-Tehrani S. (1996),
Verification of Embedded Systems using Synchronous Observers
In proceedings of the 4th international conference on Formal Techniques in Real-Time
and Fault-Tolerant Systems,
(FTRTFT'96), Uppsala, September 1996, LNCS 1135,
(C) Springer Verlag , pages 405-419.
Morin, M., Nadjm-Tehrani, S., Österling, P., and Sandewall, E. (1992),
Real-Time Hierarchical Control. IEEE Software, Special issue on real-time systems, 9(5): pages 51-57.
Drabent, W., Nadjm-Tehrani, S., and Maluszynski, J.~M. (1989),
Algorithmic Debugging with Assertions
In Meta-programming in Logic Programming, pages 501-521. MIT Press.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.