Se-Won Kim

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 2

Top Topics

Graphical Interfaces

Abstract Interpretation

Secure Information Sharing

String Matching

Top Venues

IEEE Trans. Ind. Informatics

ACM Trans. Program. Lang. Syst.

Publications

Se-Won Kim, Xavier Rival, Sukyoung Ryu
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Chi-Young Lee, Se-Won Kim, Chuck Yoo
VADI: GPU Virtualization for an Automotive Platform. IEEE Trans. Ind. Informatics 12 (1) (2016)
Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu
Inferring Grammatical Summaries of String Values. APLAS (2014)
Se-Won Kim, Chi-Young Lee, MooWoong Jeon, Hae Young Kwon, Hyun Woo Lee, Chuck Yoo
Secure device access for automotive software. ICCVE (2013)
Se-Won Kim, Kwang-Moo Choe
String Analysis as an Abstract Interpretation. VMCAI (2011)
Jae-Hyun Hwang, Jin-Hee Choi, Se-Won Kim, Chuck Yoo
DR-TCP: Downloadable and reconfigurable TCP. J. Syst. Softw. 81 (1) (2008)
Young-Jae Cho, Se-Won Kim, Kyung-Hoon Lee, Hee-Cheol Choi, Young-Lok Kim, Seung-Hoon Lee
104 mW 0.18 µCMOS ADC for DVDs with Dual-Mode Inputs. IEICE Trans. Electron. (5) (2006)
Se-Won Kim, Jae-Hyun Hwang, Jin-Hee Choi, Chuck Yoo
Sentry: A Binary-Level Interposition Mechanism for Trusted Kernel Extension. CIT (2006)
Se-Won Kim, Young-Jae Cho, Kyung-Hoon Lee, Seung-Hoon Lee, Jae-Yup Lee, Hyun-Chul Noh, Hee-Sub Lee
104 mW 0.18 um CMOS ADC for DVDs with dual-mode inputs. ISCAS (4) (2005)
Jong-Bum Park, Sang-Min Yoo, Se-Won Kim, Young-Jae Cho, Seung-Hoon Lee
A 10-b 150-MSample/s 1.8-V 123-mW CMOS A/D converter with 400-MHz input bandwidth. IEEE J. Solid State Circuits 39 (8) (2004)