Language
한국어

Research

 년도별 연구실적

 

 

2017


① 과제/Projects


  • 한국연구재단우주용 SW의 검증 및 신뢰성 확보를 위한 연구, 2014.72019.6, 우주기초사업책임연구원.
  • 한국연구재단분산 이동 실시간 SW의 개발을 위한 시각 프로세스 대수 정형 기법 및 관련 시각화 도구 개발지역대학우수연구자책임연구원, 2015.6~2018.5.
  • 국가기술보안연구소, 가상머신 메모리 관리 기술(MMU/IOMMU) 분석 연구, 위탁과제, 2017.04.01. ~ 2017.10.31.
  • 현대 NGV, Test Case 자동 생성을 위한 프로세스 대수 및 모형 도구 개발, 미래기술 연구과제, 2017. 7. 17 ~ 2018. 1. 16.


② Journals


  • Y. Choe, S. Lee, M. Lee, dT-Calculus: A Process Algebra to Model Timed Movements of Processes, International Journal of Computers, Volume 2, 2017, pp. 63-62.
  • Y. Choe, S. Lee, M. Lee, Transactions on Information Science and Applications, Process Algebra to Model Timed Movements of Processes in Distributed Real-Time Systems, Transactions on Information Science and Applications, Volume 14, 2017, pp. 89-101.


 Conferences

  • S. Lee. Y. Choe, M. Lee, dT-Calculus: A Process Algebra to Model Timed Movements of Processes”, 19th International Conference on Mathematical and Computational Methods in Science and Engineering, Berlin, Germany, March 2017.
  • Y. Choe, M. Lee, A Modeling Method for Smart Mobile Service with IoT Environment, ICServ2017, Vienna, Austria, July 2017.
  • J. Song. M. Rahmani, M. Lee, Behavior Ontology to Model Collective Behavior of Emergency Medical Systems, ER2017/AHA2017, Valencia, Spain, Nov. 2017.

 단행본/Books


  • M. Lee, Formal Methods, Chonbuk National University Press, ISBN 979-11-87892-50-2, 2017.


2016


① 과제


  • 한국연구재단우주용 SW의 검증 및 신뢰성 확보를 위한 연구, 2014.72019.6, 우주기초사업책임연구원.
  • NIPA, SDD ITRC, 고품질 융합 소프트웨어 개발지원 도구 연구 및 고급 인력 양성 사업, 20132016. 공동연구원.
  • 한국연구재단분산 이동 실시간 SW의 개발을 위한 시각 프로세스 대수 정형 기법 및 관련 시각화 도구 개발지역대학우수연구자책임연구원, 2015.6~2018.5.


② Journals


  • M. Lee, A Reengineering Method from Procedural SW to Object-Oriented SW for SaaS in Cloud Computing, International Journal on Recent and Innovative Trends in Computing and Communication, Vol. 4, Issue 3,  pp. 136-154, ISSN 2321-8169.
  • Y. Choe, M. Lee, A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes, Journal of KIISE, Vol. 43, No. 3, pp. 314-326, 2016. 3.
  • Y. Choe, M. Lee, A Process Algebra Construct Method for Reduction of States in Reachability Graph: Conjunctive and Complement Choices, Journal of KIISE, Vol. 43, No. 5, pp. 541-552, 2016. 5.
  • S. Lee, Y. Lee, M. Lee, A Dual Method to Model IoT Systems, International Journal of Mathematical Models and Methods in Applied Science, Volume 10, 2016, pp. 210-219.


 Conferences

  • S. Lee, Y. Choe, M. Lee, A Dual Method to Model IoT Systems, INASE AMCME 2016, May 2016, Riga, Latvia.
  • Y. Choe, S. Lee, M. Lee, SAVE: An Environment for Visual Specification and Verification of IoT, EDOC2016/ModTools2016, Vienna, Austria, 5~6th Sept. 2016.
  • M. Lee, Composition Model for Cloud Services with Behavior Ontology, ICServ2016, Tokyo, Japan, 6~9th Sept. 2016. 


 챕터/Chapter


  • Y. Choe, M. Lee, Algebraic Method to Model Secure IoT, Domain-Specific Conceptual Modeling, Eds., D. Karagiannis, H.C. Mayr, J. Mylopoulos, Springer, ISBN 978-3-319-39417-6, 2016, PP. 335-355.

 단행본/Books


  • M. Lee, Process Algebra, Eohwa Publications, ISBN 978-89-92862-39-4, 2015.




2015


