내장형 소프트웨어의 원격 개발을 위한 Q+용 타겟관리자의 개발(A Target Manager for Remote Developments of Q+ Embedded Applications)
· 약 1분
한국정보처리학회 춘계발표회, 2000년 4월
Petri net Slice를 이용한 Petri net 모델의 합성적 분석(Compositional Analysis of Petri net Models using Petri net Slices)
· 약 1분
한국정보처리학회 추계발표회(우수논문), 1999년 10월
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
· 약 1분
Formal Methods Workshop '98, Daejon, Korea, 1998년 10월
컬러드 페트리 네트를 이용한 지능망 서비스의 모델링 및 검증(Modeling and Verifying IN Services Using Colored Petri Net)
· 약 1분
2nd National Conference on Advanced Intelligent Network, 1996.
Hierarchical Analysis of the AttNet Model : A Distributed Process Model
· 약 1분
Workshop on Software Engineering, Seoul, Korea, Nov. 1994.
Modeling and Detecting Feature Interactions using Petri-Nets
· 약 1분
4th Joint Conference on Communications and Information, ChunChon, Korea, Apr. 1994.