Associate Professor
Dept. of Computer Science & Information Engineering
National Chung Cheng University
160, San-Hsing, Ming-Hsiung, Chiayi-621, Taiwan, ROC.
| E-mail: | pahsiung@cs.ccu.edu.tw | |
| Tel: | +886-5-2720411 ext. 33119 | |
| Fax: | +886-5-2720859 | |
| Office: | EA-512 |
| |
"If LIFE is without idea, dream, and imaginations, then life is but a mere set of empty frames." | |
"Self-doubt has derailed many a good idea, opening the door for someone else to profit from another's lost nerve."
ºµ ³Õ ¦wWhat's New??? (updated: September 25, 2002)
Invited Full-Day Tutorials
- Embedded Software Design, February 21, 2003 (9:00 ~ 16:00), Tze-Chiang Foundation of Science and Technology, Educational Training Center, Taipei, Taiwan.
- Hardware-Software Co-design, October 4, 2002 (9:00 ~ 16:00), Tze-Chiang Foundation of Science and Technology, Educational Training Center, Taipei, Taiwan.
- Embedded System Design, September 27, 2002 (9:00 ~ 16:00), Tze-Chiang Foundation of Science and Technology, Educational Training Center, Taipei, Taiwan.
- W.-B. See, P.-A. Hsiung, and S.-J. Chen, "
Framework Approach for System on Chip Software Development,"
International Symposium on VLSI Technology, Systems, and
Applications (VLSI-TSA, Hsinchu, Taiwan), April 2003 (accepted for
presentation).
- P.-A. Hsiung, C.-Y. Lin, and T.-Y. Lee, "
Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded
Software with Local and Global Deadlines," Proc. of the 9th
International Conference on Real-Time and Embedded Computing Systems and
Applications (RTCSA'2003, Tainan, Taiwan), February 18-20, 2003
(accepted for presentation).
- T.-Y. Lee, P.-A. Hsiung, I-M. Wu, and F.-S. Su, " RESS:
Real-Time Embedded Software Synthesis and Prototyping Methodology ,"
Proc. of the 9th International Conference on Real-Time and Embedded
Computing Systems and Applications (RTCSA'2003, Tainan, Taiwan),
February 18-20, 2003 (accepted for presentation).
- W.-B. See, P.-A. Hsiung, S.-J. Chen, "
Software Platform for Embedded Software Development," Proc. of
the 9th International Conference on Real-Time and Embedded Computing
Systems and Applications (RTCSA'2003, Tainan, Taiwan), February 18-20,
2003 (accepted for presentation).
- P.-A. Hsiung and S.-Y. Cheng, "
Automating Formal Modular Verification of Asynchronous Real-Time
Embedded Systems," Proc. of the 16th International Conference on
VLSI Design, (VLSI'2003, New Delhi, India), January 4-8, 2003,
(accepted for presentation).
- P.-A. Hsiung and F.-S. Su, "
Synthesis of Real-Time Embedded Software by Time-Extended Quasi-Static
Scheduling," Proc. of the 16th International Conference on VLSI
Design, (VLSI'2003, New Delhi, India), January 4-8, 2003, (accepted
for presentation).
- P.-A. Hsiung and S.-Y. Cheng, "Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems," Proc. of the International Computer Symposium, (ICS'2002, NDHU, Taiwan), December 2002.
- T.-Y. Lee, P.-A. Hsiung, I-Mu Wu, and Feng-Shi Su "ESSP: An Embedded Software Synthesis and Prototyping Methodology ," Proc. of the International Computer Symposium, (ICS'2002, NDHU, Taiwan), December 2002.
- P.-A. Hsiung, T.-Y. Lee, and F.-S. Su, " Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling," Proc. of the 9th Asia-Pacific Software Engineering Conference (APSEC'2002, Queensland, Australia), IEEE CS Press, December 2002.
- T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, "TCN: Scalable Hierarchical Hypercubes," Proc. of the 2002 International Conference on Parallel and Distributed Systems (ICPADS'2002, NCU, Taiwan), pp. 11-16, December 2002.
- P.-A. Hsiung, W.-B. See, and T.-Y. Lee, " An Object-Oriented Application Framework for Verifiable Embedded Real-Time Software," Proc. of the 13th Workshop on Object-Oriented Technology and Applications (OOTSIG'2002, Taichung, Taiwan), pp. 273-280, September 2002.
- W.-B. See, P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, "Verification of Embedded Object-Oriented Software," Proc. of the 13th Workshop on Object-Oriented Technology and Applications (OOTSIG'2002, Taichung, Taiwan), pp. 281-284, September 2002.
- P.-A. Hsiung, S.-Y. Cheng, and T.-Y. Lee, "Compositional Verification of Synchronous Real-Time Embedded Systems, " Proc. of the 2002 VLSI Design / CAD Symposium (VLSI'02, Taitung, Taiwan), pp. 187-190, August 2002.
- W.-B. See, P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, "Modular Mobile Dispatching System (MMDS) and Logistics," Proc. of the 2002 Annual Conference on National Defense Integrated Logistics Support (ILS, Taipei, Taiwan), pp. 365-371, August 2002.
- W.-B. See, P.-A. Hsiung, and S.-J. Chen, "Tunable Embedded System Development Platform," Proc. of the 2002 VLSI Design / CAD Symposium (VLSI'02, Taitung, Taiwan), pp. 532-535, August 2002.
- F.-S. Su and P.-A. Hsiung, "Extended Quasi-Static Scheduling
for Formal Synthesis and Code Generation of Embedded Software," Proc.
of the 10th IEEE/ACM International Symposium on Hardware/Software
Codesign (CODES'02, Colorado, USA), pp. 211-216, ACM Press, May
2002.
- P.-A. Hsiung, T.-Y. Lee, W.-B. See, J.-M. Fu, and S.-J. Chen,
"
VERTAF: An Object-Oriented Application Framework for Embedded Real-Time
Systems," Proc. of
the 5th IEEE International Symposium on Object-Oriented Real-Time
Distributed Computing (ISORC'2002, Washington, D.C., USA), pp.
322-329, IEEE Computer Society Press, April 29-May 1, 2002.
- P.-A. Hsiung and C.-H. Gau, " Formal
Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of
Colored Time Petri Nets," Proc.
of the Workshop on Theory and Practice of Timed Systems
(TPTS'2002, Grenoble, France), Electronic Notes in Theoretical
Computer Science (ENTCS), April 2002.
- C.-H. Gau and P.-A. Hsiung, " Time-Memory Scheduling and Code Generation of Real-Time Embedded Software ," Proc. of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA'02, Tokyo, Japan), pp. 19-27, March 2002.
- F. Wang and P.-A. Hsiung, "
Efficient and User-Friendly Verification," IEEE Transactions on Computers
, Vol. 51, No. 1, pp. 61-83, January 2002.
- W.-B. See, S.-J. Chen, P.-A. Hsiung, and T.-Y. Lee, "Tunable Embedded Software Development Platform," Proc. of the National Computer Symposium (NCS'01, Taiwan), Workshop on Database and Software Engineering, pp. G110-G116, December 2001.
- P.-A. Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, and
Sao-Jie Chen, "
Formal Verification of Embedded Real-Time Software in Component-Based
Application Frameworks," Proc. 8th Asia-Pacific
Software Engineering Conference (APSEC'01) , (Macau SAR, China),
pp. 71-78, IEEE CS Press, December 4-7, 2001 (acceptance rate for
regular papers: 44/145 = 30%).
- P.-A. Hsiung, "Formal Synthesis and Control of Soft Embedded Real-Time Systems," Proc. 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE'01, (Cheju Island, Korea), pp. 35-50, Kluwer Academic Publishers, August 28-31, 2001.
- P.-A. Hsiung, Feng-Shi Su, Chuen-Hau Gau, Shu-Yu Jeng, and
Yu-Ming Chang, " Verifiable
Embedded Real-Time Application Framework, " Proc. IEEE International Real-Time
Technology and Applications Symposium (RTAS'01), Work-In-Progress
Session, (Taipei, Taiwan), pp. 109-110, IEEE Computer Society Press,
May 30-June 1, 2001.
- P.-A. Hsiung, " Formal
Synthesis and Code Generation of Embedded Real-Time Software, " Proc. 9th ACM/IEEE
International Symposium on Hardware/Software Codesign, CODES'01,
(Copenhagen, Denmark), ACM Press, pp. 208-213, April 25-27, 2001.
(acceptance rate for regular papers: 23/83 = 27.7%)
Workshops Previously Organized by me:
- 2000 International Workshop on Distributed System Validation and Verification (DSVV'2000), held in conjunction with ICDCS'2000, April 10-13, 2000, Taipei, Taiwan, R.O.C.
- 1999 International Workshop on Real-Time Constraints (RTC'99), held in conjunction with CP'99, October 11-15, 1999, Alexandra, Virginia, USA.
- Special Session on Hardware-Software Codesign of Parallel and Distributed Systems, held at PDPTA'99, June 28-July 1, 1999, Las Vegas, Nevada, USA.
Browsers Supported: MSIE-5.5, MSIE-6.0, and Netscape-6.0 ONLY!!!
Dynamic Object Model (DOM) Support Required!!!
If you do not see any menu after the page loads completely, please click here.
40825 visits since June 20, 1997.