2002-04 | Microcode-based memory BIST implementing modified march algorithms | 도경구 |
2007-11 | 유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사 | 도경구 |
2009-01 | An action semantics based on two combinators | 도경구 |
2009-08 | Abstract parsing: Static analysis of dynamically generated string output using LR-parsing technology | 도경구 |
2009-10 | Formal identification of right-grained services for service-oriented modeling | 도경구 |
2009-11 | Transaction synchronization protocol using XML in client-server environment | 도경구 |
2009-11 | Tree-pattern-based duplicate code detection | 도경구 |
2009-11 | Generic information system using SMS gateway | 도경구 |
2009-12 | A comparative analysis of XML schema languages | 도경구 |
2011-05 | 실행시간 의존성 측정을 통한 SOA 취약성 평가 | 도경구 |
2011-11 | Abstract LR-parsing | 도경구 |
2011-12 | A trust management model for QoS-based service selection | 도경구 |
2013-01 | Use-case driven service modelling with XML-based tailoring for SOA | 도경구 |
2013-06 | Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing | 도경구 |
2013-12 | Quantitative trust management to support QoS-aware service selection in service-oriented environments | 도경구 |
2014-06 | 지식베이스를 이용한 보안취약점 정적분석 | 도경구 |
2014-06 | 양방향 정적분석을 통한 정수구간 명세 자동유추의 실험 | 도경구 |
2014-11 | SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 설계 | 도경구 |
2014-12 | SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 구현 및 실험 | 도경구 |
2014-12 | 요약파싱기법을 사용한 웹 접근성의 정적 분석 | 도경구 |