JaeSeung Song

According to our database1, JaeSeung Song authored at least 9 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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


  Loading...