Famous Quotes

• P.-A. Hsiung, S.-W. Lin, and C.-S. Lin, "Real-Time Embedded Software Design for Mobile and Ubiquitous Systems," Journal of Signal Processing Systems (JSPS), Springer, accepted for publication (September 2008) (SCI journal).
• P.-A. Hsiung, C.-S. Lin, and C.-F. Liao, "Perfecto: A SystemC-based Design Space Exploration Framework for Dynamically Reconfigurable Architectures," ACM Transactions on Reconfigurable Technology and Systems (TRETS), accepted for publication (July 2008).
• C.-H. Huang and P.-A. Hsiung, "UML-Based Hardware/Software Co-Design for Partially Reconfigurable Systems," Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference (ACSAC), August 2008 (accepted for presentation).

• J.-S. Sheng, P.-A. Hsiung, and K.-C. Chang, "A Novel Spatio-Temporal Adaptive Bus Encoding for Reducing Crosstalk Interferences with Trade-Offs Between Performance and Reliability," Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference (ACSAC), August 2008 (accepted for presentation).

• 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)

• 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).

• 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).

• K.-J. Shih, C.-C. Hung, and P.-A. Hsiung, "Reconfigurable Hardware Module Sequencer - A Tradeoff Between Networked and Data Flow Architectures," Proceedings of the IEEE International Conference on Field-Programmable Technology (ICFPT'07, Japan), pp. 237-240, December 2007.

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

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

• P.-A. Hsiung, P.-H. Lu, 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), pp. 87-92, ACM Press, September 2007. (Acceptance Rate: 40/127 = 31%)

• 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)

• K.-J. Shih and P.-A. Hsiung, "Reconfigurable Computing Technologies Overview," Encyclopedia of Information Science and Technology, 2nd ed., IGI Global, USA, 2007. (accepted for publication)

• 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. (Acceptance Rate = 33/136 = 24.26%)

• 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), pp. 165-170, IEEE CS Press, August 2007. (Acceptance Rate: 67/302 = 23%)

• C.-H. Huang, K.-J. Shih, C.-S. Lin, S.-S. Chang, and P.-A. Hsiung, "Dynamically Swappable Hardware Design in Partially Reconfigurable Systems," Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS, New Orleans, USA), pp. 2742-2745, IEEE Press, May 2007 (invited as regular paper).

• P.-A. Hsiung, Y.-R. Chen, and Y.-H. Lin, " Model Checking Safety-Critical Systems using Safecharts," IEEE Transactions on Computers, Vol. 56, No. 5, pp. 692-705, May 2007.

• 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).

• Y.-R. Chen and P.-A. Hsiung, "Automatic Failure Analysis using Safecharts," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 17, No. 1, pp. 57-78, World Scientific Publishing, Singapore, February 2007.
  (an SEKE'2005 special issue, out of 225 submissions and 115 paper presentations, only 5 papers were published in this special issue)

• C.-H. Huang, S.-S. Chang, and P.-A. Hsiung, "Generic Wrapper Design for Dynamic Swappable Hardware IP in Partially Reconfigurable Systems,"International Journal of Electrical Engineering," Vol. 14, No. 3, pp. 229-238, June 2007. (EI)

Go Top!

---

Reconfigurable Computing and Systems

Perfecto: SystemC-based simulation framework

• P.-A. Hsiung, C.-S. Lin, and C.-F. Liao, "Perfecto: A SystemC-based Design Space Exploration Framework for Dynamically Reconfigurable Architectures," ACM Transactions on Reconfigurable Technology and Systems (TRETS), accepted for publication (July 2008).
• P.-A. Hsiung, C.-H. Huang, and C.-F. Liao, "Perfecto: A SystemC-based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems," Proceedings of the 16th IEEE International Conference on Field Programmable Logic and Applications, (FPL'2006, Madrid, Spain), pp. 190-198, IEEE CS Press, August 2006. (Acceptance Rate = 85/307 = 27.7% for full papers)

• C.-F. Liao, "A SystemC Based Performance Evaluation Framework for Dynamically Reconfigurable SoC," Master Thesis, National Chung Cheng University, June 2005.

Reconfigurable Hardware Design and Scheduling

• C.-H. Huang, S.-S. Chang, and P.-A. Hsiung, "Generic Wrapper Design for Dynamic Swappable Hardware IP in Partially Reconfigurable Systems," Proceedings of the VLSI Design / CAD Symposium, August 2006.

• 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, 2006.

• 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), Lecture Notes in Computer Science (LNCS), Vol. 3824, pp. 489-498, Springer Verlag, December 2005.

• Y.-H. Chen, "Hardware Scheduling and Placement in Operating Systems for Reconfigurable SoC," Master Thesis, National Chung Cheng University, June 2005.

UML-based Design Flow

• 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), Lecture Notes in Computer Science (LNCS), Vol. 3824, pp. 479-488, Springer Verlag, December 2005.

• C.-H. Tseng and P.-A. Hsiung, "A UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Systems," Proceedings of the 3rd International DAC Workshop, UML for SoC Design (UML-SOC'2006, San Franciso, CA, USA), July 2006.

• C.-H. Tseng, "UML-Based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems," Master Thesis, National Chung Cheng University, June 2005.

Embedded and Real-Time Software and Systems

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

• T.-Y. Lee and P.-A. Hsiung, " Embedded Software Synthesis and Prototyping," IEEE Transactions on Consumer Electronics, Vol. 50, No. 1, pp. 386-392, February 2004.

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

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

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

• J.-Y. Chien, C.-Y. Wu, K.-H. Lin, P.-A. Hsiung, "RFID-based Automatic Airport Baggage Handling System," Proceedings of the International Computer Symposium, (ICS), Volume 1, pp. 62-67, December 2006.

Formal Modeling and Verification

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

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

• 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, IEEE Computer Society Press, August 2005.

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

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

Go Top!

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