Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. - Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

Static Filtering on Stratified Programs. - Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. - Byeong-Mo Chang; Kwang-Moo Choe; Roberto Giacobazzi (SAC, 1994)

Exception Analysis for Java. - Kwangkeun Yi; Byeong-Mo Chang (ECOOP Workshops, 1999)

Estimating Exception-Induced Control Flow for Java. - Byeong-Mo Chang; Jang-Wu Jo (APLAS, 2001)

Granularity of Constraint-Based Analysis for Java. - Byeong-Mo Chang; Jang-Wu Jo (PPDP, 2001)

Interprocedural exception analysis for Java. - Byeong-Mo Chang; Jang-Wu Jo; Kwangkeun Yi; Kwang-Moo Choe (SAC, 2001)

Visualization of Exception Propagation for Java Using Static Analysis. - Byeong-Mo Chang; Jang-Wu Jo; Soon Hee Her (SCAM, 2002)

Managing the granularity of constraint-based analyses by rule transformation. - Byeong-Mo Chang (Inf. Process. Lett., 2002)

Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow. - Jang-Wu Jo; Byeong-Mo Chang (ICCSA (1), 2004)

Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. - Byeong-Mo Chang; Jong-Deok Choi (ISCIS, 2004)

An Exception Monitoring System for Java. - Heejung Ohe; Byeong-Mo Chang (RISE, 2004)

An uncaught exception analysis for Java. - Jang-Wu Jo; Byeong-Mo Chang; Kwangkeun Yi; Kwang-Moo Choe (J. Syst. Softw., 2004)

A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. - Joonseon Ahn; Byeong-Mo Chang; Kyung-Goo Doh (EUC Workshops, 2006)

Visualization of Permission Checks in Java Using Static Analysis. - Yoonkyung Kim; Byeong-Mo Chang (WISA, 2006)

Static check analysis for Java stack inspection. - Byeong-Mo Chang (ACM SIGPLAN Notices, 2006)

A thread monitoring system for multithreaded Java programs. - Sewon Moon; Byeong-Mo Chang (ACM SIGPLAN Notices, 2006)

A programming environment for ubiquitous computing environment. - Minkyoung Oh; Jiyeon Lee; Byeong-Mo Chang; Joonseon Ahn; Kyung-Goo Doh (ACM SIGPLAN Notices, 2007)

A type and effect system for activation flow of components in Android programs. - Kwanghoon Choi 001; Byeong-Mo Chang (Inf. Process. Lett., 2014)

A lightweight approach to component-level exception mechanism for robust android apps. - Kwanghoon Choi 001; Byeong-Mo Chang (Comput. Lang. Syst. Struct., 2015)

A review on exception analysis. - Byeong-Mo Chang; Kwanghoon Choi 001 (Inf. Softw. Technol., 2016)

Smart Block: A Visual Programming Environment for SmartThings. - Nayeon Bak; Byeong-Mo Chang; Kwanghoon Choi 001 (COMPSAC (2), 2018)

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps. - Kwanghoon Choi 001; Myungpil Ko; Byeong-Mo Chang (KSII Trans. Internet Inf. Syst., 2018)

A theory of RPC calculi for client-server model. - Kwanghoon Choi 001; Byeong-Mo Chang (J. Funct. Program., 2019)

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis. - Nayeon Bak; Byeong-Mo Chang; Kwanghoon Choi 001 (IET Softw., 2020)

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis. - Byeong-Mo Chang; Janine Cassandra Son; Kwanghoon Choi 001 (KSII Trans. Internet Inf. Syst., 2020)

Smart Block: A visual block language and its programming environment for IoT. - Nayeon Bak; Byeong-Mo Chang; Kwanghoon Choi 001 (J. Comput. Lang., 2020)

SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs. - Byeong-Mo Chang; Kyung-min Lee; Ga-young Koh; Kwanghoon Choi 001 (IET Softw., 2022)

Towards a Portable Implementation of a Visual Block Language for IoT Applications. - Kwanghoon Choi 001; Sujee Noh; Kyungjae Kim; Seungchan Park; Hyeon-Ah Moon; Byeong-Mo Chang (SERP4IoT, 2025)