Embedded Systems Lab
EA501B, 168, University Rd., Min-Hsiung Chia-Yi, Taiwan, R.O.C. | +886-5-2720411 ext. 33132


Pao-Ann Hsiung

Dr. Pao-Ann Hsiung, IETF

Dean of International Affairs

Professor, Department of Computer Science and Information Engineering

National Chung Cheng University, Chiayi, TAIWAN-62102.

Tel: +886-5-2720411 ext. 17600



Current Students


Darmawan Utomo PhD

Thanh Dao PhD

Grade 106

林伯儒 master

林育聖 master

李冠宏 master

Grade 107

簡毅 master

張譯予 master

蕭諭謙 master

林岑叡 master

陶氏松 master

Cloud Computing and IoT E-Learning Master Students

Year of
Lab Entry
Name Research Topic E-mail Address
2014 蔡承旻
Tsai, Cheng-Min
Huang, Chung-Ing
Hsu, Chi-Yang
Tsai, Han-Chun
Yang, Chia-Ling
Chang, Chih-Hao
Tseng, Kwan-Ping
Lin, Pan-Yin
Lai, Chien-Hung
Liao, Hsiao-Yun
Chang, Wei-Kai
Guo, Yeh-Fu
Chen, Sih-Yu
Lu, Bo-Wei
Chuang, Chun-Hung
Huang, Tien-Wei
Yu, Ya-Hsuan
Cheng, Ya-Huei
Chiang, Cheng-Yu

Graduated PhD Students

# Graduated Year Name Dissertation Title E-mail AddressCurrent Position
8 2016

Chao, Hung-Lin
Model Predictive Optimization for Smart Grid Design In Military
7 2016

Lu, Chun-Hsien
Landslide Prediction -- A Cyber-Physical System Design Andes Technology
6 2014
林豐勝 (志勝)

Lin, Feng-Hseng (Chih-Hseng)
Application Synthesis and Optimization on Heterogeneous Parallel Processing Systems Institute for Information Industry (III)
5 2014

Lin, Chao-Sheng
Model-Driven Framework for Multicore Software Development N/A
4 2013

Shen, Jih-Sheng
Learning-based Reconfiguration of Network-on-Chip for Varying Processing Requirements MediaTek
3 2013

Shih, Kai-Jung
Application Acceleration in Dynamically Partially Reconfigurable System Infrastructure Private Company
2 2011

Huang, Chun-Hsian
Model-Based Platform-Specific Co-Design Methodology for Dynamically Partially Reconfigurable Systems with Hardware Virtualization and Preemption Associate Professor,
Dept. of Computer Science and Information Engineering,
National Taitung University
1 2010

Lin, Shang-Wei
Compositional Synthesis of Concurrent Systems through Learning with Counterexample Guidance and Causality Semantics Assistant Professor,
School of Computer Science and Engineering,
Nanyang Technological University, Singapore

Graduated Master Students

