公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1998 | Automatic Verification on the Large. | Wang, Farn; Hsiung, Pao-Ann; FARN WANG | 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings | | | |
2001 | DESC: A Hardware-Software Codesign Methodology for Distributed Embedded Systems | Lee, Trong-Yen; Hsiung, Pao-Ann; Chen, Sao-Jie | IEICE TRANSACTIONS on Information and Systems E84-D | | | |
2009 | Hardware software co-design of a multimedia SOC platform | Hu, Yu-Hen; Hsiung, Pao-Ann; Lin, Guang-Huei; Chen, Sao-Jie | | 0 | 0 | |
2001 | Hardware-Software Multi-Level Partitioning for Distributed Embedded Multiprocessor Systems | Lee, Trong-Yen; Hsiung, Pao-Ann; Chen, Sao-Jie | IEICE TRANSACTIONS on Fundamentals of Electronics | | | |
2000 | Hardware-Software Timing Coverification of Distributed Embedded Systems | Fu, Jih-Ming; Lee, Trong-Yen; Hsiung, Pao-Ann; Chen, Sao-Jie | IEICE TRANSACTIONS on Information and Systems E83-D | | | |
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 | | | |
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 | | | |
1999 | Scheduling System Verification. | Hsiung, Pao-Ann; FARN WANG ; Kuo, Yue-Sun | Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings | 5 | 0 | |
1998 | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Hsiung, Pao-Ann; FARN WANG | 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 27-29 October 1998, Hiroshima, Japan | | | |
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 | | | |