dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pao-Ann Hsiung Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen: Congestion-aware scheduling for NoC-based reconfigurable systems. DATE 2012: 1561-1566
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShang-Wei Lin, Pao-Ann Hsiung: Model Checking Prioritized Timed Systems. IEEE Trans. Computers 61(6): 843-856 (2012)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChorng-Shiuh Koong, Chihhsiong Shih, Pao-Ann Hsiung, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chao-Tung Yang: Automatic testing environment for multi-core embedded software - ATEMES. Journal of Systems and Software 85(1): 43-60 (2012)
2011
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTevfik Bultan, Pao-Ann Hsiung: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings Springer 2011
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan-Ting Su, Jih-Sheng Shen, Pao-Ann Hsiung: Network-on-Chip router design with Buffer-Stealing. ASP-DAC 2011: 160-164
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hung Chang, Chih-Wei Lu, William C. Chu, Chao-Tung Yang, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Kuei-Kai Shao: XML-Based Reusable Component Repository for Embedded Software. COMPSAC Workshops 2011: 345-350
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Yi Shih, Ming-Chih Li, Chao-Sheng Lin, Pao-Ann Hsiung, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chihhsiong Shih, Chao-Tung Yang, Chorng-Shiuh Koong: Adaptive Performance Monitoring for Embedded Multicore Systems. ICPP Workshops 2011: 222-228
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu: A pattern-based verification approach for a multi-core system development. SAC 2011: 49-53
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShang-Wei Lin, Pao-Ann Hsiung: Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Trans. Computers 60(5): 734-750 (2011)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Pao-Ann Hsiung: Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems. IEEE Trans. Industrial Informatics 7(2): 287-301 (2011)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShu-Hui Yang, Pao-Ann Hsiung: Real-Time Services for Special Education. IT Professional 13(2): 14-19 (2011)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hung Chang, Chih-Wei Lu, Pao-Ann Hsiung: Pattern-based framework for modularized software development and evolution robustness. Information & Software Technology 53(4): 307-316 (2011)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung: VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. 26(3): 448-462 (2011)
2010
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih: Supporting Design Enhancement by Pattern-Based Transformation. COMPSAC 2010: 462-467
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJih-Sheng Shen, Chun-Hsian Huang, Pao-Ann Hsiung: Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip. DATE 2010: 381-386
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSao-Jie Chen, Pao-Ann Hsiung, Chu Yu, Mao-Hsu Yen, Sakir Sezer, Michael J. Schulte, Yu Hen Hu: ARAL-CR: An adaptive reasoning and learning cognitive radio platform. ICSAMOS 2010: 324-331
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShu-Hui Yang, Pao-Ann Hsiung: Innovative Application of RFID Systems to Special Education Schools. NAS 2010: 299-304
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChorng-Shiuh Koong, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Pao-Ann Hsiung, Chihhsiong Shih, Chao-Tung Yang: Supporting Tool for Embedded Software Testing. QSIC 2010: 481-487
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong: SysML-based requirement modeling environment for multicore embedded system. SAC 2010: 2224-2228
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Jih-Sheng Shen, Pao-Ann Hsiung: A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications. UIC 2010: 382-396
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung: Multi-objective placement of reconfigurable hardware tasks in real-time system. IJES 4(3/4): 195-203 (2010)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen: Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption. Journal of Systems Architecture - Embedded Systems Design 56(11): 545-560 (2010)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen: UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. Journal of Systems Architecture - Embedded Systems Design 56(2-3): 88-102 (2010)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin: Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. Signal Processing Systems 59(1): 13-32 (2010)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chun-Hsian Huang, Jih-Sheng Shen, Cheng-Chi Chiang: Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems. TRETS 4(1): 9 (2010)
2009
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu: A Model-Driven Multicore Software Development Environment for Embedded System. COMPSAC (2) 2009: 261-268
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung: Multi-objective Placement of Reconfigurable Hardware Tasks in Real-Time System. CSE (2) 2009: 921-925
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu: Compositional Automata Reduction with Non-critical Path Slicing. FCS 2009: 133-138
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu: VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP 2009: 303-314
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJui-Chieh Lin, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu: Parallel implementation of convolution encoder for software defined radio on DSP architecture. ICSAMOS 2009: 180-186
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia-Wei Lin, Da-Tong Yen, Wei-Yi Hu, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen: A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA. ISCAS 2009: 1024-1027
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Pao-Ann Hsiung: On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems. ISCAS 2009: 2221-2224
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai-Jung Shih, Yi-Hsun Lin, Pao-Ann Hsiung: Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems. ISPAN 2009: 474-479
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Pao-Ann Hsiung: Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems. Embedded Systems Letters 1(1): 19-23 (2009)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chun-Hsian Huang, Yuan-Hsiu Chen: Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC. J. Embedded Computing 3(1): 53-62 (2009)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu: Modeling and verification of real-time embedded systems with urgency. Journal of Systems and Software 82(10): 1627-1641 (2009)
2008
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin: Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Computer Languages, Systems & Structures 34(4): 153-169 (2008)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Pao-Ann Hsiung: Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. EURASIP J. Emb. Sys. 2008: (2008)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao: Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures. TRETS 1(3): (2008)
2007
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu: Energy efficient co-scheduling in dynamically reconfigurable systems. CODES+ISSS 2007: 87-92
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, Pin-Hsien Lu: Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. EUC 2007: 718-729
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chih-Wen Liu: Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems. FPL 2007: 165-170
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin: From ISA to application design via RTOS— a course design framework for embedded software. ICPADS 2007: 1-6
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Hsian Huang, Kai-Jung Shih, Chao-Sheng Lin, Shih-Shiue Chang, Pao-Ann Hsiung: Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. ISCAS 2007: 2742-2745
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen: Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP 2007: 451-464
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin: Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56(5): 692-705 (2007)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYean-Ru Chen, Pao-Ann Hsiung: Automatic Failure Analysis Using Safecharts. International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007)
2006
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao: Model Checking Timed Systems with Urgencies. ATVA 2006: 67-81
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chun-Hsian Huang, Chih-Feng Liao: Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems. FPL 2006: 1-6
2005
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen: Model Checking Prioritized Timed Automata. ATVA 2005: 370-384
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChih-Hao Tseng, Pao-Ann Hsiung: UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. EUC 2005: 479-488
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan-Hsiu Chen, Pao-Ann Hsiung: Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. EUC 2005: 489-498
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Yen-Hung Lin: Modeling and Verification of Safety-Critical Systems Using Safecharts. FORTE 2005: 290-304
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin: Model Checking Timed Systems with Priorities. RTCSA 2005: 539-544
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Yen-Hung Lin: Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Hsin-Chieh Kao: Device-Centric Low-Power Scheduling for Real-Time Embedded Systems. International Journal of Software Engineering and Knowledge Engineering 15(2): 461-466 (2005)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See: SESAG: an object-oriented application framework for real-time systems. Softw., Pract. Exper. 35(10): 899-921 (2005)
2004
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin: Formal Design and Verification of Real-Time Embedded Software. APLAS 2004: 382-397
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTe-Chang Lee, Pao-Ann Hsiung: Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin: Automatic Synthesis and Verification of Real-Time Embedded Software. EUC 2004: 12-21
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See: VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. Software Eng. 30(10): 656-674 (2004)
2003
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Cheng-Yi Lin: Synthesis of real-time embedded software with local and global deadlines. CODES+ISSS 2003: 114-119
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee: Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. RTCSA 2003: 229-243
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su: RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. RTCSA 2003: 529-544
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWin-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen: Software Platform for Embedded Software Development. RTCSA 2003: 545-557
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Shu-Yu Cheng: Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design 2003: 249-254
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Feng-Shi Su: Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. VLSI Design 2003: 579-584
2002
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su: Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. APSEC 2002: 395-404
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng-Shi Su, Pao-Ann Hsiung: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. CODES 2002: 211-216
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen: TCN: Scalable Hierarchical Hypercubes. ICPADS 2002: 11-16
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen: VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 322-329
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chuen-Hau Gao: Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Electr. Notes Theor. Comput. Sci. 65(6): 140-159 (2002)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Pao-Ann Hsiung: Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002)
2001
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen: Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. APSEC 2001: 71-78
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Formal synthesis and code generation of embedded real-time software. CODES 2001: 208-213
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Formal Synthesis and Control of Soft Embedded Real-Time Systems. FORTE 2001: 35-52
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang: Verifiable Embedded Real-Time Application Framework. IEEE Real Time Technology and Applications Symposium 2001: 109-110
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: POSE: a parallel object-oriented synthesis environment. ACM Trans. Design Autom. Electr. Syst. 6(1): 67-92 (2001)
2000
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Concurrent Embedded Real-Time Software Verification. COMPSAC 2000: 516-521
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJih-Ming Fu, Win-Bin See, Pao-Ann Hsiung, Jen-Ming Chao, Sao-Jie Chen: A Java-Based Distributed System Framework for Real-Time Development. ICDCS Workshop on Distributed Real-Time Systems 2000: B31-B36
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen: On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA 2000: 379-383
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: CMAPS: a cosynthesis methodology for application-oriented parallel systems. ACM Trans. Design Autom. Electr. Syst. 5(1): 51-81 (2000)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Embedded software verification in hardware-software codesign. Journal of Systems Architecture 46(15): 1435-1450 (2000)
1999
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Timing coverification of concurrent embedded real-time systems. CODES 1999: 110-114
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Hardware-software coverification of concurrent embedded real-time systems. ECRTS 1999: 216-223
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Farn Wang: User-Friendly Verification. FORTE 1999: 279-294
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: High Level Design Reuse through Fuzzy Learning. IC-AI 1999: 658-661
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Parallel Object-Oriented Synthesis Methodology. PDPTA 1999: 2073-2076
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen: A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System. PDPTA 1999: 2982-2987
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA 1999: 228-235
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Scheduling System Verification. TACAS 1999: 19-33
1998
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Pao-Ann Hsiung: Automatic Verification on the Large. HASE 1998: 134-141
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Farn Wang: A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA 1998: 181-188
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: RTFrame: An Object-Oriented Application Framework for Real-Time Applications. TOOLS (27) 1998: 138-147
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung: Parallel Object-Oriented Synthesis Environment Based On Message-Passing. TOOLS (27) 1998: 251-
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, Sao-Jie Chen: ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems. ACM Trans. Design Autom. Electr. Syst. 3(2): 109-135 (1998)
1997
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Pao-Ann Hsiung: Parametric Analysis of Computer Systems. AMAST 1997: 539-553
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen: Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis. TOOLS (24) 1997: 284-293
1996
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPao-Ann Hsiung, Sao-Jie Chen, Tsung-Chien Hu, Shih-Chiang Wang: PSM: an object-oriented synthesis approach to multiprocessor system design. IEEE Trans. VLSI Syst. 4(1): 83-97 (1996)

