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

Pao-Ann Hsiung

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
61EEPao-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)
2008
60EEPao-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
59EEPao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu: Energy efficient co-scheduling in dynamically reconfigurable systems. CODES+ISSS 2007: 87-92
58EEPao-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
57EEPao-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
56EEPao-Ann Hsiung, Shang-Wei Lin: From ISA to application design via RTOS— a course design framework for embedded software. ICPADS 2007: 1-6
55EEChun-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
54EEYean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen: Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP 2007: 451-464
53EEPao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin: Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56(5): 692-705 (2007)
52EEYean-Ru Chen, Pao-Ann Hsiung: Automatic Failure Analysis Using Safecharts. International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007)
2006
51EEPao-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
50EEPao-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
49EEShang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen: Model Checking Prioritized Timed Automata. ATVA 2005: 370-384
48EEChih-Hao Tseng, Pao-Ann Hsiung: UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. EUC 2005: 479-488
47EEYuan-Hsiu Chen, Pao-Ann Hsiung: Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. EUC 2005: 489-498
46EEPao-Ann Hsiung, Yen-Hung Lin: Modeling and Verification of Safety-Critical Systems Using Safecharts. FORTE 2005: 290-304
45EEPao-Ann Hsiung, Shang-Wei Lin: Model Checking Timed Systems with Priorities. RTCSA 2005: 539-544
44 Pao-Ann Hsiung, Yen-Hung Lin: Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601
43EEPao-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)
42EEPao-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
41EEPao-Ann Hsiung, Shang-Wei Lin: Formal Design and Verification of Real-Time Embedded Software. APLAS 2004: 382-397
40EETe-Chang Lee, Pao-Ann Hsiung: Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368
39EEPao-Ann Hsiung, Shang-Wei Lin: Automatic Synthesis and Verification of Real-Time Embedded Software. EUC 2004: 12-21
38EEPao-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
37EEPao-Ann Hsiung, Cheng-Yi Lin: Synthesis of real-time embedded software with local and global deadlines. CODES+ISSS 2003: 114-119
36EEPao-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
35EETrong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su: RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. RTCSA 2003: 529-544
34EEWin-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen: Software Platform for Embedded Software Development. RTCSA 2003: 545-557
33EEPao-Ann Hsiung, Shu-Yu Cheng: Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design 2003: 249-254
32EEPao-Ann Hsiung, Feng-Shi Su: Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. VLSI Design 2003: 579-584
2002
31EEPao-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
30EEFeng-Shi Su, Pao-Ann Hsiung: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. CODES 2002: 211-216
29EETrong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen: TCN: Scalable Hierarchical Hypercubes. ICPADS 2002: 11-16
28EEPao-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
27EEPao-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): (2002)
26EEFarn Wang, Pao-Ann Hsiung: Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002)
2001
25EEPao-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
24EEPao-Ann Hsiung: Formal synthesis and code generation of embedded real-time software. CODES 2001: 208-213
23 Pao-Ann Hsiung: Formal Synthesis and Control of Soft Embedded Real-Time Systems. FORTE 2001: 35-52
22EEPao-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
21EEPao-Ann Hsiung: POSE: a parallel object-oriented synthesis environment. ACM Trans. Design Autom. Electr. Syst. 6(1): 67-92 (2001)
2000
20EEPao-Ann Hsiung: Concurrent Embedded Real-Time Software Verification. COMPSAC 2000: 516-521
19 Jih-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
18EEPao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen: On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA 2000: 379-383
17EEPao-Ann Hsiung: CMAPS: a cosynthesis methodology for application-oriented parallel systems. ACM Trans. Design Autom. Electr. Syst. 5(1): 51-81 (2000)
1999
16EEPao-Ann Hsiung: Timing coverification of concurrent embedded real-time systems. CODES 1999: 110-114
15EEPao-Ann Hsiung: Hardware-software coverification of concurrent embedded real-time systems. ECRTS 1999: 216-223
14 Pao-Ann Hsiung, Farn Wang: User-Friendly Verification. FORTE 1999: 279-294
13 Pao-Ann Hsiung: High Level Design Reuse through Fuzzy Learning. IC-AI 1999: 658-661
12 Pao-Ann Hsiung: Parallel Object-Oriented Synthesis Methodology. PDPTA 1999: 2073-2076
11 Trong-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
10EEPao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA 1999: 228-235
9EEPao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Scheduling System Verification. TACAS 1999: 19-33
1998
8EEFarn Wang, Pao-Ann Hsiung: Automatic Verification on the Large. HASE 1998: 134-141
7EEPao-Ann Hsiung, Farn Wang: A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA 1998: 181-188
6EEPao-Ann Hsiung: RTFrame: An Object-Oriented Application Framework for Real-Time Applications. TOOLS (27) 1998: 138-147
5EEPao-Ann Hsiung: Parallel Object-Oriented Synthesis Environment Based On Message-Passing. TOOLS (27) 1998: 251-
4EEPao-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
3 Farn Wang, Pao-Ann Hsiung: Parametric Analysis of Computer Systems. AMAST 1997: 539-553
2EEPao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen: Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis. TOOLS (24) 1997: 284-293
1996
1EEPao-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

1Shih-Shiue Chang [55]
2Yu-Ming Chang [22]
3Jen-Ming Chao [19]
4Chung-Hwang Chen [4]
5Ruey-Cheng Chen [18]
6Sao-Jie Chen [1] [2] [4] [11] [19] [25] [28] [29] [34] [54]
7Yean-Ru Chen [49] [51] [52] [53] [54]
8Yuan-Hsiu Chen [47] [61]
9Shu-Yu Cheng [22] [33]
10Cheng-Chi Chiang [58]
11Kuo-Cheng Chiang [58]
12Jih-Ming Fu [19] [25] [28] [38] [42] [58]
13Chuen-Hau Gao [22] [27]
14Tsung-Chien Hu [1]
15Chun-Hsian Huang [49] [50] [51] [55] [61]
16Chin-Chieh Hung [58]
17Hsin-Chieh Kao [43]
18Yue-Sun Kuo [9] [10]
19Te-Chang Lee [40]
20Trong-Yen Lee [2] [4] [11] [25] [28] [29] [31] [34] [35] [36] [38] [42]
21Chih-Feng Liao [50] [60]
22Hsiao-Win Liao [51]
23Chao-Sheng Lin [51] [55] [58] [60]
24Cheng-Yi Lin [36] [37]
25Shang-Wei Lin [38] [39] [41] [45] [49] [51] [56] [58]
26Yen-Hung Lin [44] [46] [53]
27Chih-Wen Liu [57] [59]
28Chun-Hsien Lu [58]
29Pin-Hsien Lu [58] [59]
30Win-Bin See [19] [25] [28] [34] [38] [42]
31Kai-Jung Shih [55]
32Feng-Shi Su [22] [30] [31] [32] [35]
33Hong-Yu Sun [51]
34Chih-Hao Tseng [38] [48]
35Farn Wang [3] [7] [8] [9] [10] [14] [18] [26]
36Shih-Chiang Wang [1]
37I-Mu Wu [35]
38Jia-Jen Yeh [51]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)