Talk Date | Talk Title (Slides File Format, Size) | Event | Occasion and Location |
---|---|---|---|
December 10, 2010 | A Self-Adaptable Hardware-Software System Architecture for Ubiquitous Computing Applications | Invited Talk | National Taipei University of Technology, Department of Electronic Engineering, Taipei, Taiwan |
May 11, 2010 | Reconfigurable Network-on-Chip | Invited Talk | National Tai-Tung University, Department of Computer Science and Information Engineering, Taitung, Taiwan |
April 20, 2010 | Reconfigurable Computing | Invited Talk | Feng Chia University, Department of Computer Science and Information Engineering, Taichung, Taiwan |
November 5, 2009 | Reconfigurable Computing | Invited Talk | National Taipei University of Technology, Department of Electronic Engineering, Taipei, Taiwan |
May 16, 2009 | Low Power Scheduling for Embedded Systems using Real-Time Petri Nets | Invited Talk | Artificial Intelligence Forum, Taipei, Taiwan |
December 17, 2008 | Model Checking Safety-Critical Systems using Safecharts | Invited Talk | National Taiwan Normal University (NTNU 國立台灣師範大學), Department of Computer Science and Information Engineering, Taipei, Taiwan |
November 25, 2008 | Reconfigurable System Design using FPGA | Invited Talk | Kun Shan University, (KSU 昆山科大), Department of Electronic Engineering, Tainan, Taiwan |
November 24, 2008 | Reconfigurable System Design using FPGA | Invited Talk | National Taiwan University of Science and Technology, (NTUST 國立台灣科技大學), Department of Electronics Engineering, Taipei, Taiwan |
November 7, 2008 | Application of RFID Technology to Special Education (II) | Invited Talk | National Chiayi School of Special Education, (國立嘉義啟智學校), Chiayi, Taiwan |
November 5, 2008 | Application of RFID Technology to Special Education (I) | Invited Talk | National Chiayi School of Special Education, (國立嘉義啟智學校), Chiayi, Taiwan |
September 4, 2008 | Formal Verification (Part II) | Invited Talk | National Taichung University, (NTCU 國立台中教育大學), Department of Computer and Information Science, Taichung, Taiwan |
August 28, 2008 | Formal Verification (Part I) | Invited Talk | National Taichung University, (NTCU 國立台中教育大學), Department of Computer and Information Science, Taichung, Taiwan |
July 16, 2008 | Synchronous Distance Learning Techniques | Invited Talk | Workshop on Distance Learning Course Design and Certification, E-Learning Center, National Chung Cheng University, Chiayi, Taiwan |
July 7, 2008 | Computer Science and Engineering | Invited Talk | CS Camp, Dept. of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan |
March 3, 2008 | Modeling and Formal Analysis of Safety-Critical Systems using Extended Safecharts | Invited Talk | The 4th Taiwanese-French Conference on Information Technology, (TFIT), Taipei, Taiwan |
January 18, 2008 | VERTAF: Verifiable Embedded Real-Time Application Framework | Invited Talk | Tung-Hai University, (THU 東海大學), Department of Computer Science and Information Engineering, Taichung, Taiwan |
November 30, 2007 | Reconfigurable System Design and Verification | Invited Seminar Talk | National Pingtung Institute of Commerce, (NPIC 國立屏東商業技術學院), Department of Information Technology, Pingtung, Taiwan |
October 22, 2007 | Reconfigurable System Design and Verification | Invited Seminar Talk | National Taiwan University of Science and Technology, (NTUST 台科大), Department of Electronics Engineering, Taipei, Taiwan |
September 28, 2007 | Embedded Operating System Design for SIMD Processors | Invited Tutorial | IEEE SOC Conference, ((SOCC)), Hsinchu, Taiwan |
June 22, 2007 | Reconfigurable Hardware Design | Invited Seminar Talk | National Changhua University of Education, (NCUE 彰化師大), Department of Electronics Engineering, Changhua, Taiwan |
April 3, 2007 | System-Level Design with SystemC | Invited Talk | National Taiwan University, (NTU 台大), Department of Electrical Engineering, Taipei, Taiwan |
April 18, 2006 | Dynamically Reconfigurable Hardware-Software Systems | Invited Seminar Talk | National Changhua University of Education, (NCUE 彰化師大), Department of Computer Science and Information Engineering, Changhua, Taiwan |
March 28, 2006 | Dynamically Reconfigurable Hardware-Software Systems | Invited Seminar Talk | Chaoyang University of Technology, (CYUT 朝陽科大), Department of Computer Science and Information Engineering, Taichung, Taiwan |
March 10, 2006 | Hardware-Software Co-Design Techniques for Reconfigurable Systems | Invited Seminar Talk | National Sun-Yat Sen University, (NSYSU 中山大學), Department of Computer Science and Engineering, Kaohsiung, Taiwan |
March 4,5,18,19, 2006 | Embedded Software Design | Invited 24-hours Tutorial Course | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Hsinchu, Taiwan |
January 7,8,21,22, 2006 | Embedded Software Design | Invited 24-hours Tutorial Course | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Hsinchu, Taiwan |
December 2, 2005 | Case Studies on Software Failures | Invited Talk | Software Engineering and Quality Workshop, Southern Taiwan University of Technology, (STUT 南台科大), Department of Computer Science and Information Engineering, Tainan, Taiwan |
November 16, 2005 | Hardware-Software Codesign of Dynamically Reconfigurable Systems | Invited Seminar Talk | National Taipei University of Technology, (NTUT 台北科大), Department of Electronic Engineering, Taipei, Taiwan |
November 4, 2005 | Dynamically Reconfigurable System-on-Chip Hardware-Software Codesign | Invited Seminar Talk | National Taiwan University, (NTU 台大), Department of Computer Science and Information Engineering, Taipei, Taiwan |
September 28, 2005 | Hardware-Software Codesign of Dynamically Reconfigurable System-on-Chip | Invited Seminar Talk | Fu-Jen University, (FJU 輔大), Department of Electronic Engineering, Taipei, Taiwan |
June 18,19 and July 2,3, 2005 | Embedded Software Design | Invited 30-hours Tutorial Course | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Hsinchu, Taiwan |
January 7, 2005 | Digital Camera Chipset Design and Verification | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
December 31, 2004 | Reconfigurable System-on-Chip Design | Invited Talk | SoC Design Workshop, Institute of Applied Electronic Technology, (NTNU 師大), Taipei, Taiwan |
September 30, 2004 | Automatic Synthesis and Verification of Real-Time Embedded Software | Invited Talk | National Hu-Wei University of Science and Technology, (NHWUST 虎尾科大), Hu-Wei, Taiwan |
June 29, 2004 | Design and Verification of Digital Camera SoC | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
May 25, 2004 | A Formal Verification Platform for SoC | Invited Seminar Talk | National Chiao-Tung University, (NCTU 交大), Department of Computer and Information Science, Hsinchu, Taiwan, ROC |
April 14, 2004 | Framework-based Formal Design and Verification of Real-Time Embedded Software | Invited Talk | 1st French-Taiwanese Workshop on Information Technology, L'ecole Polytechnique, Paris, France |
February 29, 2004 | Introduction to Hardware-Software Co-verification | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
January 31, February 7, February 28, 2004 | System-on-Chip Verification | Invited Three-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
January 10, 2004 | System-on-Chip Design | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
October 31, 2003 | A Formal Verification Platform for SoC | Invited Talk | Emerging Information Technology Conference, (EITC), SoC session, Friend Center, Princeton University, Princeton, New Jersey, USA |
August 4, 5, 2003 | Wireless Software Validation and Verification | 6-hour Tutorial | Center for Telecommunication Research, (CTR), Naional Chung Cheng University, Taiwan |
March 28, 2003 | Embedded Software Design | Invited 4-hour Tutorial | Tecom Company Ltd., (TECOM), Hsin-Chu, Taiwan |
February 25, 2003 | Co-design Models, Architectures, and Specification Languages | Invited 3-hour Lecture | National Taiwan University, Dept. of Electrical Engineering, (NTU-EE), Taipei, Taiwan |
February 21, 2003 | Embedded Software Design | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
February 20, 2003 | Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines | Paper Presentation | 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA'03), Tainan, Taiwan |
October 4, 2002 | Hardware-Software Co-design | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
September 27, 2002 | Embedded System Design | Invited Full-Day Tutorial | Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan |
May 22, 2002 | Formal Methods for Real-Time Embedded Software Engineering (PPT, 2,963 KB) | Invited Graduate Seminar Talk | National Tsing-Hua University, Dept of Computer Science, (NTHU-CS 清大資工), Hsin-Chu, Taiwan |
April 30, 2002 | VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems (PPT, 265 KB) | Paper Presentation | 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'02), Washington D.C., USA |
April 26, 2002 | Automatic Synthesis and Code Generation of Real-Time Embedded Software (PPT, 2,800 KB) | Invited Graduate Seminar Talk | National Cheng-Kung University, Dept of Electrical Engineering, (NCKU-EE 成大電機), Tainan, Taiwan |
March 25, 2002 | SoC Verification (PPT, 1,087 KB) | Invited SoC Lecture | National Taiwan University, Dept of Electrical Engineering, (NTU-EE 台大電機), SoC Course, Taipei, Taiwan |
March 18, 2002 | Time-Memory Scheduling and Code Generation of Real-Time Embedded Software (PPT, 596 KB) | Paper Presentation | 8th International Conference on Real-Time Computing Systems and Applications (RTCSA'02), Tokyo, Japan |
March 13, 2002 | Real-Time Embedded Software Synthesis (PPT, 2,651 KB) | Invited Graduate Seminar Talk | Da-Yeh University, Department of Electrical Engineering (DYU-EE 大葉電機), Chang-Hua, Taiwan |
January 26, 2002 | Current Research Work (PPT, 49 KB) | Invited Talk | Annual Meeting, (IICM, ACM Taipei Chapter), 2002, NTU-CC, Taipei, Taiwan |
December 4, 2001 | Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks (PPT, 259 KB) | Paper Presentation | Asia-Pacific Software Engineering Conference (APSEC), 2001, Macau, China |
November 29, 2001 | Real-Time Embedded Software Synthesis (PPT, 2,651 KB) | Invited Graduate Seminar Talk | Chung Cheng Institute of Technology (CCIT), National Defense University, Taiwan |
August 28, 2001 | Formal Synthesis and Control of Soft Embedded Real-Time Systems (PPT, 195 KB) | Paper Presentation | 21st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2001, Cheju Island, Korea |
May 30, 2001 | Verifiable Embedded Real-Time Application Framework (PPT, 212 KB) | Paper Presentation | Real-Time Technology and Applications Symposium (RTAS), 2001, Taipei, Taiwan |
April 25, 2001 | Formal Synthesis and Code Generation of Embedded Real-Time Software (PPT, 211 KB) | Paper Presentation | 9th ACM/IEEE International Symposium on Hardware-Software Codesign (CODES), 2001, Copenhagen, Denmark |