Coauthor Index

1Tevfik Bultan [96]
2Chih-Hung Chang [71] [74] [81] [82] [86] [88] [93] [94] [97]
3Shih-Shiue Chang [56]
4Yu-Ming Chang [23]
5Hung-Lin Chao [99]
6Jen-Ming Chao [20]
7Chung-Hwang Chen [4]
8Ruey-Cheng Chen [19]
9Sao-Jie Chen [1] [2] [4] [11] [20] [26] [29] [30] [35] [55] [69] [70] [72] [84] [99]
10To-Yu Chen [72]
11Yean-Ru Chen [50] [52] [53] [54] [55] [64] [71] [72] [87] [99]
12Yuan-Hsiu Chen [48] [65]
13Shu-Yu Cheng [23] [34]
14Cheng-Chi Chiang [59] [75]
15Kuo-Cheng Chiang [59]
16Peng-Hua Chu [86] [92]
17William C. Chu (William Cheng-Chung Chu) [64] [71] [74] [81] [82] [86] [92] [93] [94] [97]
18Min-Ju Chuang [86] [92]
19Jih-Ming Fu [20] [26] [29] [39] [43] [59]
20Chuen-Hau Gao [23] [28]
21Nien-Lin Hsueh [71] [74] [81] [82] [86] [92] [93] [94] [97]
22Tsung-Chien Hu [1]
23Wei-Yi Hu [69]
24Yu Hen Hu [70] [72] [84]
25Chun-Hsian Huang [50] [51] [52] [56] [62] [64] [65] [66] [68] [75] [77] [78] [80] [85] [90]
26Chin-Chieh Hung [59]
27Hsin-Chieh Kao [44]
28Chorng-Shiuh Koong [71] [74] [81] [82] [86] [93] [94] [97]
29Yue-Sun Kuo [9] [10]
30Hung-Jui Lai [82] [97]
31Chien-Ching Lee [92]
32Te-Chang Lee [41]
33Trong-Yen Lee [2] [4] [11] [26] [29] [30] [32] [35] [36] [37] [39] [43]
34Ming-Chih Li [93]
35Chih-Feng Liao [51] [61]
36Hsiao-Win Liao [52] [73] [79]
37Chao-Sheng Lin [52] [56] [59] [61] [71] [76] [87] [93]
38Cheng-Yao Lin [74]
39Cheng-Yi Lin [37] [38]
40Jia-Wei Lin [69]
41Jui-Chieh Lin [70]
42Shang-Wei Lin [39] [40] [42] [46] [50] [52] [57] [59] [63] [64] [71] [76] [87] [91] [98]
43Yen-Hung Lin [45] [47] [54]
44Yi-Hsun Lin [67]
45Chih-Wen Liu [58] [60]
46Chih-Wei Lu [81] [88] [94]
47Chun-Hsien Lu [59] [71] [73] [79] [87]
48Pin-Hsien Lu [59] [60]
49Michael J. Schulte [84]
50Win-Bin See [20] [26] [29] [35] [39] [43]
51Sakir Sezer [84]
52Kuei-Kai Shao [94]
53Jih-Sheng Shen [75] [77] [78] [80] [85] [95]
54Chihhsiong Shih [64] [71] [74] [81] [82] [86] [93] [97]
55Chun-Yi Shih [93]
56Kai-Jung Shih [56] [67]
57Feng-Shi Su [23] [31] [32] [33] [36]
58Wan-Ting Su [71] [95]
59Hong-Yu Sun [52]
60Sheng-Ya Tong [71] [99]
61Chih-Hao Tseng [39] [49]
62Farn Wang [3] [7] [8] [9] [10] [14] [19] [27]
63Shih-Chiang Wang [1]
64Chien-Ting Wu [74]
65I-Mu Wu [36]
66Chao-Tung Yang [81] [82] [93] [94] [97]
67Shu-Hui Yang [83] [89]
68Jia-Jen Yeh [52]
69Da-Tong Yen [69]
70Mao-Hsu Yen [69] [70] [84]
71Chu Yu [69] [70] [84]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page