2009 | ||
---|---|---|
41 | EE | Hyelim Park, Myungchul Kim, Sooyong Lee, Sungwon Kang, Yongho Kim: A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks. SAC 2009: 196-200 |
2008 | ||
40 | EE | Sooyong Lee, Myungchul Kim, Kyounghee Lee, Soonuk Seol, Gabsoo Lee: Seamless QoS Guarantees in Mobile Internet Using NSIS with Advance Resource Reservation. AINA 2008: 464-471 |
39 | EE | Myungjin Lee, Moonsoo Kang, Myungchul Kim, Jeonghoon Mo: A cross-layer approach for TCP optimization over wireless and mobile networks. Computer Communications 31(11): 2669-2675 (2008) |
2007 | ||
38 | EE | Eunchul Cha, Kyounghee Lee, Myungchul Kim: Cross Layer Fast Handoff for SIP. AINA 2007: 443-450 |
37 | EE | Sungwon Kang, Jihyun Lee, Myungchul Kim, Woojin Lee: Towards a Formal Framework for Product Line Test Development. CIT 2007: 921-926 |
36 | EE | Eriko Nurvitadhi, Ben Lee, Chansu Yu, Myungchul Kim: Adaptive semi-soft handoff for Cellular IP networks. IJWMC 2(2/3): 109-119 (2007) |
2006 | ||
35 | EE | Kyounghee Lee, Myungchul Kim, Chansu Yu, Ben Lee, Seungphil Hong: Selective advance reservations based on host movement detection and resource-aware handoff. Int. J. Communication Systems 19(2): 163-184 (2006) |
2005 | ||
34 | EE | Hongseock Jeon, Myungchul Kim, Kyunghee Lee, Jeonghoon Mo, Danhyung Lee: Link Layer Assisted Multicast-Based Mobile RSVP (LM-MRSVP). ICOIN 2005: 452-462 |
33 | Moonjoo Kim, Kyounghee Lee, Myungchul Kim, Jongho Bang, Suwon Lee: Wireless Signal Strength-Aware TCP-Friendly Rate Control in Mobile Networks. ICWN 2005: 63-72 | |
32 | EE | Ben Lee, Eriko Nurvitadhi, Reshma Dixit, Chansu Yu, Myungchul Kim: Dynamic voltage scaling techniques for power efficient video decoding. Journal of Systems Architecture 51(10-11): 633-652 (2005) |
2004 | ||
31 | Jeongin Kim, Myungchul Kim, Kyounghee Lee, Seungphil Hong: Fast Recovery for TCP-Friendly Rate Control in Mobile IP Networks. International Conference on Wireless Networks 2004: 39-45 | |
30 | EE | Kyounghee Lee, Myungchul Kim, Sungwon Kang, Jonghyun Lee: Selective Establishment of Pseudo Reservations for QoS Guarantees in Mobile Internet. Mobile Data Management 2004: 243- |
29 | EE | Wooseong Kim, Myungchul Kim, Kyounghee Lee, Chansu Yu, Ben Lee: Link layer sssisted mobility support using SIP for real-time multimedia communications. Mobility Management & Wireless Access Protocols 2004: 127-129 |
28 | EE | Soonuk Seol, Myungchul Kim, Samuel T. Chanson, Sungwon Kang: Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle. IEEE Journal on Selected Areas in Communications 22(10): 2062-2074 (2004) |
2003 | ||
27 | Eriko Nurvitadhi, Ben Lee, Chansu Yu, Myungchul Kim: A Comparative Study of Dynamic Voltage Scaling Techniques for Low-Power Video Decoding. Embedded Systems and Applications 2003: 292-298 | |
26 | EE | Vadim Trenkaev, Myungchul Kim, Soonuk Seol: Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. TestCom 2003: 226-242 |
25 | EE | Sangjo Yoo, Kyung Sup Kwak, Myungchul Kim: Predictive and measurement-based dynamic resource management and QoS control for videos. Computer Communications 26(14): 1651-1661 (2003) |
24 | EE | Soonuk Seol, Myungchul Kim, Sungwon Kang, Jiwon Ryu: Fully automated interoperability test suite derivation for communication protocols. Computer Networks 43(6): 735-759 (2003) |
23 | EE | Moonsoo Kang, Chansu Yu, Hee Yong Youn, Ben Lee, Myungchul Kim: Isomorphic Strategy for Processor Allocation in k-Ary n-Cube Systems. IEEE Trans. Computers 52(5): 645-657 (2003) |
22 | EE | Myungchul Kim, Sangjo Yoo, Jinhee Park, Sungwon Kang, Soon J. Hyun, Hyuckjae Lee: A dynamic protocol conformance test method. Journal of Systems and Software 67(1): 31-43 (2003) |
2002 | ||
21 | EE | Dongman Lee, Hyewon Shin, Soon J. Hyun, Younghee Lee, Myungchul Kim, Hee Yong Youn: Extensions to DNS for Supporting Internationalized Domain Names. ICOIN (2) 2002: 791-801 |
20 | EE | Eunsuk Cho, Insuk Park, Soon J. Hyun, Myungchul Kim: ARML: an active rule mark-up language for heterogeneous active information systems. RuleML 2002 |
19 | Soonuk Seol, Myungchul Kim, Samuel T. Chanson: Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. TestCom 2002: 151-168 | |
18 | Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi: Automated Generation of Interoperability Tests. TestCom 2002: 169- | |
2001 | ||
17 | Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee: Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea Kluwer 2001 | |
2000 | ||
16 | EE | Jongkuk Lee, Myungchul Kim, Hee Yong Youn, Yusik Hahm, Dongman Lee: Class-Based Proxy Server for Mobile Computers. ICPP Workshops 2000: 559-566 |
15 | EE | Wonyong Yoon, Dongman Lee, Chansu Yu, Myungchul Kim: Tree-Based Reliable Multicast in Combined Fixed/Mobile IP Networks. LCN 2000: 478-487 |
14 | EE | Saehoon Kang, Hee Yong Youn, Younghee Lee, Dongman Lee, Myungchul Kim: The Active Traffic Control Mechanism for Layered Multimedia Multicast in Active Network. MASCOTS 2000: 325-332 |
13 | Jiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol: Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. TestCom 2000: 127-142 | |
12 | EE | Sungwon Kang, Jaehwi Shin, Myungchul Kim: Interoperability test suite derivation for communication protocols. Computer Networks 32(3): 347-364 (2000) |
1999 | ||
11 | Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang: An enhanced model for testing asynchronous communicating systems. FORTE 1999: 337-356 | |
10 | Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe: Interoperability Test Suite Derivation for the TCP. FORTE 1999: 357-376 | |
9 | Yongbum Park, Myungchul Kim, Sungwon Kang: Conformance Testing of Multiprotocol IUTs. IWTCS 1999: 267-286 | |
8 | Sungwon Kang, Youngsoo Seo, Deukyoon Kang, Mijeong Hong, Junhwan Yang, Ilkook Koh, Jaehwi Shin, Sangjo Yoo, Myungchul Kim: Development and Application of ATM Protocol Conformance Test System. IWTCS 1999: 331-346 | |
7 | Myungchul Kim, Samuel T. Chanson, Son T. Vuong: Concurrency Model for Distributed Systems. J. Parallel Distrib. Comput. 59(3): 445-464 (1999) | |
1997 | ||
6 | Deukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo: A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. FORTE 1997: 267-282 | |
5 | Sungwon Kang, Myungchul Kim: Interoperability Test Suite Derivation for Symmetric Communication Protocols. FORTE 1997: 57-72 | |
1996 | ||
4 | EE | Son T. Vuong, Sangho Lee, Myungchul Kim: TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example. Computer Communications 19(9-10): 804-812 (1996) |
1993 | ||
3 | Myungchul Kim, Samuel T. Chanson, Son T. Vuong: Concurrency Model and Its Application to Formal Protocol Specifications. INFOCOM 1993: 766-773 | |
2 | Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu: The UBC Protocol Testing Environment. Protocol Test Systems 1993: 215-230 | |
1991 | ||
1 | Myungchul Kim, Samuel T. Chanson, Son T. Vuong: Protocol Trace Analysis Based on Formal Specifications. FORTE 1991: 393-408 |