Secure and Seamless Handoff Scheme for a Wireless LAN System. - Jaesung Park; Beomjoon Kim; Iksoon Hwang (OTM Workshops (1), 2006)

Handover-Specific Optimization for IEEE 802.16e Sleep Mode. - Jaesung Park; Beomjoon Kim; Iksoon Hwang (MMM (2), 2007)

Automatic Timed Test Case Generation for Web Services Composition. - Mounir Lallali; Fatiha Zaïdi; Ana R. Cavalli; Iksoon Hwang (ECOWS, 2008)

Modeling, Validation, and Verification of PCEP Using the IF Language. - Iksoon Hwang; Mounir Lallali; Ana R. Cavalli; Dominique Verchère (FMOODS/FORTE, 2009)

A Statistical Approach to Test Stochastic and Probabilistic Systems. - Mercedes G. Merayo; Iksoon Hwang; Manuel Núñez 001; Ana R. Cavalli (ICFEM, 2009)

Interoperability testing of presence service on IMS platform. - Mazen El Maarabani; Asma Adala; Iksoon Hwang; Ana R. Cavalli (TRIDENTCOM, 2009)

A Formal Approach for Interoperability Testing of Security Rules. - Mazen El Maarabani; Iksoon Hwang; Ana R. Cavalli (SITIS, 2010)

Testing a probabilistic FSM using interval estimation. - Iksoon Hwang; Ana R. Cavalli (Comput. Networks, 2010)

Verification of Interoperability Security Policies by Model Checking. - Mazen El Maarabani; Ana R. Cavalli; Iksoon Hwang; Fatiha Zaïdi (HASE, 2011)

A Statistical Testing Method for Accurate Assessment of Packet Loss Probability. - Iksoon Hwang; Jaesung Park (IEICE Trans. Commun., 2012)

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. - Iksoon Hwang; Nina Yevtushenko 001; Ana R. Cavalli (Inf. Process. Lett., 2012)

Applying formal methods to PCEP: an industrial case study from modeling to test generation. - Iksoon Hwang; Ana R. Cavalli; Mounir Lallali; Dominique Verchère (Softw. Test. Verification Reliab., 2012)

Measurement and stochastic modeling of handover delay and interruption time of smartphone real-time applications on LTE networks. - Donghyuk Han; Sungjin Shin; Hyoung Jun Cho; Jong-Moon Chung; Dongseok Ok; Iksoon Hwang (IEEE Commun. Mag., 2015)

Performance anomaly of neighbor discovery in Bluetooth Low Energy. - Hojin Lee; Dongseok Ok; Joonsub Han; Iksoon Hwang; Kangtae Kim (ICCE, 2016)

TCP and MPTCP Retransmission Timeout Control for Networks Supporting WLANs. - Sungjin Shin; Donghyuk Han; Hyoung Jun Cho; Jong-Moon Chung; Iksoon Hwang; Dongseok Ok (IEEE Commun. Lett., 2016)