| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hyun-il Lim, Taisook Han |
Analyzing Stack Flows to Compare Java Programs.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han |
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han |
Over-Approximated Control Flow Graph Construction on Pure Esterel. |
IEICE Transactions |
2010 |
DBLP BibTeX RDF |
|
| 1 | Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han |
A static API birthmark for Windows binary executables. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han |
A method for detecting the theft of Java programs through analysis of the control flow information. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun-Goo Kang, Taisook Han |
A bottom-up pointer analysis using the update history. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe |
Refining schizophrenia via graph reachability in Esterel. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han |
A Static Java Birthmark Based on Control Flow Edges. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han |
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns. |
IEICE Transactions |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han |
Detecting Java Theft Based on Static API Trace Birthmark. |
IWSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han |
A Static Bug Detector for Uninitialized Field References in Java Programs. |
IEICE Transactions |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han |
Goal-directed weakening of abstract interpretation results. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis |
| 1 | Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han |
A Static Birthmark of Binary Executables Based on API Call Structure. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
software piracy, binary analysis, software birthmark |
| 1 | Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han |
Automatic Hardware/Software Interface Generation for Embedded System. |
JIPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han |
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. |
EUC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han |
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwanghoon Choi, Taisook Han |
A type system for the push-enter model. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwanghoon Choi, Hyun-il Lim, Taisook Han |
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. |
FLOPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kwanghoon Choi, Taisook Han |
A Type System for the Push-Enter Model. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Joonseon Ahn, Taisook Han |
An Analytical Method for Parallelization of Recursive Functions. |
Parallel Processing Letters |
2000 |
DBLP BibTeX RDF |
|
| 1 | Joonseon Ahn, Taisook Han |
An Analytical Method for Parallelization of Recursive Functions. |
Parallel Processing Letters |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jeonghee Kim, Taisook Han, Suk Kyoon Lee |
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. |
DASFAA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gyun Woo, Taisook Han |
ZG-machine: a Space-Efficient G-machine. |
Scottish Functional Programming Workshop |
1999 |
DBLP BibTeX RDF |
|
| 1 | Seong-Pyo Kim, Taisook Han |
Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions. |
Parallel Computing |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Taisook Han |
Object-Oriented VRML for Multi-User Environments. |
VRML |
1997 |
DBLP DOI BibTeX RDF |
multicast mechanism, object orientation, VRML, multi-user environment |
| 1 | Min-Soo Jung, Kwang-Moo Choe, Taisook Han |
An Efficient Computation of Right Context for LR-Based Error Repair. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han |
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | DongGill Lee, Kwang-Moo Choe, Taisook Han |
A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han |
Static Filtering on Stratified Programs. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | In-Sig Yun, Kwang-Moo Choe, Taisook Han |
Syntactic Error Repair Using Repair Patterns. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Do-Hyung Kim, Kwang-Moo Choe, Taisook Han |
Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. |
Parallel Processing Letters |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")