# Graduated Year Name Thesis Title E-mail Address
87 2018 胡亮丞
Hu Liang-Cheng
Deep Neural Network-based Landslide Data Reconstruction for Landslide Detection
86 2018 陳偉倫
Chen Wei-Lun
Intersection Crossing for Autonomous Vehicles based on Reinforcement Learning
85 2018 盧德修
Lu Te-Hsiu
Anomaly Prediction in Smart Substation with Deep Learning
84 2018 楊子璿
Yang Tzu-Hsuan
Driver Fatigue Prediction using Heterogeneous Sensor Data with Deep Learning
83 2018 林志樺
Lin Jhih-Hua
Dynamic Estimation of Vehicle Safety Distance under Low Visibility
82 2017 王華欣
Wang Hua-Hsin
Program Trading System of Taiex Futures -- By Strategy of Virtual Trade
81 2017 Hendrik Tampubolon Supervised Deep Learning Based for Traffic Flow Prediction
80 2016林志祥
Lin, Shi-Chan
Application of RFID Technology to Emergency Traffic Signal Design
79 2016林佳靜
Lin, Chia-Ching
Improving Efficiency of Domestic Power Demand by Using Orderly Power Utilization
78 2016李天傑
Lee, Tien-Chieh
Prediction of Electric Power Consumption in Taiwan by Back Propagation Neural Network
77 2016孫景亮
Sun, Jin-Liang
Smart Green Uninterruptible Power System
76 2016買昭雯
Mai, Chao-Wen
PV-based Power Charger for Motorcycle Batteries
75 2016 林志宸
Lin, Chih-Chen
Data Reconstruction for Cyber-Physical Landslide Detection System
74 2016 楊采真
Yang, Tsai-Chen
Model Predictive Optimization for Energy Storage based Smart Grids
73 2016 徐瑋
Hsu, Wei
Urban Traffic Information Prediction using Elmann Neural Network and Traffic Network Models
72 2015 吳宗典
Wu, Tsung-Tien
Software-Defined Network Interface Design Performance and Security Oriented
71 2015 謝珮琪
Hsieh, Pei-Chi
Model Predictive Optimization for Distribution Management in Smart Grid
70 2015 陳佑任
Chen, You-Ren
Dynamic Traffic Light Optimization and Control System using Model-Predictive Control Method
69 2015 吳文豪
Wu, Wen-Hao
Adaptive Timing Optimization for Cyber Physical Signal Control System
68 2015 曾冠維
Tsen, Kuan-Wei
Virtualization Architecture for Application-Oriented Reconfigurable Network-on-Chip System
67 2015 李宣儒
Lee, Hsuan-Ju
Software-Defined Monitoring for High Speed Network Flow Analysis in Network-on-Chip
66 2014 郭惠民
Kuo, Hui-Min
65 2014 吳文義
Wu, Wen-Yi
64 2014 姚瑞隆
Yao, Jui-Lung
SAT-based Verification of Role-based Access Control Systems with Slicing method
63 2014 劉柏廷
Liu, Po-Ting
Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems
62 2014 宋羿謙
Soong, Yi-Chien
Interference-aware Batch Memory Scheduling in Heterogeneous Multicore Architecture
61 2014 王建宇
Wang, Jien-Yu
Elastic Superposition Mapping for Heterogeneous Tasks in Reconfigurable Multicore Architecture
60 2014 蔡鎮州
Tsai, Chen-Chou
Hierarchical Optimization of Smart Grids with Energy Storage Systems - A Model-Predictive Control and Auction-based Method
59 2014 劉炎敦
Liu, Yan-Dun
Smart Photovoltaic Power Generation System Design
58 2013陳彥廷
Chen, Yen-Ting
Workload Partitioning and Scheduling on Heterogeneous Multi-Core Systems
57 2013鄧世孟
Teng, Shih-Meng
Auto-tuning on GPGPU by using Performance and Power Estimation Model
56 2013彭竣陽
Peng, Chun-Yang
Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform Architecture Design
55 2013吳政謙
Wu, Cheng-Chien
FPGA-based High Applicability Reconfigurable FFT Processor for Multi-standard Systems
54 2013廖偉志
Liao, Wei-Chih
A Study on the Use of Miracast Supported Devices for Distance Learning
53 2013柯勇明
Ko, Yung-Ming
UHF Bi-directional Tracking System Design by Integrating GPS and Radar Transponder
52 2013余明逾
Yu, Ming-Yu
Hidden Markov Model-based Bandwidth Selection for Cognitive Network
51 2013陳映妤
Chen, Ying-Yu
RFID-based Roll-Call System Study for Field Trips
50 2012張俊欽
Chang, Chun-Chin
The Research of Radio Frequency Identification Technology for the Family Violence Prevention
49 2012吳佳恩
Wu, Chia-En
A Study on the Critical Success Factors of Initiating Information Security Management System: Take a University in Northern Taiwan as a Sample
48 2012 胡雅苹
Hu, Ya-Ping
Robust Solution Space Prediction and Optimization for Cognitive Radios
47 2012 施俊亦
Shih, Chun-Yi
Communication Bottleneck Analysis for Improving the Performance of Multicore Software
46 2011許惠民
Hsu, Hui-Min
RFID-based Roll-Call System for School Campus
45 2011 王柏軒
Wang, Bo-Hsuan
Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-Core Embedded Systems
44 2011林雨昕
Lin, Yu-Shin
Multi-Objective Exploitation of Pipeline Parallelism using Clustering, Replication, and Duplication in Embedded Multicore Systems
43 2011 何嘉翹
Ho, Chia-Chiao
Dynamic Application Scheduling on Heterogeneous Multi-core Systems
42 2011張逸倫
Chang, Yi-Luen
An Efficient and Robust Solver for Multi-Objective Constraints-Satsifaction Problem in Cognitive Radio Systems
41 2011陳立奇
Chen, Li-Chi
Power Monitoring and Demand Control System Research and Design
40 2010童聖亞
Tung, Hseng-Ya
Dynamic Task Scheduling with Congestion Speculation for Network-on-Chip
39 2010呂世申
Lu, Shih-Shen
Congestion- and Energy-Aware Run-time Task Mapping for Network-on-Chip Architecture
38 2010蘇琬婷
Su, Wan-Ting
Buffer-Stealing Router Design for Improved Communication Efficiency in Network-on-Chip
37 2010潘晟陽
Pan, Shen-Yang
Dynamically Adaptive Arbitration in Network-on-Chip for Streaming Applications
36 2009林為文
Lin, Wei-Wen
Reconfigurable NoC with OS Management
35 2009藍竣廷
Lan, Chun-Ting
Hardware Mediator for Reconfigurable Hardware-Software Systems
34 2008曹智傑
Tsao, Chih-Chieh
An Efficient Collaborative Verification Methodology for Multiprocessor SoC with Run-Time Task Migration
33 2008林怡洵
Lin, Yi-Shun
Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Systems
32 2008姜國程
Chiang, Kuo-Cheng
Predictable and Adaptive Reconfigurable Network-on-Chip
31 2008邱京崙
Chiu, Jying-Lwen
On-line Scheduling of Real-Time Tasks and Compact Placement Method for Dynamically Partially Reconfigurable Systems
30 2007 孫淵玲
Sun, Hong-Yu
Dynamic Hardware-Software Task Switching and Relocation for Reconfigurable Systems
29 2007 洪進傑
Hung, Chin-Chieh
Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems
28 2007 姜成器
Chiang, Cheng-Chi
Hardware/Software Real-Time Relocatable Task Scheduling and Placement in Dynamically Partial Reconfigurable Systems
27 2007廖筱芸
Liao, Hsiao-Win
Multi-Objective Placement of Reconfigurable Hardware Tasks in Real-Time Systems
26 2007 林朝聖
Lin, Chao-Sheng
IP-based Resource Management in Reconfigurable Systems
25 2006 呂品賢
Lu, Pin-Shian
A Reconfigurable Platform for Efficient Embedded Software Development
24 2006 張世學
Chang, Shih-Hsueh
Dynamically and Partially Reconfigurable Systems
23 2006 葉家蓁
Yeh, Chia-Chen
Efficient Coverage Estimation in Model Checking
22 2006 劉智文
Liu, Chih-Wen
Low Power Hardware-Software Scheduling
21 2006 陳盈如
Chen, Yean-Ru
Failure Analysis using Model Checking
20 2006許書裕
Hsu, Shu-Yu
Embedded Software Design
19 2005 邱冠綸
Chiu, Kuan-Lun
An Efficient Coverage Estimation Methodology for Model Checking
18 2005 陳元修
Chen, Yuan-Hsiu
Hardware Scheduling and Placement in Operating Systems for Reconfigurable SoC
17 2005 廖志峰
Liao, Chih-Feng
A SystemC Based Performance Evaluation Framework for Dynamically Reconfigurable SoC
16 2005 曾志豪
Tseng, Chih-Hao
UML-Based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems
15 2005 王宏仁
Wang, Hung-Ren
Hardware-Software Codesign for Programmable SoC
14 2004 廖文旭
Liao, Wen-Shiu
Infrastructure of a Formal Verification Platform for SoC
13 2004 趙偉成
Chao, Wei-Cheng
Transaction-Level Modeling for Modeling Checking
12 2004 吳展奇
Wu, Chan-Chi
An Assertion-based Dynamic Formal Verification Methodology for Hardware Systems
11 2004 李德昌
Li, Te-Chang
Mutation Coverage Estimation for Symbolic Model Checking
10 2004 高新傑
Kao, Hsin-Chie
Device-Centric Energy-Optimal Scheduling for Low-Power Real-Time Systems
9 2004 蔡委育
Tsai, Wei-Yu
Formal Verification of Safety-Critical Systems with Safecharts
8 2004 張育銘
Chang, Yu-Ming
CORBA-based Distributed Formal Verification
7 2003孫明煌
Formal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification
6 2003 沈子詠
Shen, Tzu-Yung
Assume-Guarantee Formal Verification of Component-Based Hierarchical Software
5 2003 林承毅
Lin, Cheng-Yi
Quasi-Dynamic Scheduling for the Formal Synthesis of Real-Time Embedded Software
4 2003 陳立明
Chen, Li-Ming
Interface Synthesis of Real-Time Embedded Systems
3 2002 鄭舒予
Cheng, Shu-Yu
Automating Assume-Guarantee Reasoning for Model Checking Real-Time Embedded Systems
2 2002 蘇峰仕
Su, Feng-Shi
Formal Synthesis and Code Generation of Embedded Software Using Extended Quasi-Static Scheduling
1 2002 高淳浩
Gau, Chuen-Hau
Time-Memory Scheduling and Code Generation for Real-Time Embedded Software