| 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 |