Papers of Byeong-Mo Chang

For questions send email to: chang@sookmyung.ac.kr

Conference papers
  • Joo-Yen Choi, Ja-Hyun Jung, Sungmi Park and Byeong-Mo Chang, A Location-Aware Smart Bus Guide Application for Seoul, 2008 Int. Conf. on Convergence Information Technology , Pusan, Nov. 2008
    Available: PDF
  • K. Choi, H. Jeong, K. Doh, J. Ahn, B. Chang, A Type System for Checking Consistencies of a Policy Specification Used in Ubiquitous Programming Environment 2007 Int. Conf. on Convergence Information Technology , Kyeongju, Nov. 2007
    Available: PDF
  • Da-Jung Park, San-Hee Hwang, Ah-Reum Kim, Byeong-Mo Chang, A Context-Aware Smart Tourist Guide Application for an Old Palace, 2007 Int. Conf. on Convergence Information Technology , Kyeongju, Nov. 2007
    Available: PDF
  • Yoonkyung Kim and Byeong-Mo Chang, Visualization of Permission Checks in Java using Static Analysis, 2006 Workshop on Information Security and Applications, Jeju, Aug. 2006
    Available: PDF
  • Joonseon Ahn, Kyung-Koo Doh and Byeong-Mo Chang, Policy Description Language for Context-based Access Control and Adaptation in Ubiquitous Environment, Lecture Notes in Computer Science 4097, pp. 650-659, Springer Verlag. (presented at TRUST'06, Seoul, Korea, Aug. 2006)
    Available: PDF
  • Heejung Ohe and Byeong-Mo Chang, An Exception Monitoring System for Java Rapid Integration of Software Engineering(RISE'04), Nov. 2004, Luxembourg.
    Available: PDF
  • Byeong-Mo Chang and Jong-Deok Choi, Thread-Sensitive Points-to Analysis for Multithreaded Java Programs Int. Symosisum on Computer and Information Sciences(ISCIS'04), Oct. 2004, Antalya, Turkey.
    Available: PDF
  • Byeong-Mo Chang, A Review on Exception Analysis and its Applications. SCI2003 , Orlando, USA, July, 2003.
    Available PDF
  • Byeong-Mo Chang, J. Jo, and S. Her, Visualization of Exception Propagation for Java using Static Analysis. IEEE Workshop on Source Code Analysis and Manipulation, Montreal, Canada, October, 2002.
    Available PDF | PostScript
  • I. Chung, B.-M. Chang, J. Jo, and B. Kim, Abstract Program Slicing. IASTED International Conference on Applied Informatics, Innsbruck, Austria, Feburary, 2002.
    Available PDF
  • Byeong-Mo Chang and J. Jo, Estimating Exception-Induced Control Flow for Java. Asian Workshop on Programming Languages and Systems, Daejon, Korea, December 2001.
    Available PDF
  • Byeong-Mo Chang and J. Jo, Granularity of Constraint-based Analysis for Java. ACM Conference on Principles and Practice of Declarative Programming, Florence, Italy, September 2001.
    Available PDF
  • Byeong-Mo Chang, J. Jo, K. Yi and K.-M. Choe, Interprocedural Exception Analysis for Java. ACM Symposium on Applied Computing, LasVegas, USA, March 2001.
    Available PDF PS
  • Byeong-Mo Chang, K. Yi and J. Jo, Constraint-based Analysis for Java. SSGRR Conference on Computer and e-Business, L'Aquila, Italy, Aug. 2000.
    Available : Postscript
  • 창병모, Static Analysis for Java (자바 언어를 위한 정적 분석). '99 KISS Fall Conference : Turorial, Oct. 23, 1999
    Available : PPT.
  • Kwangkeun Yi and Byeong-Mo Chang, Exception Analysis for Java. ECOOP Workshop on Formal Techniques for Java Programs , June 1999, Lisbon, Portugal.
    Available : Postscript
  • B.-M. Chang, R. Giacobazzi, and K.-M. Choe. Abstract Filters:Improving Bottom-up Execution of Logic Programs. Proceedins of '94 ACM Symposium on Applied Computing.
    Also available as Research Report/93/06, LIX, Ecole Polytechnique, Palaiseau cedex, France, Nov., 1993.
    Available: PDF

    • Journal papers
  • Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, and Kyung-Koo Doh, A Programming Environment for Ubiquitous Computing Environment, ACM SIGPLAN Notices Vol 42(4), April 2007.
    Available: PDF
  • Joonseon Ahn, Kyung-Koo Doh and Byeong-Mo Chang, Policy Description Language for Context-based Access Control and Adaptation in Ubiquitous Environment, Lecture Notes in Computer Science 4097, pp. 650-659, Springer Verlag.
    Available: PDF
  • Sewon Moon and Byeong-Mo Chang, A Thread Mointoring System for Multithreaded Java Programs, ACM SIGPLAN Notices Vol 41(5), May 2006.
    Available: PDF
  • Byeong-Mo Chang, Static Check Analysis for Java Stack Inspection, ACM SIGPLAN Notices Vol 41(2), Feb. 2006.
    Available: PDF
  • Heejung Ohe and Byeong-Mo Chang, An Exception Monitoring System for Java. Lecture Notes in Computer Science Vol. 3475, pp71-81, 2005, Springer-Verlag.
    Available: PDF
  • Byeong-Mo Chang and Jong-Deok Choi, Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. Lecture Notes in Computer Science Vol. 3280, pp. 945-954, Oct. 2004, Springer-Verlag.
    Available: PDF
  • Jang-Wu Jo and Byeong-Mo Chang, Constructing control flow graph for Java by decoupling exception flow from normal flow. Lecture Notes in Computer Science, Vol 3043, pp. 105-112, May 2004, Springer-Verlag.
    Available: PDF
  • J. Jo, Byeong-Mo Chang, K. Yi, and K.-M. Choe, An Uncaught Exception Analysis for Java. Journal of Systems and Software, Vol. 72, Issue 1, June 2004, pp. 59-69
    Available: PDF
  • Byeong-Mo Chang, Managing the granularity of constraint-based analyses by rule transformation. Information Processing Letters, Vol. 83 No. 2, July 2002
    Available: PDF
  • Byeong-Mo Chang, Kwang-Moo Choe, and Roberto Giacobazzi, Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation, ETRI Journal, Vol. 16, No. 4, Jan. 1995, pp. 27-47.
    Available : abstract
  • Byeong-Mo Chang, Kwang-Moo Choe, and Tai-sook Han, Static Filtering for Stratified Programs, Information Processing Letters, Vol. 47, Oct. 1993, pp. 237-244.
  • Byeong-Mo Chang, Kwang-Moo Choe, and Tai-sook Han, An Efficient Bottom-up Execution of Logic Programs using Abstract Interpretation , Information Processing Letters, Vol. 47, Sep. 1993, pp.149-157.

    • 국내 논문지 논문
  • 박다정, 황상희, 김아름, 창병모, 위치-인식 기반 덕수궁 관광 가이드 시스템의 설계 및 구현, 한국인터넷정보학회 논문지, 제9권 제2호(2008.4). PDF
  • 이지연, 창병모, 안준선, 도경구, 상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근 제어 시스템, 정보처리학회논문지A, 제15권 제1호(2008.2). PDF
  • 오민경, 창병모, 유비쿼터스 컴퓨팅을 위한 상황 적응 시스템, 정보처리학회논문지A, 제14권 제6호(2007.12). PDF
  • 김윤경, 창병모, 정적분석을 이용한 자바 언어의 권한검사 시각화 시스템, 정보처리학회논문지A, 제13권 제5호(2006.10). PDF
  • 최윤정, 창병모. J2ME 프로그램의 동적 이벤트 분석기의 구현 (Implementation of Dynamic Event Analysis Tool for J2ME Programs), 정보과학회 논문지: 소프트웨어 및 응용. 제33권 제9호(2006.09), pp. 802-809. PDF
  • 문세원, 창병모, Java 언어를 위한 쓰레드 모니터링 시스템, 정보처리학회논문지A 제13권 제3호(2006.6) PDF
  • 오희정, 창병모, 신뢰성 높은 Java 프로그램 개발을 위한 예외 모니터링 시스템, 정보처리학회논문지A, 제12권 제6호(2005.12). PDF
  • 조장우, 창병모, 예외흐름 분석을 정상흐름 분석과 분리하여 Java에 대한 제어흐름 그래프를 생성하는 방법, 한국정보과학회논문지: 소프트웨어 및 응용 제31권 제4호(2004.05), pp. 643-650. PDF
  • 허순희, 창병모. 정적분석을 이용한 자바 프로그램의 예외 전파 시각화, 정보과학회 논문지: 소프트웨어 및 응용. 제 30 권 제 7 호(2003.8), pp. 696-702. PDF
  • 창병모, 조장우. 자바 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환(Transformation of Constraint-based Analyses for Efficient Analysis of Java Programs). 정보과학회 논문지(SA), 제29권 제7호(2002.08), pp. 510-520. PDF
  • 정인상, 창병모. 요약 해석을 이용한 프로그램 슬라이싱(Abstract Program Slicing). 정보과학회 논문지(SA), 제28권 제7호(2001.08), pp. 551-559. PDF
  • 조장우, 창병모. 자바 언어에 대한 예외 분석 방법 비교(Comparative Sudy of Java Exception Anlyses). 정보과학회 논문지(SA), 제28권 제6호(2001.06), pp. 460-465. PDF
  • 정인상, 창병모. 유전자 알고리즘을 이용한 뮤테이션 테스팅의 테스트 데이터 자동 생성 (Automatic test data generation for mutation testing using genetic algorithms), 정보처리학회 논문지 제8-D권 제1호(2001.02), pp. 81-87. PDF
  • 창병모. 요약 해석 및 응용(Abstract Interpretation and its Applications). 소프트웨어 공학회지, 2000년 9월 HWP file
  • 창병모. 논리 프로그램의 타입 및 모드 분석의 계층구조 (A Hierarchical Structure of Type and Mode Analyses of Logic Programs) 정보과학회논문지(B), 제26권 제3호(1999.03), pp. 335-342. PDF
  • 오승환, 창병모, 신동하, 최광무. 쉘로우 백트래킹을 사용한 Prolog 컴파일러의 최적화 (Optimizing Prolog Compiler using Shallow Backtracking), 정보과학회논문지(B), 제25권 제1호(1998.01), pp. 160-171. PDF
  • 김문정, 창병모, 최광무. 추상 필터를 이용한 논리 프로그램의 상향식 수행 개선: 실험적 고찰 (Improving Bottom-up Execution of Logic Program using Abstract Filters: An Experimental Approach). 정보과학회논문지(B), 제24권 제10호(1997.10), pp. 1112-1121. PDF
  • 창병모, 신동하. 제약 논리 프로그래밍(Constracint Logic Programming). 정보과학회지 제15권 제1호(1997.01) PDF| html.
  • 창병모. 논리 프로그램의 두 단계 추상 해석 틀 (Two-phase Abstract Interpretation Framework for Logic Programs) 정보과학회논문지(B), 제23권 제6호(1996.06), pp. 661-670. PDF
  • 창병모, 최광무, 한태숙. 상향식 추상 해석을 이용한 논리 프로그램의 AND/OR 병렬 수행 모델 개선( AND/OR Parallel Execution Model of Logic Programs by Bottom-up Abstract Interpretation), 정보과학회논문지, 제21권 제5호(1994.05), pp. 792-800 PDF
  • Byeong-Mo Chang and Kwang-Moo Choe, 순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산 (Fixed Point Computation of Static Filters for Optimizing Recursive Logic Queries), 정보과학회논문지, 제20권 제9호(1993.09), pp. 1391-1402. PDF

    • 국내 학술대회 및 기타

  • 신재호, 강경구, 안준선, 도경구, 창병모, 상황 인식 역할 기반 접근 제어에 기반한 유비쿼터스 환경 정책 기술 언어 한국정보과학회 가을학술발표 논문집 제34권 제2호(2007.11) PDF
  • 정혜령, 최기환, 도경구, 안준선, 창병모, 유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사, 한국정보처리학회 추계학술발표대회 논문집 제14권 제2호(2007.11) PDF
  • 이지연, 오민경, 창병모, 안준선, 도경구, 유비쿼터스 컴퓨팅을 위한 접근제어와 상황적응 시스템, 한국정보과학회 가을 학술발표논문집 제33권 제2호(2006년 10월), pp. 590-594 PDF
  • 김윤경, 창병모, Java 스택 인스펙션을 위한 권한검사 분석 시스템, 한국정보과학회 종합학술대회(KCC 2006), 2006년 6월(평창) PDF
  • 문세원, 창병모, 자바 병행 프로그램의 모니터링 시스템, 한국정보과학회 종합학술대회(KCC 2005), 2005년 6월(평창) PDF
  • 최윤정, 창병모, 자바 프로그램의 이벤트 모니터링, 한국정보과학회 추계학술대회, 2004년 10월(서울대) PDF
  • 오희정, 창병모, 프로그램 변환을 이용한 자바 프로그램의 동적 예외 분석, 한국정보과학회 추계학술대회, 2004년 4월(KAIST) PDF
  • Jang-Wu Jo and B.-M. Chang, Exception Propagation Analysis for Java, 한국정보과학회 프로그래밍언어논문지, 제17권 제1호, pp. 59-72, 2003.
  • 조장우,창병모, 자바의 예외 메커니즘, 한국정보과학회 추계학술발표회 논문집, 2000년 10월
  • 조장우,창병모, 자바 언어를 위한 예외상황 분석 비교연구, 한국정보과학회 가을 학술발표논문집 제27권 제2호(2000년 10월), pp. 323-325.
  • 박효진, 창병모, VRML을 이용한 컴퓨터 조립과정 학습 시스템 설계 및 구현, 한국정보과학회 가을 학술발표논문집 제27권 제2호(2000년 10월), pp. 574-576 PDF
  • 안혜선, 창병모, 인터넷 상에서 Prolog 프로그램 실행 환경 개발, 한국정보과학회 봄 학술발표논문집, 제26 제1호(1999.04), pp. 90-92. PDF
  • 창병모, 최광무, 한태숙, Function-free 논리 프로그램의 Bottom-up 수행의 최적화을 위한 정적 필터으이 최소고정점 정형화, 한국정보과학회 봄 학술발표논문집, 제19권 제1호(1992.04), pp. 241-244. PDF
  • 창병모, 최광무, 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안, 한국정보과학회 봄 학술발표논문집, 제17권 제1호(1990.04), pp. PDF