公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1997 | Error propagation analysis of real-time data-intensive applications | TEI-WEI KUO ; Locke, Doug; Wang, Farn | Real-Time Technology and Applications | | | |
1992 | Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. | | | |
2000 | On the verification of Wireless Transaction Protocol using SGM and RED. | Hsiung, Pao-Ann; Wang, Farn; Chen, Ruey-Cheng; FARN WANG | 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea | | | |
2003 | OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. | Wang, Farn; Yu, Fang; FARN WANG | Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers | | | |
1997 | Parametric Analysis of Computer Systems. | Wang, Farn; Hsiung, Pao-Ann; FARN WANG | Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings | | | |
2001 | Parametric Optimization of Open Real-Time Systems. | Wang, Farn; HSU-CHUN YEN | Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings | | | |
1994 | RTL and Refutation by Positive Cycles. | Wang, Farn; Mok, Aloysius K.; FARN WANG | FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings | | | |
2012 | Symbolic Consistency Checking of OpenMP Parallel Programs | Yu, Fang; Yang, Shun-Ching; Wang, Farn; Chen, Guan-Cheng; Chan, Che-Chang; FARN WANG | Acm Sigplan Notices | | | |
1993 | Symbolic Model Checking for Distributed Real-Time Systems. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | | | |
1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. | Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | | | |
2008 | Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. | Wang, Farn; Huang, Geng-Dian; FARN WANG | Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings | | | |
2003 | Timing Parameter Characterization of Real-Time Systems. | Wang, Farn; HSU-CHUN YEN | Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings | | | |
1999 | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG | 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China | | | |
2008 | WiMAX通訊協定符合性測試TTCN-3測試案例轉接器之研發 | 廖鴻欣; Liao, Hung-Hsin | | | | |
2008 | 使用分歧模擬技術的狀態轉換系統之錯誤定位 | 王映智; Wang, Ying-Chih | | | | |
2008 | 剖析WiMAX通信協定符合性測試案例 | 楊順清; Yang, Shun-Ching | | | | |
2009 | 嵌入式系統模型化測試的時域概率分析 | 江志政; Chiang, Chih-Cheng | | | | |