[an error occurred while processing this directive] 

Pao-Ann Hsiung's Publications on Real-Time Systems

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

  1. S.-H. Yang and P.-A. Hsiung, "Using RFID in Real-Time Services for Special Education Schools," IEEE IT Professional, IEEE Press, 2010 (accepted for publication).
  2. K.-J. Shih, C.-C. Hung, and P.-A. Hsiung, "Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems," International Journal of Electrical Engineering (IJEE), Vol. 15, No. 2, pp. 87-96, April 2008. (invited for publication in this VLSI Design/CAD Symposium 2007 special issue) (EI)

  3. P.-A. Hsiung, C.-H. Huang, and Y.-H. Chen, "Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC," Journal of Embedded Computing (JEC), to appear, IOS Press, The Netherlands, 2008 (to be published). (an EUC'2005 special issue, out of 376 submissions and 114 paper presentations, only 7 papers were invited for publication in this special issue)

  4. C.-H. Huang and P.-A. Hsiung, "Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems," EURASIP Journal on Embedded Systems, Special Issue on Reconfigurable Computing and Hardware-Software Codesign, Volume 2008, Article ID 231940, 2008. (doi:10.1155/2008/231940).

  5. P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems," Computer Languages, Systems & Structures, Vol. 34, No. 4, pp. 153-169, Elsevier, The Netherlands, December 2008. (SCI journal) (DOI Link)

  6. P.-A. Hsiung and H.-C. Kao, "Device-Centric Low-Power Scheduling for Real-Time Embedded Systems," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 15, No. 2, pp. 461-466, World Scientific Publishing, Singapore, April 2005.

  7. P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "SESAG: An Object-Oriented Application Framework for Real-Time Systems," Software --- Practice and Experience, Vol. 35, No. 10, pp. 899-921, John Wiley & Sons, Ltd., August 2005.

  8. P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "Formal Verification of Real-Time Embedded Software in an Object-Oriented Application Framework," IEE Proceedings --- Computers and Digital Techniques, Vol. 151, No. 6, pp. 417-434, November 2004.

  9. P.-A. Hsiung, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu, and W.-B. See, "VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software," IEEE Transactions on Software Engineering, Vol. 30, No. 10, pp. 656-674, October 2004.

  10. P.-A. Hsiung, " Synthesis and Control of Soft Embedded Real-Time Systems," Annual Review of Communications , International Engineering Consortium , USA, Vol. 57, November 2004.

  11. F. Wang and P.-A. Hsiung, " Efficient and User-Friendly Verification," IEEE Transactions on Computers , Vol. 51, No. 1, pp. 61-83, January 2002.

  12. P.-A. Hsiung, " Embedded Software Verification in Hardware-Software Codesign, " Journal of Systems Architecture --- the Euromicro Journal, Vol. 46, No. 15, pp. 1435 - 1450, Elsevier Science, the Netherlands, December 2000.

  13. J.-M. Fu, T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " Hardware-Software Timing Coverification of Distributed Embedded Systems ," IEICE Transactions on Information and Systems Vol. E83-D, No. 9, pp. 1731 - 1740, September 2000.

  14. P.-A. Hsiung, " Hardware-Software Timing Coverification of Concurrent Embedded Real-Time Systems," IEE Proceedings on Computers and Digital Techniques, Vol. 147, No. 2, pp. 83 - 92, March 2000.

  15. Books and Chapters

  16. P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems," in Handbook on Mobile and Ubiquitous Computing Innovations and Perspectives, American Scientific Publishers, USA, 2007 (accepted for publication).

  17. P.-A. Hsiung, " Real-Time Constraints," Encyclopedia of Computer Science and Technology, Volume 45 - Supplement 30, (ISBN: 0-8247-2298-1) Allen Kent and James G. Williams, Editors, Marcel Dekker, Inc., New York, USA, December 2001. (Article Invited in May 2000).

  18. P.-A. Hsiung, Program Chair, Proc. of the International Workshop on Distributed System Validation and Verification (DSVV'2000, Taipei, Taiwan, ROC), April 2000.

  19. P.-A. Hsiung and F. Wang, Editors, Proc. of the International Workshop on Real-Time Constraints (RTC'99, Alexandria, Virginia, USA), October 1999.

  20. International Conference Papers

  21. P.-A. Hsiung and S.-W. Lin, "From ISA to Application Design via RTOS --- A Course Design Framework for Embedded Software," Proceedings of the 1st Asia-Pacific Workshop on Embedded System Education and Research (APESER'07, Hsinchu, Taiwan), December 2007 (accepted for presentation).

  22. P.-A. Hsiung, S.-W. Lin, C.-C. Hung, J.-M. Fu, C.-S. Lin, C.-C. Chiang, K.-C. Chiang, C.-H. Lu, and P.-H. Lu "Real-Time Embedded Software Design for Mobile and Ubiquitous Systems," Proceedings of the IFIP International Conference on Embedded and Ubiquitous Computing (EUC'07, Taipei, Taiwan), Lecture Notes in Computer Science (LNCS) Vol. 4808, pp. 718-729, Springer Verlag, December 2007.

  23. P.-A. Hsiung and C.-W. Liu, "Energy Efficient Hardware-Software Co-scheduling in Dynamically Reconfigurable Systems," Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'2007, Salzburg, Austria), September 2007. (accepted as regular paper for presentation)

  24. Y.-R. Chen, P.-A. Hsiung, S.-J. Chen, "Modeling and Automatic Failure Analysis of Safety-Critical Systems using Extended Safecharts," Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP, Nuremberg, Germany), Lecture Notes in Computer Science (LNCS), Vol. 4680, pp. 451-464, Springer Verlag, September 2007.

  25. P.-A. Hsiung and C.-W. Liu, "Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems," Proceedings of the 17th International Conference on Field Programmable Logic and Applications (FPL'2007, Amsterdam, Netherlands), August 2007. (accepted as regular paper for presentation) (Acceptance Rate: 21%)

  26. Y.-R. Chen, P.-A. Hsiung, S.-J. Chen, "Modeling and Automatic Failure Analysis of Safety-Critical Systems using Extended Safecharts," Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), Nuremberg, Germany, Lecture Notes in Computer Science (LNCS), Springer Verlag, September 2007.

  27. P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Huang, J.-J. Yeh, H.-Y. Su n, C.-S. Lin, and H.-W. Liao, "Model Checking Timed Systems with Urgencies," Proceedings of the 4th International Symposium on Automated Technology fo r Verification and Analysis (ATVA, Beijing, China), LNCS Vol. 4218, pp. 67-81, Springer-Verlag, Octobe r 2006. Acceptance Rate = 35/137 = 25.6% )

  28. C.-H. Tseng and P.-A. Hsiung, "UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems," Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC'2005, Nagasaki, Japan), December 2005 (accepted for presentation).

  29. Y.-H. Chen and P.-A. Hsiung, "Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC," Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC'2005, Nagasaki, Japan), December 2005 (accepted for presentation).

  30. S.-W. Lin, P.-A. Hsiung, C.-H. Huang, and Y.-R. Chen, "Model Checking Prioritized Timed Automata," Proceedings of the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA, Taipei, Taiwan), LNCS Vol. 3707, pp. 370-384, Springer Verlag, October 2005.

  31. P.-A. Hsiung and Y.-H. Lin, "Modeling and Verification of Safety-Critical Systems using Safecharts, " Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, (FORTE, Taipei, Taiwan ), LNCS Vol. 3731, pp. 290-304, Springer-Verlag, October 2005.

  32. P.-A. Hsiung and S.-W. Lin, "Model Checking Timed Systems with Priorities," Proceedings of the International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA, Hong-Kong, China), pp. 539-544, August 2005.

  33. P.-A. Hsiung and H.-C. Kao, "Device-Centric Low-Power Scheduling for Real-Time Embedded Systems," Proceedings of the International Embedded and Hybrid Systems Conference (IEHSC, Singapore), May 2005. (also appeared in a Special issue of the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 15, No. 2, pp. 461-466, World Scientific, April 2005.).

  34. T.-C. Lee and P.-A. Hsiung, "Mutation Coverage Estimation for Model Checking," Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA, Taipei, Taiwan), LNCS Vol. 3299, pp. 354-368, Springer Verlag, October 2004.

  35. P.-A. Hsiung and S.-W. Lin, "Formal Design and Verification of Real-Time Embedded Software," Proceedings of the 2nd Asian Symposium on Programming Languages and Systems (APLAS, Taipei, Taiwan), LNCS Vol. 3302, pp. 382-397, Springer Verlag, November 2004 (accepted for presentation, acceptance rate = 26/97 = 26.8%).

  36. P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software," Proceedings of the International Conference on Embedded and Ubiquitous Computing, LNCS, Vol. 3207, pp. 12-21, Springer Verlag, (EUC'2004, Aizu-Wakamatsu, Japan), August 2004. (accepted for presentation)

  37. T.-Y. Lee, P.-A. Hsiung, I.-M. Wu, C.-C. Tsai, and W.-T. Lee, " The Design of a Synthesis Tool for Interrupt-based Real-Time Embedded Software," Proc. of the 2003 International Conference on Informatics, Cybernetics, and Systems (ICICS 2003), December 2003.

  38. W.-S. Liao and P.-A. Hsiung, " Creating a Formal Verification Platform for IBM CoreConnect-based SoC ," Proc. of the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA 2003), pp. 7-18, December 2003.

  39. P.-A. Hsiung and C.-Y. Lin, " Synthesis of Real-Time Embedded Software with Local and Global Deadlines ," Proc. of the IEEE/ACM International Symposium on Hardware-Software Codesign and System Synthesis (CODES-ISSS 2003), pp. 114-119, ACM Press, California, USA, October 2003 (acceptance rate = 30/143 = 21%).

  40. W.-B. See, P.-A. Hsiung, and S.-J. Chen, " An Affordable Dispatching System for Logistic Applications," 6th Asia-Pacific Intelligent Transportation Systems Forum, pp. 283, Taipei, Taiwan, October 2003.

  41. 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), pp. 196-199, October 2003.

  42. 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), LNCS Vol. 1968, pp. 229-243, Springer-Verlag, February 2003.

  43. 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), LNCS Vol. 1968, pp. 529-544, Springer-Verlag, February 2003.

  44. 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), LNCS Vol. 1968, pp. 545-557, Springer-Verlag, February 2003.

  45. 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), pp. 249-254, IEEE CS Press, January 2003.

  46. 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), pp. 579-584, IEEE CS Press, January 2003.

  47. 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.

  48. 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.

  49. 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.

  50. 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.

  51. 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.

  52. 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), IEEE CS Press, December 4-7, 2001 (accepted for presentation, acceptance rate for regular papers: 44/145 = 30%).

  53. 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 2001.

  54. 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 2001.

  55. P.-A. Hsiung, " Formal Synthesis and Code Generation of Embedded Real-Time Software, " Proc. International Symposium on Hardware/Software Codesign (CODES'01), (Copenhagen, Denmark), pp. 208-213, ACM Press, New York, USA, April 2001

  56. P.-A. Hsiung, F. Wang, R.-C. Chen, " On the Verification of Wireless Transaction Protocol Using SGM and RED ," Proc. the 7th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA'00, Korea), pp. 379-383, IEEE Computer Society Press, USA, December 2000.

  57. P.-A. Hsiung, " Synthesis of Parametric Embedded Real-Time Software, " Proc. International Computer Symposium (ICS'00), Workshop on Computer Architecture, pp. 144-151, (Chiayi, Taiwan), ISBN 957-02-7308-9, December 2000.

  58. P.-A. Hsiung, " Concurrent Embedded Real-Time Software Verification," Proc. the 24th IEEE Computer Society International Computer Software and Applications Conference (COMPSAC'00, Taipei), pp. 516-521, IEEE Computer Society Press, USA, October 2000.

  59. J.-M. Fu, W.-B. See, P.-A. Hsiung, J.-M. Chao, and S.-J. Chen, " A Java-Based Distributed System Framework for Real-Time Development ," Proc. of the International Workshop on Distributed Real-Time Systems (IWDRS'2000, Taipei, Taiwan, ROC), pp. B-31 - B-36, April 2000.

  60. P.-A. Hsiung, F. Wang, and Y. S. Kuo, " Verification of Concurrent Client-Server Real-Time Scheduling Systems, " Proc. the 6th International Conference on Real-Time Computing Systems and Applications, (RTCSA'99, Hong Kong), pp. 228 - 235, IEEE Computer Society Press, USA, December 1999.

  61. P.-A. Hsiung and F. Wang, " User Friendly Verification," Proc. 1999 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques For Distributed Systems and Communication Protocols & Protocol Specification, Testing, And Verification, (FORTE/PSTV '99) Beijing, China, pp. 279-294, October 1999.

  62. P.-A. Hsiung and F. Wang, "State Graph Manipulators," In Proc. of the International Workshop on Real-Time Constraints, (RTC'99, Alexandria, Virginia, USA), pp. 40 - 52, October 1999.

  63. T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " A Case Study in Codesign of Distributed Systems -- Vehicle Parking Management System , " Proc. the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), CSREA Press, USA, Vol. VI, pp. 2982-2987, June 1999.

  64. P.-A. Hsiung, " Hardware-Software Coverification of Concurrent Embedded Real-Time Systems , " Proc. the 11th Euromicro Conference on Real-Time Systems (ECRTS'99, York, England), pp. 216-223, IEEE CS Press, June 1999.

  65. P.-A. Hsiung, " Timing Coverification of Concurrent Embedded Real-Time Systems, " Proc. the 7th IEEE/ACM International Workshop on Hardware-Software Codesign (CODES'99, Rome, Italy), pp. 110-114, ACM Press, New York, USA, May 1999.

  66. P.-A. Hsiung, F. Wang, and Y. S. Kuo, " Scheduling System Verification, " Proc. the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS'99), Lecture Notes in Computer Science (LNCS), Vol. 1579, pp. 19-33, Amsterdam, the Netherlands, March 1999.

  67. F. Wang and P.-A. Hsiung, " Automatic Verification on the Large, " Proc. 3rd IEEE High-Assurance Systems Engineering Symposium (HASE'98), IEEE CS Press, pp. 134-141, Washington D.C., USA, November 1998, (invited paper).

  68. P.-A. Hsiung and F. Wang, " A State Graph Manipulator Tool for Real-Time System Specification and Verification ," Proc. 4th International Conference on Real-Time Computing Systems and Applications (RTCSA'98), IEEE Computer Society Press, pp. 181-188, Hiroshima, Japan, October 1998.

  69. P.-A. Hsiung, " Object-Oriented Application Framework Design for Real-Time Systems ," Proc. 4th International Symposium on Real-Time and Media Systems (RAMS'98), pp. 221-227, Taipei, Taiwan, September 1998.

  70. P.-A. Hsiung, " RTFrame: An Object-Oriented Application Framework for Real-Time Applications ," Proc. 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'98), pp. 138-147, IEEE Computer Society Press, Beijing, China, September 1998.

  71. F. Wang and P.-A. Hsiung, " Parametric Analysis of Computer Systems," Proc. 6th International AMAST Conference, Lecture Notes in Computer Science (LNCS) Vol. 1349, pp. 539-553, Springer-Verlag, Sidney, Australia, December 1997.

  72. Local Conference Papers

  73. P.-A. Hsiung and S.-W. Lin, "Verifiable Embedded Real-Time Application Framework," Proceedings of the Workshop on Open-Source Technology and Applications (Taipei, Taiwan), November 2007 (invited for presentation).

  74. P.-A. Hsiung, "Real-Time Embedded Software Engineering," Proceedings of the 1st Taiwan Software Engineering Conference (TSEC'2005), pp. 347-352, June 2004.

  75. H.-C. Kao, P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "A UML-Based Synthesis and Verification Framework for Real-Time Embedded Software," Proc. of the 14th Workshop on Object-Oriented Technology and Applications, pp. 25-32, September 2003.

  76. T.-Y. Lee, I.-M. Wu, P.-A. Hsiung, C.-P. Chang, C.-C. Tsai, and W.-T. Lee, "Design of a Software Synthesis Tool for Real-Time Embedded Systems, " Proc. of the 14th Workshop on Object-Oriented Technology and Applications, pp. 609-616, September 2003.

  77. W.-B. See, C.-W. Yang, P.-A. Hsiung, and S.-J. Chen, "Multiple-Protocol Mobile Data Terminal for Logistic Dispatching Applications," Proc. of the 2003 Annual Conference of the National Defense Integrated Logistic Support, October 2003. NEW!!!

  78. W.-S. Liao and P.-A. Hsiung, " Modeling Hardware Systems with Complex Clock Synchronizations in the SGM Formal Verifier", Proc. of the VLSI Design / CAD Symposium, pp. 177-180, Hwalien, Taiwan, August 2003.

  79. 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.

  80. 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-184, September 2002.

  81. 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.

  82. 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.

  83. 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.

  84. P.-A. Hsiung, " Object-Oriented Technology Transfer to Hardware-Software Codesign of Embedded Real-Time Systems," Proc. of the 11th OOTSIG Workshop on Object-Oriented Technology and Applications (THU, Taiwan), pp. C-14 - C-21, September 2000.

  85. S.-K. Huang, P.-A. Hsiung, F. Wang, Y.-S. Kuo, S.-C. Pan, " Verification of Object-Oriented Real-Time Scheduling Systems, " Proc. of the 10th OOTSIG Workshop on Object-Oriented Technology and Applications, NCTU, Taiwan, pp. 112-117, October 1999.

  86. P.-A. Hsiung, " Formalizing Hardware-Software Codesign Space Exploration, " Proc. 10th VLSI/CAD Symposium (VLSI/CAD'99), pp. 19-22, Nantou, Taiwan, R.O.C., August 1999.

  87. Others (Technical Reports, ...)

  88. P.-A. Hsiung, F. Wang, and Y.-S. Kuo, " Scheduling System Verification ," Technical Report TR-IIS-98-014, Insitute of Information Science, Academia Sinica, Taiwan, 1998.
    [Gzipped Postscript file of full report (tr98014.ps.gz, 107K)]

  89. F. Wang and P.-A. Hsiung, " Iterative Refinement and Condensation for State-Graph Construction ," Technical Report TR-IIS-98-009, Insitute of Information Science, Academia Sinica, Taiwan, 1998.
    [Gzipped Postscript file of full report (tr98009.ps.gz, 121K)]

  90. F. Wang and P.-A. Hsiung, " Parametric Analysis of Computer Systems," Technical Report TR-IIS-97-010, Insitute of Information Science, Academia Sinica, Taiwan, 1997.
    [Gzipped Postscript file of full report (tr97010.ps.gz, 149K)]


Last Updated: October 13, 2007.