과제


  • 한국연구재단, 우주용 SW의 검증 및 신뢰성 확보를 위한 연구, 2014.72019.6, 우주기초사업, 책임연구원.
  • NIPA, SDD ITRC, 고품질 융합 소프트웨어 개발지원 도구 연구 및 고급 인력 양성 사업, 20132016. 공동연구원.
  • 한국연구재단, 분산 이동 실시간 SW의 개발을 위한 시각 프로세스 대수 정형 기법 및 관련 시각화 도구 개발, 지역대학우수연구자, 책임연구원, 2015.6~2018.5.


논문


  • Y. Choe, M. Lee, δ-CALCULUS: PROCESS ALGEBRA TO MODEL SECURE MOVEMENTS OF DISTRIBUTED MOBILE PROCESSES IN REAL-TIME BUSINESS APPLICATION, 23rd European Conference on Information Systems, 2015.05. Muenster, Germany.
  • W. Choi, Y. Choe, M. Lee, A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra, 39th COMPSAC/MVDA, July 2015. Taiwan.
  • Y. Choi, M. Lee, et. al., A Tool for Visual Specification and Verification for Secure process Movements, eChallenge e-2016, 25~26 November, Vilius, Lithuania, The Best Paper.

 

2014


과제
 

  • 한국연구재단, 우주용 SW의 검증 및 신뢰성 확보를 위한 연구,2014.72019.6, 우주기초사업, 책임연구원.
  • 한국연구재단, Open Cloud Computing에서 SaaS를 위한 지능형 메타 아키텍처 개발, 2010.92015.8, 일반연구자지원사업, 책임연구원.
  • NIPA, SDD ITRC, 고품질 융합 소프트웨어 개발지원 도구 연구 및 고급 인력 양성 사업, 20132016. 공동연구원.


논문


  • Y. Choi, M. Lee, A Lattice Model to Verify Behavioral Equivalences, UKSim-AMSS 8th European Modelling Symposium. 2014.10. Pisa, Italy.
  • M. Lee, J. Choi, A Calculus for Transportion Systems, 38th COMPSACW/MVDS2014, July 2014, Vasteras, Sweden. Vasteras, Sweden.
  • 온진호, 최영복, 이문근, “보안을 위한 공격 행위 감지 메타-모델링”, 정보과학회논문지 제41권 제12, pp.1035~1049, 2014.12.

 
2013


과제


  • 한국연구재단, Open Cloud Computing에서 SaaS를 위한 지능형 메타 아키텍처 개발, 2010.92015.8, 일반연구자지원사업, 책임연구원.
  • NIPA, SDD ITRC, 고품질 융합 소프트웨어 개발지원 도구 연구 및 고급 인력 양성 사업, 20132016. 공동연구원.


논문


  • S. Woo, J. On, M. Lee, Behavior Ontology: A Framework to Detect Attack Patterns for Security, Proceedings of 7thInternational Symposium on Security and Multimodalityin Pervasive Environment (SMPE-2013), March 2013, to be published.
  • J. On, Y. Choi, M. Lee, An Abstraction Method of Behaviors for Process , Proceedings of 2thInternational Workshop on Modeling and Verification of Distributed Systems (MVDS-2013), 37th COMPSAC, July 2013, Kyoto, Japan.
  • M. Lee, Y. Choi, Modeling and Analysis of Equivalence in Behavior Ontology, ECCS2013, Paris, France.
  • 온진호, 우수정, 이문근, 행위온톨로지: 보안을 위한 공격 패턴 감지 프레임웍, 25회 한국소프트웨어공학학술대회, 2013.1.31.


 단행본


  •  M. Lee, Behavior Ontology, Eohwa Publications, ISBN 978-89-92862-31-8, 2013.

 


2012


과제


  •  한국연구재단, Open Cloud Computing에서 SaaS를 위한 지능형 메타 아키텍처 개발, 2010.92015.8, 일반연구자지원사업, 책임연구원.


논문


  • 최재홍, 온진호, 우수정, 박기선, 이문근, 템플릿을 사용한 개인화 폰트 생성 방법, 정보과학회논문지, 컴퓨팅의 실제 및 레터, 2012.04, pp. 336-340.
  • J. On, S. Woo, M. Lee, Onion: a Visual Formal Method for Workflow Design in Cloud Computing, Proceedings of MSV12, July 2012.
  • J. On, S. Woo, M. Lee, A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems, Proceedings of 36th IEEE International Conference on Computer Software and Applications Workshops, July 2012, pp. 218-223.
  • 최재홍,온진호,이문근, 클라우드 컴퓨팅에서 BPEL 분석 및 검증을 위한 Onion 언어로의 변환, 37회 정보처리학회 춘계학술발표대회, 2012.4.


2011


