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

Professor


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

E-mail: pahsiung@csie.io

URL: http://www.cs.ccu.edu.tw/~pahsiung/


Current Students



PhD


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
TBD turboted@gmail.com
2014黃瓊瑩
Huang, Chung-Ing
TBD jadeying.1@gmail.com
2014許志揚
Hsu, Chi-Yang
TBD newmail.hsu@gmail.com
2015蔡漢俊
Tsai, Han-Chun
TBD misbenson@gmail.com
2015楊佳玲
Yang, Chia-Ling
TBD cherry8moon@gmail.com
2015張智豪
Chang, Chih-Hao
TBD zhi-haur0907@hotmail.com
2015曾冠斌
Tseng, Kwan-Ping
TBD alucard.zen@gmail.com
2015林泮吟
Lin, Pan-Yin
TBD mcrr7njt@hotmail.com
2015賴建宏
Lai, Chien-Hung
TBD terrylai14@gmail.com
2015廖湘雲
Liao, Hsiao-Yun
TBD phoebe2322@gmail.com
2015張維凱
Chang, Wei-Kai
TBD limenwaiki224@yahoo.com.tw
2015郭玴甫
Guo, Yeh-Fu
TBD air.tsunami@msa.hinet.net
2016陳思妤
Chen, Sih-Yu
TBD kevin6050801@gmail.com
2016呂柏緯
Lu, Bo-Wei
TBD ken31918@gmail.com
2016莊俊宏
Chuang, Chun-Hung
TBD dannyjohnsen0989@gmail.com
2016黃添威
Huang, Tien-Wei
TBD rex45678@gmail.com
2016余雅瑄
Yu, Ya-Hsuan
TBD drops.the.angel@gmail.com
2016曾雅慧
Cheng, Ya-Huei
TBD pip732@ms12.hinet.net
2016江誠祐
Chiang, Cheng-Yu
TBD reginayht617@gmail.com

Graduated PhD Students


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

Chao, Hung-Lin
Model Predictive Optimization for Smart Grid Design kenyclapton@gmail.com In Military
7 2016
呂俊賢

Lu, Chun-Hsien
Landslide Prediction -- A Cyber-Physical System Design lchs91u@cs.ccu.edu.tw Andes Technology
6 2014
林豐勝 (志勝)

Lin, Feng-Hseng (Chih-Hseng)
Application Synthesis and Optimization on Heterogeneous Parallel Processing Systems lcs96m@cs.ccu.edu.tw Institute for Information Industry (III)
5 2014
林朝聖

Lin, Chao-Sheng
Model-Driven Framework for Multicore Software Development lcs94@cs.ccu.edu.tw N/A
4 2013
沈日昇

Shen, Jih-Sheng
Learning-based Reconfiguration of Network-on-Chip for Varying Processing Requirements sjs92@cs.ccu.edu.tw MediaTek
3 2013
施凱中

Shih, Kai-Jung
Application Acceleration in Dynamically Partially Reconfigurable System Infrastructure kjshih@cs.ccu.edu.tw Private Company
2 2011
黃駿賢

