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 |