과제

 

  • 한국연구재단, Open Cloud Computing에서 SaaS를 위한 지능형 메타 아키텍처 개발, 2010.92015.8, 일반연구자지원사업, 책임연구원.


논문


  • 우수정, 온진호, 이문근, 프로세스 대수에서 이동성과 상호작용을 분석하기 위한 행위 온톨로지를 이용한 추상화 기법, 한국콘텐츠학회논문지, 2011. 09, pp. 63-75.
  • S. Woo, J. On, M. Lee, An Abstract Method for Mobility and Interaction in Process Algebra Using Behavior Ontology, Proceedings of 35th IEEE Annual Computer Software and Applications Conference, 2011, pp. 128-133.
  • 최재홍, 우수정, 온진호, 박기선, 이문근, 템플릿을 사용한 개인화 폰트 생성 방법, 38회 한국정보과학회 가을 학술발표논문집, pp.226-229, 2011. 11.
  • 우수정, 온진호, 최재홍, 이문근, BPEL의 모델체킹을 위한 BPELOnion Visual Language 변환, 2011년 한국컴퓨터종합학술대회, pp.189-192, 2011.6,
  • 우수정, 온진호, 이문근, 프로세스 대수를 위한 시각화 명세 언어, 2011년 한국컴퓨터종합학술대회, pp.193-196, 2011.6.


2010


과제

 

  • 한국연구재단, Open Cloud Computing에서 SaaS를 위한 지능형 메타 아키텍처 개발, 2010.92015.8, 일반연구자지원사업, 책임연구원.
  • 한국전자통신연구원, 개방형 다중 클라우드 컴퓨팅에 대한 선행 연구, 2010.012010.06, 공동연구원.
  • 한국학술진흥재단, 지정학-시간 공간에서의 추상화 실시간 분산성, 이동성, 상호작용을 위한 Calculus의 개발, 2007.082010.7, 지역우수대학연구자지원사업, 책임연구원.


논문


  • 우수정, 온진호, 이문근, 이동 프로세스 대수에서 행위의 의미분석을 위한 정형기법, 2010년 한국컴퓨터종합학술대회, pp.16-21, 2010.6.
  • 온진호, 우수정, 이문근, Timed CARDMIReal-time Java Virtual Machine에서의 실현 가능성에 관한 연구, 2010년 한국컴퓨터종합학술대회, pp.10-15, 2010.6.


2009


과제

 

  • 한국학술진흥재단, 지정학-시간 공간에서의 추상화 실시간 분산성, 이동성, 상호작용을 위한 Calculus의 개발, 2007.082010.7, 지역우수대학연구자지원사업, 책임연구원.


논문


  • 온진호, 최정란, 이문근, 공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화, 정보처리학회논문지, 2009, pp. 339-352.
  • 우수정, 온진호, 최정란, 이문근, SaaS 기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 VMHost OSGuest OS의 네트워크 성능 측정 방법 개선, 인터넷정보학회논문지, 2009.04, pp. 85-98.


2008


과제

 

  • 한국학술진흥재단, 지정학-시간 공간에서의 추상화 실시간 분산성, 이동성, 상호작용을 위한 Calculus의 개발, 2007.082010.7, 지역우수대학연구자지원사업, 책임연구원.
  • 한국전자통신연구원, 공개 SW가반 이동형 SW 플랫폼을 위한 개인 맞춤 SW 환경연구, 2007.062008.01.31., 책임연구원.


논문


  • 온진호, 최완, 조기환, 이문군, 이동 사무환경을 위한 메신저 프로토콜 설계 및 서버의 구현 및 분석, 인터넷정보학회논문지, 2008. 04, pp. 1-13.
  • J. Choi, J. On, M. Lee, A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-time Systems, Proceedings of NCM, September 2008, pp. 8-13.
  • J. On, J. Choi, M. Lee, A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space, Proceedings of Foundation of Computer Science, July 2008, pp. 56-62.
  • S. Woo, G. Cho, M. Lee, Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra, Proceedings of 2008 International Conference on Foundation of Computer Science, 2008.
  • 우수정, 온진호, 최정란, 이문근, 응급 의료 시스템의 자동 제어를 위한 CARDMI 프로세스 알제브라 기반 스케줄러에 관한 연구, 2008년 한국컴퓨터종합학술대회, 35 1, pp.65-70, 2008.6.


2007


과제


  • 한국학술진흥재단, 지정학-시간 공간에서의 추상화 실시간 분산성, 이동성, 상호작용을 위한 Calculus의 개발, 2007.082010.7, 지역우수대학연구자지원사업, 책임연구원.
  • 한국전자통신연구원, 공개 SW가반 이동형 SW 플랫폼을 위한 개인 맞춤 SW 환경연구, 2007.062008.01.31., 책임연구원.


