Conference papers

  • Bo-Reum Park, Seung-Hyun Yang, Yeon-Kyung Lee and Byeong-Mo Chang, Design and Implementation of Location-Aware Smart Theater Guide System 2009 Int. Conf. on Applications and Principles of Information Science, Japan, Jan. 2009
    Available: PDF
  • 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, TRUST'06, Seoul, Korea, Aug. 2006(LNCS 4097, pp. 650-659, Springer Verlag)
    Available: PDF
  • Heejung Ohe and Byeong-Mo Chang, An Exception Monitoring System for Java Rapid Integration of Software Engineering(RISE'04), Nov. 2004, Luxembourg. (LNCS Vol. 3475, pp71-81, 2005, Springer-Verlag)
    Available: PDF
  • Jang-Wu Jo and Byeong-Mo Chang, Constructing control flow graph for Java by decoupling exception flow from normal flow. ICCSA 2004, May 2004, (LNCS, Vol 3043, pp. 105-112, Springer-Verlag).
    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. (LNCS Vol. 3280, pp. 945-954)
    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