An Integrated Formal Model for Context-Aware Systems. - Eun-Sun Cho; Tae-Seob Yoon; Joong-Hyun Choi; Joon-Young Paik; Sumi Helal (COMPSAC Workshops, 2013)

Dynamic Parameter Filling for Semantic Exceptions in Context-Aware Systems. - Eun-Sun Cho; Joong-Hyun Choi; Sumi Helal (UIC/ATC, 2013)

A Formal Modeling for Exceptions in Context-Aware Systems. - Tae-Seob Yoon; Joong-Hyun Choi; Eun-Sun Cho; Sumi Helal (COMPSAC Workshops, 2014)

Experience of event stream processing for top-k queries and dynamic graphs. - Joong-Hyun Choi; Kang-Woo Lee; Eun-Sun Cho (DEBS, 2016)

Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams: Grand Challenge. - Joong-Hyun Choi; Kang-Woo Lee; Hyungkun Jung; Eun-Sun Cho (DEBS, 2017)

A Storage-level Detection Mechanism against Crypto-Ransomware. - Joon-Young Paik; Joong-Hyun Choi; Rize Jin; Jianming Wang; Eun-Sun Cho (CCS, 2018)

Bayesian Estimation of Vessel Destination and Arrival Times. - Hyungkun Jung; Kang-Woo Lee; Joong-Hyun Choi; Eun-Sun Cho (DEBS, 2018)

Buffer Management for Identifying Crypto-Ransomware Attack in Environment with No Semantic Information. - Joon-Young Paik; Joong-Hyun Choi; Rize Jin; Jianming Wang; Eun-Sun Cho (ISPA/BDCloud/SocialCom/SustainCom, 2019)