논문


  • 최정란, 이문근, 객체전송 이동체의 추적을 위한 실시간 분산, 이동, 상호작용 Calculus, 인터넷정보학회논문지, 8권 제2, 2007. 04, pp. 31-43,
  • S. Park, D. Ahn, Y. Lee, M. Lee, A Study on Antecedent Decision Rules for Natural Language Requirements Document in Korean, Proceedings of 2007 International Symposium on Information Technology Convergence, 2007.11.
  • S. Park, D. Ahn, Y. Lee, M. Lee, Antecedent Decision Rules for Anaphora Resolution of Natural Language Requirements Document in Korean, Proceedings of 12th International Conference on Human-Computer Interaction, 2007.
  • 우수정, 온진호, 김원영, 이문근, SaaS 기반 이동형 개인 맞춤 소프트웨어 플랫폼을 위한 가상머신의 Host OSGuest OS의 네트워크 성능 측정에 관한 연구, 2007년 한국통신학회 추계종합학술대회, 2007.11.
  • 온진호, 우수정, 최정란, 이문근, 공간 프로세스 대수에서 시간 속성의 명세와 분석을 위한 정형기법, 한국통신학회 추계종합학술발표회, 361, pp.318-321, 2007.11.
  • 온진호, 우수정, 김원영, 최완, 이문근, 가상머신의 Host OSGuest OS의 동시 사용을 위한 성능 측정 방법, 한국정보과학회 제34회 정기총회 및 추계발표회, 2007.10.
  • 김세종, 이문근, 재공학을 위한 원시 Software와 대상 software의 동일성에 관한 연구, 2007년 한국컴퓨터종합학술대회, 2007.06.
  • 온진호, 최완, 이문근, 이동 사무 환경을 위한 메신저 프로토콜 설계 및 구현, 27회 정보처리학회 춘계학술발표대회, 2007.05.


2006


과제

 

  • 한국전자통신연구원, RFID기반 지능형 이동 사무환경에 관한 연구, 2006.062006.11, 책임연구원.


논문


  • 최정란, 이문근, 추상화에 기반을 둔 실시간 항법 및 배송시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법, 한국콘텐츠학회논문지 제6권 제11, 2006.11, pp. 202-216.
  • 최정란, 이문근, "교통사고 예방을 위한 차량안전베시지 중계노드 선택방법", 전자공학회논문지, 6권 제11, 2006.11, pp. 202-216.
  • S. Yoo, M. Lee, G. Cho, An Emergency Message Propagetion Method in Highway Traffic, Lecture Notes in Computer Science (LNCS), No. 4239, 2006.10, pp. 331-343.
  • 온진호, 최정란, 김원영, 이문근, 이동사무환경에서 협업 메신저 시스템을 위한 서버 설계 및 구현, 한국인터넷정보학회 추계학술발표대회, pp.635-640, 2006.11.
  • 온진호, 최정란, 김원영, 이문근, 유비쿼터스 사무환경에서 XMPP 기반 협업 메신저 시스템을 위한 서버 설계 및 구현, 2006년 한국통신학회 추계종합학술발표회 논문집, pp.641-646, 2006.11.
  • 온진호, 최정란, 김원영, 이문근, 이동 사무 환경에서 협업 메신저 시스템을 위한 서버 설계 및 구현, 2006년 한국인터넷정보학회 추계학술발표회 논문집, 2006.11.
  • 김태호, 김세종, 정문영, 이문근, 이동 사무 환경을 위한 XMPP 기반 협업 메신저시스템 설계 및 구현, 2006년 한국인터넷정보학회 추계학술발표회 논문집, 2006.11.
  • 김세종, 김태호, 이문근, 비디오 감시 시스템으로부터 객체 동선과 관계 패턴의 점직전 추상화에 의한 실시간 시스템 지식의 추출 및 복원 방법론, 2006년 한국정보과학회 추계학술대회 논문집, 2006.10.


2005


과제

 

