Iksoon Hwang

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 2

Top Topics

Top Venues

Inf. Process. Lett.

Softw. Test. Verification Reliab.

IEEE Commun. Lett.

IEICE Trans. Commun.

Publications

Sungjin Shin, Donghyuk Han, Hyoung Jun Cho, Jong-Moon Chung, Iksoon Hwang, Dongseok Ok
TCP and MPTCP Retransmission Timeout Control for Networks Supporting WLANs. IEEE Commun. Lett. 20 (5) (2016)
Hojin Lee, Dongseok Ok, Joonsub Han, Iksoon Hwang, Kangtae Kim
Performance anomaly of neighbor discovery in Bluetooth Low Energy. ICCE (2016)
Donghyuk Han, Sungjin Shin, Hyoung Jun Cho, Jong-Moon Chung, Dongseok Ok, Iksoon Hwang
Measurement and stochastic modeling of handover delay and interruption time of smartphone real-time applications on LTE networks. IEEE Commun. Mag. 53 (3) (2015)
Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli
Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. Inf. Process. Lett. 112 (7) (2012)
Iksoon Hwang, Jaesung Park
A Statistical Testing Method for Accurate Assessment of Packet Loss Probability. IEICE Trans. Commun. (9) (2012)
Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère
Applying formal methods to PCEP: an industrial case study from modeling to test generation. Softw. Test. Verification Reliab. 22 (5) (2012)
Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi
Verification of Interoperability Security Policies by Model Checking. HASE (2011)
Iksoon Hwang, Ana R. Cavalli
Testing a probabilistic FSM using interval estimation. Comput. Networks 54 (7) (2010)
Mazen El Maarabani, Iksoon Hwang, Ana R. Cavalli
A Formal Approach for Interoperability Testing of Security Rules. SITIS (2010)
Mazen El Maarabani, Asma Adala, Iksoon Hwang, Ana R. Cavalli
Interoperability testing of presence service on IMS platform. TRIDENTCOM (2009)
Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM (2009)
Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère
Modeling, Validation, and Verification of PCEP Using the IF Language. FMOODS/FORTE (2009)
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang
Automatic Timed Test Case Generation for Web Services Composition. ECOWS (2008)
Jaesung Park, Beomjoon Kim, Iksoon Hwang
Handover-Specific Optimization for IEEE 802.16e Sleep Mode. MMM (2) (2007)
Jaesung Park, Beomjoon Kim, Iksoon Hwang
Secure and Seamless Handoff Scheme for a Wireless LAN System. OTM Workshops (1) (2006)