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

Pao-Ann Hsiung Vis

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

*2009
65 Yean-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
64EEPao-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
63EEPao-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)
62EEPao-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
61EEPao-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
60EEPao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu: Energy efficient co-scheduling in dynamically reconfigurable systems. CODES+ISSS 2007: 87-92
59EEPao-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
58EEPao-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
57EEPao-Ann Hsiung, Shang-Wei Lin: From ISA to application design via RTOS— a course design framework for embedded software. ICPADS 2007: 1-6
56EEChun-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
55EEYean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen: Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP 2007: 451-464
54EEPao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin: Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56(5): 692-705 (2007)
53EEYean-Ru Chen, Pao-Ann Hsiung: Automatic Failure Analysis Using Safecharts. International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007)
2006
52EEPao-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
51EEPao-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
50EEShang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen: Model Checking Prioritized Timed Automata. ATVA 2005: 370-384
49EEChih-Hao Tseng, Pao-Ann Hsiung: UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. EUC 2005: 479-488
48EEYuan-Hsiu Chen, Pao-Ann Hsiung: Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. EUC 2005: 489-498
47EEPao-Ann Hsiung, Yen-Hung Lin: Modeling and Verification of Safety-Critical Systems Using Safecharts. FORTE 2005: 290-304
46EEPao-Ann Hsiung, Shang-Wei Lin: Model Checking Timed Systems with Priorities. RTCSA 2005: 539-544
45 Pao-Ann Hsiung, Yen-Hung Lin: Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601
44EEPao-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)
43EEPao-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
42EEPao-Ann Hsiung, Shang-Wei Lin: Formal Design and Verification of Real-Time Embedded Software. APLAS 2004: 382-397
41EETe-Chang Lee, Pao-Ann Hsiung: Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368
40EEPao-Ann Hsiung, Shang-Wei Lin: Automatic Synthesis and Verification of Real-Time Embedded Software. EUC 2004: 12-21
39EEPao-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
38EEPao-Ann Hsiung, Cheng-Yi Lin: Synthesis of real-time embedded software with local and global deadlines. CODES+ISSS 2003: 114-119
37EEPao-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
36EETrong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su: RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. RTCSA 2003: 529-544
35EEWin-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen: Software Platform for Embedded Software Development. RTCSA 2003: 545-557
34EEPao-Ann Hsiung, Shu-Yu Cheng: Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design 2003: 249-254
33EEPao-Ann Hsiung, Feng-Shi Su: Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. VLSI Design 2003: 579-584
2002
32EEPao-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
31EEFeng-Shi Su, Pao-Ann Hsiung: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. CODES 2002: 211-216
30EETrong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen: TCN: Scalable Hierarchical Hypercubes. ICPADS 2002: 11-16
29EEPao-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
28EEPao-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)
27EEFarn Wang, Pao-Ann Hsiung: Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002)
2001
26EEPao-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
25EEPao-Ann Hsiung: Formal synthesis and code generation of embedded real-time software. CODES 2001: 208-213
24 Pao-Ann Hsiung: Formal Synthesis and Control of Soft Embedded Real-Time Systems. FORTE 2001: 35-52
23EEPao-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
22EEPao-Ann Hsiung: POSE: a parallel object-oriented synthesis environment. ACM Trans. Design Autom. Electr. Syst. 6(1): 67-92 (2001)
2000
21EEPao-Ann Hsiung: Concurrent Embedded Real-Time Software Verification. COMPSAC 2000: 516-521
20 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
19EEPao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen: On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA 2000: 379-383
18EEPao-Ann Hsiung: CMAPS: a cosynthesis methodology for application-oriented parallel systems. ACM Trans. Design Autom. Electr. Syst. 5(1): 51-81 (2000)
17EEPao-Ann Hsiung: Embedded software verification in hardware-software codesign. Journal of Systems Architecture 46(15): 1435-1450 (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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)