논문


  • 조기환, 이문근, 최정란, 차우석, 차세대 LBS 서비스를 위한 콘텐츠 리퍼포징 멀티미디어 미들웨어 아키텍처, 소프트웨어공학회지, 18권 제2, 2005.06, pp. 55-64.
  • C. Woo, M. Lee, G. Cho, Design of Reliable MAC Protocol for Directional Broadcasting, Proceedings of MILCOM 2005, 2005.
  • 최정란, 조기환, 이준환, 이문근, 유비쿼터스 컴퓨팅 환경을 위한 콘텐츠 리퍼포징 멀티미디어 미들웨어 아키텍쳐, 2005년 한국정보학회 학술발표대회 논문집, 2005.07.
  • 차우석, 김상수, 이준환, 조기환, 이문근, 적응적 콘텐츠 리퍼포징 서비스를 위한 ICON 설계, 2005년 한국정보처리학회 춘계학술발표대회 논문집, 2005.05.
  • 최정란, 차우석, 조기환, 이문근, 차세대 LBS를 위한 콘텐츠 리퍼포징 멀티미디어 미들웨어 아키텍쳐, 2005년 정보처리학회 춘계학술대회 논문집, 2005.05.


2004


과제

 

논문


  • 김복순, 조기환, 이문근, 센서네트워크에서 낮은 오버헤드를 가진 라우팅 방법, 2004년 한국정보학회 추계학술대회 논문집, 2004.10.


2003(해외안식년)


과제


논문


  • 박지연, 조기환, 이문근, 실시간 시스템의 실행 공간상에서 구문 및 의미 패턴에 기반한 상태 최소화를 위한 추상화 방법, 정보과학회논문지, 2003.02, pp. 103-116,
  • 이정희, 박지연, 박주호, 이문근, 분산 추상시간 기계를 기반으로 한 이동분산 실시간 시스템의 이동 전이 규칙의 정의 및 분석, 2003년 한국 소프트웨어 공학 학술대회 논문집, 2003.02.


2002


과제

 

  • 한국과학재단, 특정기초, 책임연구원, 소프트웨어 순환공학에 기반을 둔 임무위주 시스템의 종합 환경 개발, 1999.92002.8.


논문


  • 이철,이문근, 내고장 실시간 시스템의 신뢰도 향상을 위한 확률 명세 및 실행 예측 분석 방법, 정보과학회논문지, 29권 제12, 2002.12, pp.926-939.
  • 조기환, 박주호, 박지연, 이문근, 상태공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태감소, 소프트웨어공학회지, 2002.06, pp. 25-40.
  • 박지연, 이정희, 이문근, 상태감소를 위한 추상화 기법, 정보과학회논문지, 29권 제1(B), 2002.4, pp.450-432.
  • 최정란 이문근, 절차지향 프로그램으로부터 객체의 지속성을 결정하기 위한 방법론, 정보과학회논문지, 293, 2002.3, pp. 133-144,
  • 박주호,이문근, "이동 분산 실시간 시스템의 명세를 위한 DATM의 정의", 2002년 한국정보과학회 추계학술대회 논문집, 2002.10.
  • 이정희, 박지연, 박주호, 이문근, 이동 분산 실시간 시스템의 명세를 위한 DATM이동 전이 규칙, 2002년 한국정보과학회 추계학술대회 논문집, 2002.10.
  • 장은민, 이문근, 분산 네트워크 환경 명세 방법, 2002년 한국정보과학회 가을학술대회 논문집, 2002.10.
  • 장은민, 이철, 이문근, 실시간 시스템을 분석을 위한 확률 명세 방법, 2002년 한국정보과학회 학술발표논문집(B), 29, 1, pp. 424-426, 2002. 4.
  • 박지연, 이정희, 이문근, 상태 감소를 위한 추상화 기법, 2002년 한국정보과학회 학술발표논문집(B), 29, 1, pp. 430-432, 2002. 4.
  • 박지연, 이문근,시스템 상태 감소를 위한 추상화 방법론, 2002년 제4차 한국 소프트웨어공학 학술대회 논문집, pp. 298-308, 2002.3.
  • 이철, 이문근, 확률 추상 시간 기계, 2002년 제4차 한국 소프트웨어공학 학술대회 논문집, pp. 249-263, 20023.


2001


과제

 

  • 한국과학재단, 특정기초, 책임연구원, 소프트웨어 순환공학에 기반을 둔 임무위주 시스템의 종합 환경 개발, 1999.92002.8.

 

