再见-Mo Chang
人员信息
优化列表
2020年–今天
2022 [公元16年] 再见-Mo Chang , 李京敏 , Ga-young Koh公司 , Choi光勋 :
SmartProvenance:基于事件流图的物联网应用程序的用户友好源系统。 IET软件。 16 ( 6 ) : 576-602 ( 2022 ) 2021 [i1] Choi光勋 , 再见-Mo Chang :
客户端-服务器模型的RPC计算理论。 CoRR公司 abs/2110.15183 ( 2021 ) 2020 [公元15年] Nayeon Bak公司 , 再见-Mo Chang , Choi光勋 :
SmartVisual:使用静态分析的SmartThings物联网应用程序的可视化工具。 IET软件。 14 ( 4 ) : 411-422 ( 2020 ) [公元14年] 再见-Mo Chang , 珍妮·卡桑德拉之子 , Choi光勋 :
使用静态分析评估SmartThings应用程序质量的GQM方法。 KSII变速器。 互联网信息系统。 14 ( 6 ) : 2354-2376 ( 2020 ) [j13] Nayeon Bak公司 , 再见-Mo Chang , Choi光勋 :
智能块:一种可视块语言及其物联网编程环境。 J.计算。 语言。 60 : 100999 ( 2020 )
2010 – 2019
2019 [公元12年] Choi光勋 , 再见-Mo Chang :
客户端-服务器模型的RPC计算理论。 J.功能。 程序。 29 : e5(电子5) ( 2019 ) 2018 [公元11年] Choi光勋 , Myungpil Ko公司 , 再见-Mo Chang :
Android应用程序中组件间通信健壮性的实用意图模糊工具。 KSII变速器。 互联网信息系统。 12 ( 9 ) : 4248-4270 ( 2018 ) [第12条] Nayeon Bak公司 , 再见-Mo Chang , Choi光勋 :
智能块:智能事物的可视化编程环境。 COMPSAC(2)公司 2018 : 32-37 2016 [公元10年] 再见-Mo Chang , Choi光勋 :
异常分析综述。 Inf.软件。 Technol公司。 77 : 1-16 ( 2016 ) 2015 [公元9年] Choi光勋 , 再见-Mo Chang :
一种轻量级的方法,用于健壮的安卓应用程序的组件级异常机制。 计算。 语言系统。 结构。 44 : 283-298 ( 2015 ) 2014 [j8] Choi光勋 , 再见-Mo Chang :
Android程序中组件激活流的类型和效果系统。 信息处理。 莱特。 114 ( 11 ) : 620-627 ( 2014 )
2000 – 2009
2007 [j7] Minkyoung哦 , Jiyeon Lee公司 , 再见-Mo Chang , Joonseon Ahn公司 , 京古道 :
普适计算环境的编程环境。 ACM SIGPLAN通知 42 ( 4 ) : 14-22 ( 2007 ) 2006 [j6] 再见-Mo Chang :
Java堆栈检查的静态检查分析。 ACM SIGPLAN通知 41 ( 三 ) : 40-48 ( 2006 ) [j5] 缝纫月亮 , 再见-Mo Chang :
多线程Java程序的线程监控系统。 ACM SIGPLAN通知 41 ( 5 ) : 21-29 ( 2006 ) [第11条] Joonseon Ahn公司 , 再见-Mo Chang , 京古道 :
一种用于无处不在环境中基于上下文的访问控制和自适应的策略描述语言。 EUC研讨会 2006 : 650-659 [第10条] Yoonkyung Kim(金永庆) , 再见-Mo Chang :
使用静态分析可视化Java中的权限检查。 威斯康辛州 2006 : 133-146 2004 【j4】 张武乔 , 再见-Mo Chang , Kwangkeun Yi公司 , Kwang-Moo Choe先生 :
Java的未捕获异常分析。 J.系统。 柔和。 72 ( 1 ) : 59-69 ( 2004 ) 【c9】 张武乔 , 再见-Mo Chang :
通过将异常流与正常流解耦来构建Java控制流图。 ICCSA(1) 2004 : 106-113 【c8】 再见-Mo Chang , Jong-Deok Choi先生 :
多线程Java程序的线程敏感点分析。 国际标准化信息系统 2004 : 945-954 【c7】 Heejung Ohe先生 , 再见-Mo Chang :
Java异常监控系统。 上升 2004 : 71-81 2002 [j3] 再见-Mo Chang :
通过规则转换管理基于约束的分析的粒度。 信息处理。 莱特。 83 ( 2 ) : 79-88 ( 2002 ) 【c6】 再见-Mo Chang , 张武乔 , 很快,嘿,她 :
使用静态分析可视化Java异常传播。 SCAM公司 2002 : 173- 2001 【c5】 再见-Mo Chang , 张武乔 :
估计Java的异常诱导控制流。 阿普拉斯 2001 : 377-387 【c4】 再见-Mo Chang , 张武乔 :
Java基于约束分析的粒度。 PPDP(PPDP) 2001 : 94-102 【c3】 再见-Mo Chang , 张武乔 , Kwangkeun Yi公司 , Kwang-Moo Choe先生 :
Java的跨过程异常分析。 囊 2001 : 620-625
1990 – 1999
1999 【c2】 Kwangkeun Yi公司 , 再见-Mo Chang :
Java异常分析。 ECOOP研讨会 1999 : 111-112 1994 【c1】 再见-Mo Chang , Kwang-Moo Choe先生 , 罗伯托·贾科巴齐 :
抽象过滤器:通过两阶段抽象解释改进逻辑程序的自下而上执行。 囊 1994 : 388-393 1993 [注2] 再见-Mo Chang , Kwang-Moo Choe先生 , Taisook Han先生 :
使用抽象解释的逻辑程序的高效自底向上执行。 信息处理。 莱特。 47 ( 三 ) : 149-157 ( 1993 ) [j1] 再见-Mo Chang , Kwang-Moo Choe先生 , Taisook Han先生 :
分层程序的静态过滤。 信息处理。 莱特。 47 ( 5 ) : 237-244 ( 1993 )