Iksoon Hwang

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