JaeSeung Song

According to our database, JaeSeung Song

• authored at least 8 papers between 2010 and 2018.
• has a "Dijkstra number" of five.

2018

IoT-TaaS: Towards a Prospective IoT Testing Framework.

Hiun Kim, Abbas Ahmad, Jaeyoung Hwang, Hamza Baqa, Franck Le Gall, Miguel Angel Reina Ortega, JaeSeung Song

IEEE Access, 2018

2017

Efficient offloading mechanism for UAVs-based value added services.

Sihem Ouahouah, Tarik Taleb, JaeSeung Song, Chafika Benzaid

Proceedings of the IEEE International Conference on Communications, 2017

Connection steering mechanism between mobile networks for reliable UAV's IoT platform.

Naser Hossein Motlagh, Miloud Bagaa, Tarik Taleb, JaeSeung Song

Proceedings of the IEEE International Conference on Communications, 2017

2016

Interworking technique and architecture for connecting LAN IoT devices towards standardized IoT service layer platform.

Jonggwan An, Jaeyoung Hwang, JaeSeung Song

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2014

SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.

JaeSeung Song, Cristian Cadar, Peter R. Pietzuch

IEEE Trans. Software Eng., 2014

2013

SymbexNet : checking network protocol implementations using symbolic execution.

JaeSeung Song

PhD thesis, 2013

2011

Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.

JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch

Proceedings of 20th International Conference on Computer Communications and Networks, 2011

2010

Towards automated verification of autonomous networks: A case study in self-configuration.

JaeSeung Song, Tiejun Ma, Peter R. Pietzuch

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010