Huang, Chun-Hsian
Model-Based Platform-Specific Co-Design Methodology for Dynamically Partially Reconfigurable Systems with Hardware Virtualization and Preemption grant0920@gmail.com 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 lsw92@cs.ccu.edu.tw 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 hlc19940420@gmail.com
86 2018 陳偉倫
Chen Wei-Lun
Intersection Crossing for Autonomous Vehicles based on Reinforcement Learning qp891097@gmail.com
85 2018 盧德修
Lu Te-Hsiu
Anomaly Prediction in Smart Substation with Deep Learning frank.t.s.lu@gmail.com
84 2018 楊子璿
Yang Tzu-Hsuan
Driver Fatigue Prediction using Heterogeneous Sensor Data with Deep Learning purple1514ss76@gmail.com
83 2018 林志樺
Lin Jhih-Hua
Dynamic Estimation of Vehicle Safety Distance under Low Visibility jimlin80@yahoo.com.tw
82 2017 王華欣
Wang Hua-Hsin
Program Trading System of Taiex Futures -- By Strategy of Virtual Trade c1230602@gmail.com
81 2017 Hendrik Tampubolon Supervised Deep Learning Based for Traffic Flow Prediction hendrik.gian@gmail.com
80 2016林志祥
Lin, Shi-Chan
Application of RFID Technology to Emergency Traffic Signal Design haguy0507@gmail.com
79 2016林佳靜
Lin, Chia-Ching
Improving Efficiency of Domestic Power Demand by Using Orderly Power Utilization bebe.lin27@gmail.com
78 2016李天傑
Lee, Tien-Chieh
Prediction of Electric Power Consumption in Taiwan by Back Propagation Neural Network gary90182@gmail.com
77 2016孫景亮
Sun, Jin-Liang
Smart Green Uninterruptible Power System happy1968168@gmail.com
76 2016買昭雯
Mai, Chao-Wen
PV-based Power Charger for Motorcycle Batteries arriel.wen@gmail.com
75 2016 林志宸
Lin, Chih-Chen
Data Reconstruction for Cyber-Physical Landslide Detection System sean1028g@hotmail.com
74 2016 楊采真
Yang, Tsai-Chen
Model Predictive Optimization for Energy Storage based Smart Grids cat40129@yahoo.com.tw
73 2016 徐瑋
Hsu, Wei
Urban Traffic Information Prediction using Elmann Neural Network and Traffic Network Models alenhsu3@gmail.com
72 2015 吳宗典
Wu, Tsung-Tien
Software-Defined Network Interface Design Performance and Security Oriented kent61314@gmail.com
71 2015 謝珮琪
Hsieh, Pei-Chi
Model Predictive Optimization for Distribution Management in Smart Grid a87506010824@gmail.com
70 2015 陳佑任
Chen, You-Ren
Dynamic Traffic Light Optimization and Control System using Model-Predictive Control Method yo6317@gmail.com
69 2015 吳文豪
Wu, Wen-Hao
Adaptive Timing Optimization for Cyber Physical Signal Control System bluewinter0124@gmail.com
68 2015 曾冠維
Tsen, Kuan-Wei
Virtualization Architecture for Application-Oriented Reconfigurable Network-on-Chip System scvxxx@gmail.com
67 2015 李宣儒
Lee, Hsuan-Ju
Software-Defined Monitoring for High Speed Network Flow Analysis in Network-on-Chip bill09218@gmail.com
66 2014 郭惠民
Kuo, Hui-Min
Zigbee無線通訊應用於路邊停車收費管理系統之研究 hmkuo@kimo.com
65 2014 吳文義
Wu, Wen-Yi
數位電表應用於家庭節電節費系統之研究 jeles32@gmail.com
64 2014 姚瑞隆
Yao, Jui-Lung
SAT-based Verification of Role-based Access Control Systems with Slicing method brack238@hotmail.com
63 2014 劉柏廷
Liu, Po-Ting
Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems robert0206liu@gmail.com
62 2014 宋羿謙
Soong, Yi-Chien
Interference-aware Batch Memory Scheduling in Heterogeneous Multicore Architecture harry78123@gmail.com
61 2014 王建宇
Wang, Jien-Yu
Elastic Superposition Mapping for Heterogeneous Tasks in Reconfigurable Multicore Architecture tommy1122337@gmail.com
60 2014 蔡鎮州
Tsai, Chen-Chou
Hierarchical Optimization of Smart Grids with Energy Storage Systems - A Model-Predictive Control and Auction-based Method callmetcc@gmail.com
59 2014 劉炎敦
Liu, Yan-Dun
Smart Photovoltaic Power Generation System Design hclnffydok@gmail.com
58 2013陳彥廷
Chen, Yen-Ting
Workload Partitioning and Scheduling on Heterogeneous Multi-Core Systems jfkdadd@gmail.com
57 2013鄧世孟
Teng, Shih-Meng
Auto-tuning on GPGPU by using Performance and Power Estimation Model tom1322kimo@gmail.com
56 2013彭竣陽
Peng, Chun-Yang
Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform Architecture Design bibbymike@gmail.com
55 2013吳政謙
Wu, Cheng-Chien
FPGA-based High Applicability Reconfigurable FFT Processor for Multi-standard Systems johnwu227@gmail.com
54 2013廖偉志
Liao, Wei-Chih
A Study on the Use of Miracast Supported Devices for Distance Learning symsyym@gmail.com
53 2013柯勇明
Ko, Yung-Ming
UHF Bi-directional Tracking System Design by Integrating GPS and Radar Transponder kokome91@gmail.com
52 2013余明逾
Yu, Ming-Yu
Hidden Markov Model-based Bandwidth Selection for Cognitive Network chts.mingyu@gmail.com
51 2013陳映妤
Chen, Ying-Yu
RFID-based Roll-Call System Study for Field Trips vnin.vnin@msa.hinet.net
50 2012張俊欽
Chang, Chun-Chin
The Research of Radio Frequency Identification Technology for the Family Violence Prevention tiked599@yahoo.com.tw
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 johnnywu0521@gmail.com
48 2012 胡雅苹
Hu, Ya-Ping
Robust Solution Space Prediction and Optimization for Cognitive Radios hyp93675@gmail.com
47 2012 施俊亦
Shih, Chun-Yi
Communication Bottleneck Analysis for Improving the Performance of Multicore Software skangel07@gmail.com
46 2011許惠民
Hsu, Hui-Min
RFID-based Roll-Call System for School Campus uz66.tw@yahoo.com.tw
45 2011 王柏軒
Wang, Bo-Hsuan
Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-Core Embedded Systems mmike552@gmail.com
44 2011林雨昕
Lin, Yu-Shin
Multi-Objective Exploitation of Pipeline Parallelism using Clustering, Replication, and Duplication in Embedded Multicore Systems stanley76726@hotmail.com
43 2011 何嘉翹
Ho, Chia-Chiao
Dynamic Application Scheduling on Heterogeneous Multi-core Systems falow18@gmail.com
42 2011張逸倫
Chang, Yi-Luen
An Efficient and Robust Solver for Multi-Objective Constraints-Satsifaction Problem in Cognitive Radio Systems clplusegg@hotmail.com
41 2011陳立奇
Chen, Li-Chi
Power Monitoring and Demand Control System Research and Design jerryclc@hotmail.com
40 2010童聖亞
Tung, Hseng-Ya
Dynamic Task Scheduling with Congestion Speculation for Network-on-Chip jo3409.ken@msa.hinet.net
39 2010呂世申
Lu, Shih-Shen
Congestion- and Energy-Aware Run-time Task Mapping for Network-on-Chip Architecture
99年中華民國資訊學會最佳碩士論文佳作獎
leeraphael@gmail.com
38 2010蘇琬婷
Su, Wan-Ting
Buffer-Stealing Router Design for Improved Communication Efficiency in Network-on-Chip cuteasong@gmail.com
37 2010潘晟陽
Pan, Shen-Yang
Dynamically Adaptive Arbitration in Network-on-Chip for Streaming Applications mellow39@gmail.com
36 2009林為文
Lin, Wei-Wen
Reconfigurable NoC with OS Management
98年中華民國資訊學會最佳碩士論文佳作獎
lww96m@cs.ccu.edu.tw
35 2009藍竣廷
Lan, Chun-Ting
Hardware Mediator for Reconfigurable Hardware-Software Systems lct96m@cs.ccu.edu.tw
34 2008曹智傑
Tsao, Chih-Chieh
An Efficient Collaborative Verification Methodology for Multiprocessor SoC with Run-Time Task Migration cctsaokk@gmail.com
33 2008林怡洵
Lin, Yi-Shun
Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Systems lyh95m@cs.ccu.edu.tw
32 2008姜國程
Chiang, Kuo-Cheng
Predictable and Adaptive Reconfigurable Network-on-Chip
97年中華民國資訊學會最佳碩士論文佳作獎
guybejude@gmail.com
31 2008邱京崙
Chiu, Jying-Lwen
On-line Scheduling of Real-Time Tasks and Compact Placement Method for Dynamically Partially Reconfigurable Systems ccl95m@cs.ccu.edu.tw
30 2007 孫淵玲
Sun, Hong-Yu
Dynamic Hardware-Software Task Switching and Relocation for Reconfigurable Systems syl94@cs.ccu.edu.tw
29 2007 洪進傑
Hung, Chin-Chieh
Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems hcc94@cs.ccu.edu.tw
28 2007 姜成器
Chiang, Cheng-Chi
Hardware/Software Real-Time Relocatable Task Scheduling and Placement in Dynamically Partial Reconfigurable Systems ccc94@cs.ccu.edu.tw
27 2007廖筱芸
Liao, Hsiao-Win
Multi-Objective Placement of Reconfigurable Hardware Tasks in Real-Time Systems
96年中華民國資訊學會最佳碩士論文佳作獎
cloudetteLiao@gmail.com
26 2007 林朝聖
Lin, Chao-Sheng
IP-based Resource Management in Reconfigurable Systems lcs94@cs.ccu.edu.tw
25 2006 呂品賢
Lu, Pin-Shian
A Reconfigurable Platform for Efficient Embedded Software Development lph92@cs.ccu.edu.tw
24 2006 張世學
Chang, Shih-Hsueh
Dynamically and Partially Reconfigurable Systems acsh93@cs.ccu.edu.tw
23 2006 葉家蓁
Yeh, Chia-Chen
Efficient Coverage Estimation in Model Checking ycc93@cs.ccu.edu.tw
22 2006 劉智文
Liu, Chih-Wen
Low Power Hardware-Software Scheduling lcw93@cs.ccu.edu.tw
21 2006 陳盈如
Chen, Yean-Ru
Failure Analysis using Model Checking
95年中華民國資訊學會最佳碩士論文佳作獎
cyj92@cs.ccu.edu.tw
20 2006許書裕
Hsu, Shu-Yu
Embedded Software Design thomas@mail.cyhg.gov.tw
19 2005 邱冠綸
Chiu, Kuan-Lun
An Efficient Coverage Estimation Methodology for Model Checking ckl92@cs.ccu.edu.tw
18 2005 陳元修
Chen, Yuan-Hsiu
Hardware Scheduling and Placement in Operating Systems for Reconfigurable SoC cyh92@cs.ccu.edu.tw
17 2005 廖志峰
Liao, Chih-Feng
A SystemC Based Performance Evaluation Framework for Dynamically Reconfigurable SoC lcf92@cs.ccu.edu.tw
16 2005 曾志豪
Tseng, Chih-Hao
UML-Based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems
94年中華民國資訊學會最佳碩士論文佳作獎
tch92@cs.ccu.edu.tw
15 2005 王宏仁
Wang, Hung-Ren
Hardware-Software Codesign for Programmable SoC wang2361@yahoo.com.tw
14 2004 廖文旭
Liao, Wen-Shiu
Infrastructure of a Formal Verification Platform for SoC
93年中華民國資訊學會最佳碩士論文佳作獎
lws90@cs.ccu.edu.tw
13 2004 趙偉成
Chao, Wei-Cheng
Transaction-Level Modeling for Modeling Checking cwc91@cs.ccu.edu.tw
12 2004 吳展奇
Wu, Chan-Chi
An Assertion-based Dynamic Formal Verification Methodology for Hardware Systems wcc91@cs.ccu.edu.tw
11 2004 李德昌
Li, Te-Chang
Mutation Coverage Estimation for Symbolic Model Checking ltc91@cs.ccu.edu.tw
10 2004 高新傑
Kao, Hsin-Chie
Device-Centric Energy-Optimal Scheduling for Low-Power Real-Time Systems khc91@cs.ccu.edu.tw
9 2004 蔡委育
Tsai, Wei-Yu
Formal Verification of Safety-Critical Systems with Safecharts twy91@cs.ccu.edu.tw
8 2004 張育銘
Chang, Yu-Ming
CORBA-based Distributed Formal Verification cym87@cs.ccu.edu.tw
7 2003孫明煌
Sun,Ming-Hwang
Formal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification smh90@cs.ccu.edu.tw
6 2003 沈子詠
Shen, Tzu-Yung
Assume-Guarantee Formal Verification of Component-Based Hierarchical Software sty90@cs.ccu.edu.tw
5 2003 林承毅
Lin, Cheng-Yi
Quasi-Dynamic Scheduling for the Formal Synthesis of Real-Time Embedded Software
92年中華民國資訊學會最佳碩士論文佳作獎
lcy90@cs.ccu.edu.tw
4 2003 陳立明
Chen, Li-Ming
Interface Synthesis of Real-Time Embedded Systems clm90@cs.ccu.edu.tw
3 2002 鄭舒予
Cheng, Shu-Yu
Automating Assume-Guarantee Reasoning for Model Checking Real-Time Embedded Systems jsy89@cs.ccu.edu.tw
2 2002 蘇峰仕
Su, Feng-Shi
Formal Synthesis and Code Generation of Embedded Software Using Extended Quasi-Static Scheduling
91年中華民國資訊學會最佳碩士論文佳作獎
sfs89@cs.ccu.edu.tw
1 2002 高淳浩
Gau, Chuen-Hau
Time-Memory Scheduling and Code Generation for Real-Time Embedded Software gch89@cs.ccu.edu.tw