Byeong-Mo Chang

According to our database, Byeong-Mo Chang authored at least 28 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

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

IET Softw., December, 2022

2020

Smart Block: A visual block language and its programming environment for IoT.

Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

J. Comput. Lang., 2020

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis.

Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi

KSII Trans. Internet Inf. Syst., 2020

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis.

Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

IET Softw., 2020

2019

A theory of RPC calculi for client-server model.

Kwanghoon Choi, Byeong-Mo Chang

J. Funct. Program., 2019

2018

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps.

Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang

KSII Trans. Internet Inf. Syst., 2018

Smart Block: A Visual Programming Environment for SmartThings.

Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2016

A review on exception analysis.

Byeong-Mo Chang, Kwanghoon Choi

Inf. Softw. Technol., 2016

2015

A lightweight approach to component-level exception mechanism for robust android apps.

Kwanghoon Choi, Byeong-Mo Chang

Comput. Lang. Syst. Struct., 2015

2014

A type and effect system for activation flow of components in Android programs.

Kwanghoon Choi, Byeong-Mo Chang

Inf. Process. Lett., 2014

2007

A programming environment for ubiquitous computing environment.

Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh

ACM SIGPLAN Notices, 2007

2006

A thread monitoring system for multithreaded Java programs.

Sewon Moon, Byeong-Mo Chang

ACM SIGPLAN Notices, 2006

Static check analysis for Java stack inspection.

Byeong-Mo Chang

ACM SIGPLAN Notices, 2006

Visualization of Permission Checks in Java Using Static Analysis.

Yoonkyung Kim, Byeong-Mo Chang

Proceedings of the Information Security Applications, 7th International Workshop, 2006

A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment.

Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh

Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

2004

An uncaught exception analysis for Java.

Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe

J. Syst. Softw., 2004

An Exception Monitoring System for Java.

Heejung Ohe, Byeong-Mo Chang

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Thread-Sensitive Points-to Analysis for Multithreaded Java Programs.

Byeong-Mo Chang, Jong-Deok Choi

Proceedings of the Computer and Information Sciences, 2004

Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow.

Jang-Wu Jo, Byeong-Mo Chang

Proceedings of the Computational Science and Its Applications, 2004

2002

Managing the granularity of constraint-based analyses by rule transformation.

Byeong-Mo Chang

Inf. Process. Lett., 2002

Visualization of Exception Propagation for Java Using Static Analysis.

Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

2001

Interprocedural exception analysis for Java.

Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Granularity of Constraint-Based Analysis for Java.

Byeong-Mo Chang, Jang-Wu Jo

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Estimating Exception-Induced Control Flow for Java.

Byeong-Mo Chang, Jang-Wu Jo

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

1999

Exception Analysis for Java.

Kwangkeun Yi, Byeong-Mo Chang

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1994

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1993

Static Filtering on Stratified Programs.

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1993

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1993