Hanyang University repository
menu
검색
Library
Hanyang
Browse
Communities & Collections
Titles
Authors
My Repository
My Account
Receive email updates
Edit Profile
Repository at Hanyang University
Search
All of Repository
COLLEGE OF ENGINEERING SCIENCES[E](공학대학)
COMPUTER SCIENCE AND ENGINEERING(컴퓨터공학과)
Articles
Theses (Master)
Theses (Ph.D.)
Start a new search
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-10 of 11 (Search time: 0.002 seconds).
Item hits:
Issue Date
Title
Author(s)
2007-06
Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers
이욱세
2005-04
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
이욱세
2006-11
A Practical String Analyzer by the Widening Approach
이욱세
2006-11
가벼운 모양분석을 통한 메모리 누수 탐지
이욱세
2006-09
힙 메모리 분석 및 검증의 연구 동향
이욱세
2005-10
Static insertion of safe and effective memory reuse commands into ML-like programs
이욱세
2008-07
Scalable Shape Analysis for Systems Code
이욱세
2008-02
APROV: Another Program Verifier for Embedded Linux Device Drivers
이욱세
2008-02
Applying Dataflow Analysis to Detecting Software Vulnerability
이욱세
2009-02
소프트웨어 가치와 품질에 대한 인식전환
이욱세
previous
1
2
next
Discover
-Subject
2
Abstract Domain
2
Separation Logic
2
Static analysis
1
Abstract State
1
automatic image annotation
1
Backward error-tracing
1
compile-time garbage collection
1
Content-based image retrieval
1
Context Sensitivity
1
Dataflow analysis
next >
-Date issued
1
2009
3
2008
1
2007
3
2006
2
2005
1
2004
BROWSE
Communities & Collections
Titles
Authors