dblp.uni-trier.dewww.uni-trier.de

Jesung Kim Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
12EEMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
11EEOleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim: Run-Time Checking of Dynamic Properties. Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006)
2005
10EEMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
9EEMadhukar Anand, Jesung Kim, Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173
2004
8EEYerang 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
6EEJesung Kim, Insup Lee: Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium 2003: 160-
5EERajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
4EELi Tan, Jesung Kim, Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2001
3EEYujin 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)