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