[an error occurred while processing this directive]
Pao-Ann Hsiung's Year 2002 Publications
(For ABSTRACTS: click on paper titles,
For FULL PAPERS: click on PDF icons)
NOTICE:
All articles downloadable from this page are
COPYRIGHTED
materials of the respective organizations and persons! Anyone downloading
them must do so only for their
PERSONAL STUDY
and abide by the copyrights thereof!
International Journal Papers
- F. Wang and P.-A. Hsiung,
"
Efficient and User-Friendly Verification,"
IEEE Transactions on Computers
, Vol. 51, No. 1, pp. 61-83, January 2002.
Books and Chapters
- P.-A. Hsiung,
" Real-Time
Constraints,"
Encyclopedia of Computer Science and Technology,
Allen Kent and James G. Williams, Editors,
Volume 45 - Supplement 30, (ISBN: 0-8247-2298-1)
pp. 285-309,
Marcel Dekker, Inc.,
New York, USA, 2002.
International Conferences
- 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
- 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, 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),
Vol. 65, No. 6, pp. 1-20, Elsevier, 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 18-20, 2002.
Local Conferences
- 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.
Last Updated: September 21, 2002.