Byeong-Mo Chang

J. Comput. Lang., 2020

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

[BibT_eX]

[DOI]

Janine Cassandra Son

KSII Trans. Internet Inf. Syst., 2020

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

[BibT_eX]

[DOI]

Nayeon Bak

IET Softw., 2020

2019

A theory of RPC calculi for client-server model.

[BibT_eX]

[DOI]

J. Funct. Program., 2019

2018

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

[BibT_eX]

[DOI]

Myungpil Ko

KSII Trans. Internet Inf. Syst., 2018

Smart Block: A Visual Programming Environment for SmartThings.

[BibT_eX]

[DOI]

Nayeon Bak

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

2016

A review on exception analysis.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

2015

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

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2015

2014

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

[BibT_eX]

[DOI]

Inf. Process. Lett., 2014

2007

A programming environment for ubiquitous computing environment.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2007

2006

A thread monitoring system for multithreaded Java programs.

[BibT_eX]

[DOI]

Sewon Moon

ACM SIGPLAN Notices, 2006

Static check analysis for Java stack inspection.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2006

Visualization of Permission Checks in Java Using Static Analysis.

[BibT_eX]

[DOI]

Yoonkyung Kim

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

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

[BibT_eX]

[DOI]

Joonseon Ahn

Kyung-Goo Doh

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

2004

An uncaught exception analysis for Java.

[BibT_eX]

[DOI]

J. Syst. Softw., 2004

An Exception Monitoring System for Java.

[BibT_eX]

[DOI]

Heejung Ohe

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

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

[BibT_eX]

[DOI]

Jong-Deok Choi

Proceedings of the Computer and Information Sciences, 2004

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

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2004

2002

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

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

Visualization of Exception Propagation for Java Using Static Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Granularity of Constraint-Based Analysis for Java.

[BibT_eX]

[DOI]

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

Estimating Exception-Induced Control Flow for Java.

[BibT_eX]

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

1999

Exception Analysis for Java.

[BibT_eX]

Kwangkeun Yi

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.

[BibT_eX]

[DOI]

Kwang-Moo Choe

Roberto Giacobazzi

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1993

Static Filtering on Stratified Programs.

[BibT_eX]

[DOI]

Kwang-Moo Choe

Taisook Han

Inf. Process. Lett., 1993

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

[BibT_eX]

[DOI]