Conference Method for verifying properties of modechart specifications 1988 • undefined • 35 n 6:12-21 Jahanian F, Stuart DA
Conference Semantics of Modechart in real time logic 1988 • Proceedings of the Hawaii International Conference on System Science • 2:479-489 Jahanian F, Lee R, Mok AK
Journal Article A Graph-Theoretic Approach for Timing Analysis and its Implementation 1987 • IEEE transactions on computers • C-36(8):961-975 Jahanian F, Mok AK-L
Conference GRAPH-THEORETIC APPROACH FOR TIMING ANALYSIS IN REAL TIME LOGIC. 1986 • undefined • 98-108 Jahanian F, Mok AK
Conference Innovating for Society: Foundations in Computer and Information Science and Engineering Jahanian F
Journal Article Safety analysis of timing properties in real-time systems • IEEE Transactions on Software Engineering • SE-12(9):890-904 Jahanian F, Mok AK
