Byeong-Mo Chang

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