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