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/
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 Year | Name | Dissertation Title | E-mail Address | Current 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 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 |