Byeong-Mo Chang

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 9

Top Topics

Static Analysis

Android Platform

Programming Environment

Top Venues

KSII Trans. Internet Inf. Syst.

Inf. Softw. Technol.

J. Funct. Program.

Publications

Byeong-Mo Chang, Kyung-min Lee, Ga-young Koh, Kwanghoon Choi
SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs. IET Softw. 16 (6) (2022)
Kwanghoon Choi, Byeong-Mo Chang
A Theory of RPC Calculi for Client-Server Model. CoRR (2021)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis. IET Softw. 14 (4) (2020)
Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi
A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis. KSII Trans. Internet Inf. Syst. 14 (6) (2020)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
Smart Block: A visual block language and its programming environment for IoT. J. Comput. Lang. 60 (2020)
Kwanghoon Choi, Byeong-Mo Chang
A theory of RPC calculi for client-server model. J. Funct. Program. 29 (2019)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
Smart Block: A Visual Programming Environment for SmartThings. COMPSAC (2) (2018)
Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps. KSII Trans. Internet Inf. Syst. 12 (9) (2018)
Byeong-Mo Chang, Kwanghoon Choi
A review on exception analysis. Inf. Softw. Technol. 77 (2016)
Kwanghoon Choi, Byeong-Mo Chang
A lightweight approach to component-level exception mechanism for robust android apps. Comput. Lang. Syst. Struct. 44 (2015)
Kwanghoon Choi, Byeong-Mo Chang
A type and effect system for activation flow of components in Android programs. Inf. Process. Lett. 114 (11) (2014)
Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh
A programming environment for ubiquitous computing environment. ACM SIGPLAN Notices 42 (4) (2007)
Yoonkyung Kim, Byeong-Mo Chang
Visualization of Permission Checks in Java Using Static Analysis. WISA (2006)
Byeong-Mo Chang
Static check analysis for Java stack inspection. ACM SIGPLAN Notices 41 (3) (2006)
Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh
A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. EUC Workshops (2006)
Sewon Moon, Byeong-Mo Chang
A thread monitoring system for multithreaded Java programs. ACM SIGPLAN Notices 41 (5) (2006)
Heejung Ohe, Byeong-Mo Chang
An Exception Monitoring System for Java. RISE (2004)
Jang-Wu Jo, Byeong-Mo Chang
Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow. ICCSA (1) (2004)
Byeong-Mo Chang, Jong-Deok Choi
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. ISCIS (2004)
Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe
An uncaught exception analysis for Java. J. Syst. Softw. 72 (1) (2004)
Byeong-Mo Chang
Managing the granularity of constraint-based analyses by rule transformation. Inf. Process. Lett. 83 (2) (2002)
Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her
Visualization of Exception Propagation for Java Using Static Analysis. SCAM (2002)
Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe
Interprocedural exception analysis for Java. SAC (2001)
Byeong-Mo Chang, Jang-Wu Jo
Estimating Exception-Induced Control Flow for Java. APLAS (2001)
Byeong-Mo Chang, Jang-Wu Jo
Granularity of Constraint-Based Analysis for Java. PPDP (2001)
Kwangkeun Yi, Byeong-Mo Chang
Exception Analysis for Java. ECOOP Workshops (1999)
Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. SAC (1994)
Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
Static Filtering on Stratified Programs. Inf. Process. Lett. 47 (5) (1993)
Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. Inf. Process. Lett. 47 (3) (1993)