- Combining theorem proving and continuous models in synchronous design
Simin Nadjm-Tehrani, Ove Akerlund
World Congress on Formal Methods, Tolouse, France, September 1999, Volume II, LNCS 1709, Springer Verlag, pages 1384-1399
- Integration of Formal Methods into System Safety and Reliability Analysis
Ove Akerlund, Simin Nadjm-Tehrani, Gunnar Stalmarck
17th International Systems Safety Conference, ISSC'99, Florida, USA, August 1999, pages 326-336
- On Semantics and Correctness of Reactive Rule-based Systems
Man Lin, Jacek Malec, Simin Nadjm-Tehrani
Andrei Ershov Third International Conference "Perspectives of System Informatics", PSI'99, Novosibrisk, Russia, July 1999, LNCS, Springer Verlag.
- Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example
Loic Besnard, Patricia Bournai, Thierry Gautier, Nicolas Halbwachs, Simin Nadjm-Tehrani, Annic Ressouche
12th International Symposium on Languages for Intentional Programming, Athens, Greece, June 1999, pages 8-30
- Integration of Analog and Discrete Synchronous Design
Simin Nadjm-Tehrani
Second International Workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999, pages 193-208. LNCS 1569, Springer Verlag
- Formal Verification of Dynamic Properties in an Aerospace Application.
Simin Nadjm-Tehrani, Jan-Erik Stromberg
Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169.
- Time-deterministic Hybrid Transition Systems
Simin Nadjm-Tehrani
Fifth international workshop on Hybrid Systems (HS V), Notre Dame, Indiana, September 1997, LNCS 1567, Springer Verlag, pages 238-250.
- Towards Real-Time Systems Education with PBL
Simin Nadjm-Tehrani
Second international workshop on Real-Time Systems Education (RTEW), Montreal, Canada, June 1997, IEEE Computer Society Press, pages 39-41.
|
|