Byeong-Mo Chang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2022

SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphsByeong-Mo Chang, Kyung Min Lee, Ga-young Koh, Kwanghoon Choi 0001. iet-sen, 16(6):576-602, December 2022. [doi]

2020

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysisNayeon Bak, Byeong-Mo Chang, Kwanghoon Choi 0001. iet-sen, 14(4):411-422, 2020. [doi]

Smart Block: A visual block language and its programming environment for IoTNayeon Bak, Byeong-Mo Chang, Kwanghoon Choi 0001. JCL (JVLC), 60:100999, 2020. [doi]

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static AnalysisByeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi 0001. itiis, 14(6):2354-2376, 2020. [doi]

2019

A theory of RPC calculi for client-server modelKwanghoon Choi 0001, Byeong-Mo Chang. JFP, 29, 2019. [doi]

2018

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android AppsKwanghoon Choi 0001, Myungpil Ko, Byeong-Mo Chang. itiis, 12(9):4248-4270, 2018. [doi]

Smart Block: A Visual Programming Environment for SmartThingsNayeon Bak, Byeong-Mo Chang, Kwanghoon Choi 0001. compsac 2018: 32-37 [doi]

2016

A review on exception analysisByeong-Mo Chang, Kwanghoon Choi. INFSOF, 77:1-16, 2016. [doi]

2015

A lightweight approach to component-level exception mechanism for robust android appsKwanghoon Choi, Byeong-Mo Chang. Comp. Lang., Syst. \& Struct., 44:283-298, 2015. [doi]

2014

A type and effect system for activation flow of components in Android programsKwanghoon Choi, Byeong-Mo Chang. ipl, 114(11):620-627, 2014. [doi]

2007

A programming environment for ubiquitous computing environmentMinkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh. SIGPLAN, 42(4):14-22, 2007. [doi]

2006

2004

2002

Visualization of Exception Propagation for Java Using Static AnalysisByeong-Mo Chang, Jang-Wu Jo, Soon Hee Her. SCAM 2002: 173 [doi]

Managing the granularity of constraint-based analyses by rule transformationByeong-Mo Chang. ipl, 83(2):79-88, 2002. [doi]

Visualization of Exception Propagation for Java Using Static AnalysisByeong-Mo Chang, Jang-Wu Jo, Soon Hee Her. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2002. [doi]

2001

Estimating Exception-Induced Control Flow for JavaByeong-Mo Chang, Jang-Wu Jo. aplas 2001: 377-387

Granularity of Constraint-Based Analysis for JavaByeong-Mo Chang, Jang-Wu Jo. ppdp 2001: 94-102

Interprocedural exception analysis for JavaByeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe. SAC 2001: 620-625 [doi]

1999

Exception Analysis for JavaKwangkeun Yi, Byeong-Mo Chang. ECOOPW 1999: 111-112

1994

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretationByeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi. SAC 1994: 388-393 [doi]

1993

Efficient Bottom-Up Execution of Logic Programs Using Abstract InterpretationByeong-Mo Chang, Kwang-Moo Choe, Taisook Han. ipl, 47(3):149-157, 1993.

Static Filtering on Stratified ProgramsByeong-Mo Chang, Kwang-Moo Choe, Taisook Han. ipl, 47(5):237-244, 1993.

Sign in or sign up to see more results.

runs on WebDSL