논문


  • 최정란, 박성옥, 이문근, 절차지향 소프트웨어로부터 클래스와 상속성 추출, 정보과학회논문지, 289, 2001.9, pp. 612-628,
  • 박지연, 이문근, 추상 시간 기계를 이용한 실시간 시스템의 도달성에 대한 검증 방법, 정보과학회논문지, 283, pp. 224-238, 2001. 3.
  • 박지연, 이철, 조기환, 이문근, 실시간 시스템의 순환공학을 위한 CASE 도구: SAVE, 소프트웨어공학회지, 143, pp. 84-98, 2001. 9.
  • 최정란, 이문근, 절차중심 소프트웨어로부터 객체 지속성 결정을 위한 방법론, 소프트웨어공학회지, 141, pp. 19-29, 2001, 3.
  • 최정란, 이문근, 절차중심 소프트웨어로부터 객체 지속성 결정을 위한 방법론, 2001년 한국 소프트웨어공학 학술대회 논문집, 31, pp. 32-42, 2001. 2.
  • 이철, 박지연, 이문근, 조기환, 확률 추상 시간 기계, 2001 정형기법 발표 논문집, pp. 135-142, 2001. 6
  • 박지연, 이문근, 상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소, 2001 정형기법 발표 논문집, pp. 93-105, 2001. 6
  • 왕기철, 이문근, 조기환, Ad hoc 네트워크 상에서의 효율적인 클러스터링 기반 라우팅 구조의 제안, 2001년 한국정보과학회 학술대회 발표논문집 제282, pp. 748-750, 2001. 10.
  • 유석대, 이문근, 조기환, 노드 이동의 지역성을 고려한 AODV 라우팅 방법의 향상, 2001년 한국정보과학회 학술대회 발표논문집 제282, pp. 295-297, 2001. 10.
  • 이철, 박지연, 이문근, 확률 추상 시간 기계를 이용한 시스템의 동적 실행 예측, 2001년 한국정보과학회 학술대회 발표논문집 제282, pp. 568-570, 2001. 10.
  • 최정란, 이철, 이연식, 이문근, 절차지향 소프트웨어로부터 클래스와 상속성 추출, 2001년 한국정보과학회 학술대회 발표논문집 제281, pp. 592-594, 2001. 4.
  • 유석대, 박지연, 조기환, 이문근, ATM을 위한 프로세스 스케줄링에 관한 연구, 2001년 한국정보과학회 학술대회 발표논문집 제281, pp. 676-678, 2001. 4.
  • 박지연, 박주호, 조기환, 이문근, 상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소, 2001년 한국정보과학회 학술대회 발표논문집 제281, pp. 571-573, 2001. 4.


2000


과제

 

  • 한국과학재단, 특정기초, 책임연구원, 소프트웨어 순환공학에 기반을 둔 임무위주 시스템의 종합 환경 개발, 1999.92002.8.
  • 한국전자통신연구소, C Legcy 프로그램 Wrapper의 프로토타입 개발에 관한 연구, 2000.32000.12, 책임연구원.
  • 한국전자통신연구원, 책임연구원, 매개언어 및 프로그램 분석기술 및 환경 개발, 1997.22000.11.

 

논문


  • 노경주, 이문근, 추상 시간 기계를 기반으로 한 실시간 시스템의 시간 명세와 분석, 소프트웨어공학회지, 133, pp. 45-54, 2000. 9.
  • 박성옥, 최정란, 이문근, c프로그램으로부터 클래스와 상속성의 자동 추출 방법론, 소프트웨어공학회지, 132, pp. 6-18, 2000. 6.
  • 박지연, 노경주, 이문근, 추상 시간 기계의 도달성 도표에 기반을 둔 실시간 시스템의 검증에 관한 연구, 소프트웨어공학회지, 131, pp. 50-66, 2000. 3.
  • 노경주, 박지연, 이문근, 추상 시간 기계를 이용한 순환공학 정형기법, 소프트웨어공학회지, 131, pp. 32-49, 2000. 3.
  • M. Lee, S. Park, A Methodology to Extract Objects from Procedural Software, Proceeding of CompSAC'00, October 2000, pp. 557-566.
  • 박지연, 노경주, 이문근, 순환 공학을 위한 정형 기법: 추상 시간 기계, 2000년 한국 소프트웨어공학 학술대회 발표논문집 제21, pp. 61-70, 2000. 2.
  • 박성옥, 최정란, 이문근, 절차지향 SW를 객체지향 SW로 재공학하기 위한 클래스와 상속성 추출에 관한 연구, 2000년 한국 소프트웨어공학 학술대회 발표논문집 제21, pp. 51-60, 2000. 2.
  • 박지연, 노경주, 이문근, 추상 시간 기계를 사용한 실시간 시스템의 검증, 2000년 정형기법 학술대회 발표논문집, pp. 151-162, 2000. 2.
  • 노경주, 박지연, 이문근, 순환 공학을 위한 정형 기법: 추상 시간 기계, 2000년 정형기법 학술대회 발표논문집, pp. 137-148, 2000. 2.
  • 노경주, 박지연, 이문근, 추상 시간 기계를 기반으로 한 시간 명세와 분석, 2000년 한국정보과학회 학술대회 발표논문집 제272, pp. 477-479, 2000. 10.
  • 최정란, 이문근, C 언어로부터 C++ 객체 생성과 주기의 결정에 관한 연구, 2000년 한국정보과학회 학술대회 발표논문집 제272, pp. 439-441, 2000. 10.
  • 정양재, 이문근, 소프트웨어의 행위를 이해하기 위한 가상 실행에 관한 연구, 2000년 한국정보과학회 학술대회 발표논문집 제272, pp. 436-438, 2000. 10.
  • 박성옥, 이문근, 두 프로그램의 동일성에 대한 연구, 2000년 한국정보과학회 학술대회 발표논문집 제272, pp. 418-420, 2000. 10.
  • 박지연, 노경주, 이문근, 확률 추상 시간 기계, 2000년 한국정보과학회 학술대회 발표논문집 제272, pp. 415-417, 2000. 10.
  • 최정란, 박성옥, 이문근, 절차지향 SW로부터의 클래스와 상속성 추출에 관한 연구, 2000년 한국정보과학회 학술대회 발표논문집 제271, pp. 510-512, 2000. 4.
  • 노경주, 박지연, 이문근, 실시간 시스템의 순환공학을 위한 정형기법: 추상 시간 기계, 2000년 한국정보과학회 학술대회 발표논문집 제271, pp. 558-560, 2000. 4.
  • 노경주, 박지연, 이문근, 추상 시간 기계의 시간 명세, 2000년 한국정보과학회 학술대회 발표논문집 제271, pp. 576-578, 2000. 4.
  • 정양재, 박성옥, 이문근, 가상실행에 기반을 둔 SW 이행에 관한 연구, 2000년 한국정보과학회 학술대회 발표논문집 제271, pp. 579-581, 2000. 4.
  • 박지연, 노경주, 이문근, 추상 시간 기계를 사용한 실시간 시스템의 역명세 검증, 2000년 한국정보과학회 학술대회 발표논문집 제271, pp. 489-491, 2000. 4.


