SmartProvenance: User‐friendly provenance system for internet of things applications based on event flow graphs von Chang, Byeong‐Mo, Lee, Kyung‐Min, Koh, Ga‐Young, Choi, Kwanghoon

Volltext

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps von Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang

Volltext

Dopant-concentration dependence of grain-boundary conductivity in ceria: A space-charge analysis von AVILA-PAREDES, Hugo J, CHOI, Kwanghoon, CHEN, Chien-Ting, KIM, Sangtae

Volltext

Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems von Yun, Jeongsik, Bak, Sanghyun, Kim, Nulibyul, Choi, Kwanghoon, Kim, Jaekwon

Volltext

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis von Chang, Byeong-Mo, Son, Janine Cassandra, Choi, Kwanghoon

Volltext

Typing ZINC Machine with Generalized Algebraic Data Types von CHOI, Kwanghoon, PARK, Seog

Volltext

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps von Choi, Kwanghoon, Ko, Myungpil, Chang, Byeong-Mo

Volltext

A polymorphic RPC calculus von Choi, Kwanghoon, Cheney, James, Fowler, Simon, Lindley, Sam

Volltext

A theory of RPC calculi for client–server model von CHOI, KWANGHOON, CHANG, BYEONG-MO

Volltext

Smart Block: A visual block language and its programming environment for IoT von Bak, Nayeon, Chang, Byeong-Mo, Choi, Kwanghoon

Volltext

Current-voltage characteristics of grain boundaries in polycrystalline Sr-doped LaGaO3 von Chen, Chien-Ting, Choi, Kwanghoon, Kim, Sangtae

Volltext

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis von Bak, Na-Yeon, Chang, Byeong-Mo, Choi, Kwanghoon

Volltext

Physical and Biological Performance Evaluation of Disinfection Systems for Transportation Vehicles against AI Virus von Chung, Hansung, Choi, Kwanghoon, Kim, Sungkwan, Kim, Sukwon, Lee, Kyungwoo, Choe, Nonghoon

Volltext

Typing ZINC Machine with Generalized Algebraic Data Types von Choi, Kwanghoon, Park, Seog

Volltext

A review on exception analysis von Chang, Byeong-Mo, Choi, Kwanghoon

Volltext

A type and effect system for activation flow of components in Android programs von Choi, Kwanghoon, Chang, Byeong-Mo

Volltext

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis von Chang, Byeong-Mo, Son, Janine Cassandra, Choi, Kwanghoon

Volltext

Cost-effective monitoring algorithm for cyber-physical system platform using combined spatio-temporal model von Choi, Kwanghoon, Lim, Sung-Hwa, Kim, Jai-Hoon

Volltext

Evaluation of the disinfectant concentration used on livestock facilities in Korea during dual outbreak of foot and mouth disease and high pathogenic avian influenza von Kim, Seongjoon, Chung, Hansung, Lee, Hyesook, Myung, Donghoon, Choi, Kwanghoon, Kim, Sukwon, Htet, Swe Lynn, Jeong, Wooseog, Choe, Nonghoon

Volltext

A lightweight approach to component-level exception mechanism for robust android apps von Choi, Kwanghoon, Chang, Byeong-Mo

Volltext