Iksoon Hwang

According to our database, Iksoon Hwang authored at least 15 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Performance anomaly of neighbor discovery in Bluetooth Low Energy.

Hojin Lee, Dongseok Ok, Joonsub Han, Iksoon Hwang, Kangtae Kim

Proceedings of the IEEE International Conference on Consumer Electronics, 2016

2015

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

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

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, Ana R. Cavalli

Inf. Process. Lett., 2012

A Statistical Testing Method for Accurate Assessment of Packet Loss Probability.

Iksoon Hwang, Jaesung Park

IEICE Trans. Commun., 2012

2011

Verification of Interoperability Security Policies by Model Checking.

Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

Testing a probabilistic FSM using interval estimation.

Iksoon Hwang, Ana R. Cavalli

Comput. Networks, 2010

A Formal Approach for Interoperability Testing of Security Rules.

Mazen El Maarabani, Iksoon Hwang, Ana R. Cavalli

Proceedings of the Sixth International Conference on Signal-Image Technology and Internet-Based Systems, 2010

2009

Interoperability testing of presence service on IMS platform.

Mazen El Maarabani, Asma Adala, Iksoon Hwang, Ana R. Cavalli

Proceedings of the 5th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2009

A Statistical Approach to Test Stochastic and Probabilistic Systems.

Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli

Proceedings of the Formal Methods and Software Engineering, 2009

Modeling, Validation, and Verification of PCEP Using the IF Language.

Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Automatic Timed Test Case Generation for Web Services Composition.

Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang

Proceedings of the ECOWS 2008, 2008

2007

Handover-Specific Optimization for IEEE 802.16e Sleep Mode.

Jaesung Park, Beomjoon Kim, Iksoon Hwang

Proceedings of the Advances in Multimedia Modeling, 2007

2006

Secure and Seamless Handoff Scheme for a Wireless LAN System.

Jaesung Park, Beomjoon Kim, Iksoon Hwang

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006