1999


과제

 

  • 한국과학재단, 특정기초, 책임연구원, 소프트웨어 순환공학에 기반을 둔 임무위주 시스템의 종합 환경 개발, 1999.92002.8.
  • 한국전자통신연구원, 책임연구원, 매개언어 및 프로그램 분석기술 및 환경 개발, 1997.22000.11.
  • 한국과학재단, 소프트웨어 재역공학을 위한 객체지향방법론 개발, 1997.31999.2, 일반연구자지원사업, 책임연구원,
  • 한국정보통신연구관리단, 역명세를 이용한 실시간 시스템 검증 방법 개발, 1998.81999.7, 책임연구원.

 

논문


  • 박성옥, 노경주, 이문근, 최적합 객체 선정을 위한 다중 객체군 추출, 정보과학회논문지, 2612, pp. 1468-1481, 1999. 12.
  • 박성옥, 이문근, 최적합 객체 선정을 위한 다중 객체군 추출에 관한 연구, 소프트웨어공학회지, 121, pp. 58-73, 1999. 3.
  • 이문근, 정명선, Ada Real-time State Machine, 프로그래밍언어연구회 1999년 동계 학술대회 발표논문집, pp. 11-22, 1999. 2.
  • 박성옥, 노경주, 이문근, 영역 모델과 객체후보군의 유사도 측정에 관한 연구, 1999년 한국정보과학회 학술대회 발표논문집 제262, pp. 522-524, 1999. 10.
  • 박성옥, 노경주, 정양재, 이문근, 다중 객체군 추출에 관한 연구, 1999년 한국정보과학회 학술대회 발표논문집 제261, pp. 542-544, 1999. 4.
  • 이문근, 정명선, Ada 실시간 상태기계, 1999년 한국 소프트웨어공학 학술대회 발표논문집 제11, pp. 57-69, 1999. 3.
  • 박성옥, 이문근, 최적합 객체선정을 위한 다중 객체군 추출에 관한 연구, 한국 소프트웨어공학 학술대회 발표논문집 제11, pp. 90-100, 1999. 3.


1998


과제

 

  • 한국전자통신연구원, 책임연구원, 매개언어 및 프로그램 분석기술 및 환경 개발, 1997.22000.11.
  • 한국과학재단, 소프트웨어 재역공학을 위한 객체지향방법론 개발, 1997.31999.2, 일반연구자지원사업, 책임연구원,
  • 한국정보통신연구관리단, 역명세를 이용한 실시간 시스템 검증 방법 개발, 1998.81999.7, 책임연구원.

 

