dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Byeong-Mo Chang Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh: A programming environment for ubiquitous computing environment. SIGPLAN Notices 42(4): 14-22 (2007)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh: A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. EUC Workshops 2006: 650-659
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoonkyung Kim, Byeong-Mo Chang: Visualization of Permission Checks in Java Using Static Analysis. WISA 2006: 133-146
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang: Static check analysis for Java stack inspection. SIGPLAN Notices 41(3): 40-48 (2006)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSewon Moon, Byeong-Mo Chang: A thread monitoring system for multithreaded Java programs. SIGPLAN Notices 41(5): 21-29 (2006)
2004
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJang-Wu Jo, Byeong-Mo Chang: Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow. ICCSA (1) 2004: 106-113
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Jong-Deok Choi: Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. ISCIS 2004: 945-954
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeejung Ohe, Byeong-Mo Chang: An Exception Monitoring System for Java. RISE 2004: 71-81
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe: An uncaught exception analysis for Java. Journal of Systems and Software 72(1): 59-69 (2004)
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Jang-Wu Jo, Soon Hee Her: Visualization of Exception Propagation for Java Using Static Analysis. SCAM 2002: 173-
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang: Managing the granularity of constraint-based analyses by rule transformation. Inf. Process. Lett. 83(2): 79-88 (2002)
2001
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Jang-Wu Jo: Estimating Exception-Induced Control Flow for Java. APLAS 2001: 377-387
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Jang-Wu Jo: Granularity of Constraint-Based Analysis for Java. PPDP 2001: 94-102
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe: Interprocedural exception analysis for Java. SAC 2001: 620-625
1999
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKwangkeun Yi, Byeong-Mo Chang: Exception Analysis for Java. ECOOP Workshops 1999: 111-112
1994
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi: Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. SAC 1994: 388-393
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. Inf. Process. Lett. 47(3): 149-157 (1993)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Static Filtering on Stratified Programs. Inf. Process. Lett. 47(5): 237-244 (1993)

Coauthor Index

1Joonseon Ahn [17] [18]
2Kwang-Moo Choe [1] [2] [3] [5] [10]
3Jong-Deok Choi [12]
4Kyung-Goo Doh [17] [18]
5Roberto Giacobazzi [3]
6Taisook Han [1] [2]
7Soon Hee Her [9]
8Jang-Wu Jo [5] [6] [7] [9] [10] [13]
9Yoonkyung Kim [16]
10Jiyeon Lee [18]
11Sewon Moon [14]
12Minkyoung Oh [18]
13Heejung Ohe [11]
14Kwangkeun Yi [4] [5] [10]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page