Jesung Kim

2006
12	EE	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
11	EE	Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim: Run-Time Checking of Dynamic Properties. Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006)
2005
10	EE	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
9	EE	Madhukar Anand, Jesung Kim, Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173
2004
8	EE	Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi: Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447
7		Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492
2003
6	EE	Jesung Kim, Insup Lee: Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium 2003: 160-
5	EE	Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
4	EE	Li Tan, Jesung Kim, Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2001
3	EE	Yujin Lim, Jesung Kim, Sang Lyul Min, Joong Soo Ma: Performance Evaluation of the Bluetooth-Based Public Internet Access Point. ICOIN 2001: 643-648
2000
2		Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim: A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References. OSDI 2000: 119-134
1995
1		Jesung Kim, Sang Lyul Min, Sanghoon Jeon, ByoungChul Ahn, Deog-Kyoon Jeong, Chong-Sang Kim: U-Cache: A Cost-Effective Solution to the Synonym Problem. HPCA 1995: 243-252

Coauthor Index

1	ByoungChul Ahn	[1]
2	Rajeev Alur	[5]
3	Madhukar Anand	[9] [10] [12]
4	Yookun Cho	[2]
5	Jin-Young Choi	[8]
6	Jongmoo Choi	[2]
7	Sebastian Fischmeister	[10] [12]
8	Yerang Hur	[8]
9	Franjo Ivancic	[5]
10	Sanghoon Jeon	[1]
11	Deog-Kyoon Jeong	[1]
12	Chong-Sang Kim	[1] [2]
13	Jong Min Kim	[2]
14	Insup Lee	[4] [5] [6] [7] [8] [9] [10] [11] [12]
15	Yujin Lim	[3]
16	Joong Soo Ma	[3]
17	Sang Lyul Min	[1] [2] [3]
18	Sam H. Noh	[2]
19	Usa Sammapun	[11]
20	Oleg Sokolsky	[5] [7] [11]
21	Li Tan	[4] [7]