논문


  • 이문근, 정창신, 정명선, 소프트웨어아키텍쳐를 이용한 역공학 모델, 정보과학회논문지, 2511, pp. 1630-1647, 1998. 11.
  • C. Chung, M.Lee, S. Jeong, A Scalable and Modular Approach to Verification of ATM Switching System Using Reverse Specification, Proceedings of 98 Asia Pacific Software Engineering Conference (APSEC98), Dec. 1998, pp. 278-287.
  • 정명선, 이문근, S/W 이해를 위한 5차원 모델, 1998년 한국정보과학회 학술대회 발표논문집 제252, pp. 529-531. 1998. 10.
  • 박성옥, 이문근, 절차중심 S/W의 재공학을 위한 다중선택 확률론적인 정제 결정의 모델링에 기반한 클래스 추출에 관한 연구, 1998년 한국정보과학회 학술대회 발표논문집 제252, pp. 508-510, 1998. 10.
  • 박성옥, 이문근, 운영체제 의존적 소프트웨어의 운영체제 비의존적 소프트웨어로의 재공학에 대한 연구, 1998년 한국정보과학회 학술대회 발표논문집 제251, pp. 503-505, 1998. 4.
  • 정명선, 이문근, 정창신, 방대한 실시간 소프트웨어의 역명세를 위한 상태기계, 1998년 한국정보과학회 학술대회 발표논문집 제251, pp. 500-502, 1998. 4.


1997


과제

 

  • 한국전자통신연구원, 책임연구원, 매개언어 및 프로그램 분석기술 및 환경 개발, 1997.22000.11.
  • 한국과학재단, 소프트웨어 재역공학을 위한 객체지향방법론 개발, 1997.31999.2, 일반연구자지원사업, 책임연구원,
  • 한국전자통신연구소, 역공학 기술을 이용한 교환기 S/W의 기능 검증에 관한 연구, 1997.031997.12, 책임연구원.

 

논문


  • 이문근, 실시간 소프트웨어의 조절적단위적 이해 방법, 정보처리학회논문지, 412, 1997.12, pp. 3159-3174.
  • 이문근, Legacy 실시간 소프트웨어의 운영체제 호출을 Ada로 번역하기 위한 방법론, 정보처리학회논문지, 411, 1997.11, pp. 2874-2890.
  • 이문근, Legacy 실시간 시스템을 위한 재역공학 환경, 정보과학회논문지, 248, 1997.8, pp. 842-864.
  • 정 명선, 정 창신, 이문근, 역공학 기술을 이용한 ATM 교환기 SW 기능검증에 관한 연구, 1997년 정보과학회추계학술대회 논문집, 9710, pp. 653-656.


~1996


연구과제 (미국, CCCC)


  • NSWC, Reengineering Concurrent Software into Ada, 1993.11993.12, 책임 연구원.
  • NSWC, The Development of an Environment for Understanding of Real-Time Software, 1994.11994.8, 연구원.
  • NSWC, System Engineering Automation (SEA) for Distributed System, 1992.51996.1, 연구원.
  • NSWC, Software Specification Assistant (SSA), 1992,51996.1, 연구원.
  • NSWC, Software Reverse Engineering of Assembly Code, 1992.51996.1, 연구원.
  • NSWC, Software Re/Reverse Engineering Environment (SRE), 1992.51996.1, 책임 연구원.


논문


  • 1995 (박사논문), An Environment for Understanding of Real-time Software, UPenn, USA.
  • 1992 (석사논문), Analysis of Parallelism Using MODEL Equational Language. UPenn, USA.
  • oon Lee, Noah Prywes, Insup Lee, Automation of Analysis, Simulation and Understanding of Real-Time Ada Software, Proceedings of the First IEEE International Conference of Engineering of Complex Computer System, 1995.01, pp.55-58.
  • Noah Prywes, G. Ingargiola, I. Lee, M. Lee, Transformation Concurrency Related Operating Calls into A Concurrent Programming Language, Proceedings of the Third International Symposium on High-Performance Distributed Computing, San Francisco, CA, Aug. 1994.
  • Noah Prywes, Insup Lee, Moon Lee, Reengineering Concurrent Software into Ada, Proceedings of the 4th Systems Reengineering Technology Workshop, Jan. 1994, pp.157-177.
  • Baba Prasad, Moon Lee, and Rajesh Purushothaman, The System Engineering Technology Interface Secification (SETIS): An Update, Proceedings of the 1993 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '93), 1993, pp. 94-106.
  • Insup Lee, Evan Lock, Rajesh Purushothaman, and Moon Lee, Exchange of Information between Design Capture and Design Optimization Techniques: The DESTINATION Interface Specification, Proceedings of the 1992 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '92), 1992, pp. 553-573.