JaeSeung Song
According to our database1,
JaeSeung Song
authored at least 9 papers
between 2010 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2018
Semantic Enablement in IoT Service Layers - Standard Progress and Challenges.
IEEE Internet Computing, 2018
IoT-TaaS: Towards a Prospective IoT Testing Framework.
IEEE Access, 2018
2017
Efficient offloading mechanism for UAVs-based value added services.
Proceedings of the IEEE International Conference on Communications, 2017
Connection steering mechanism between mobile networks for reliable UAV's IoT platform.
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.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016
2014
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.
IEEE Trans. Software Eng., 2014
2013
SymbexNet : checking network protocol implementations using symbolic execution.
PhD thesis, 2013
2011
Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.
Proceedings of 20th International Conference on Computer Communications and Networks, 2011
2010
Towards automated verification of autonomous networks: A case study in self-configuration.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010