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 |