JaeSeung Song
  • Home
  • Research
  • Publications
  • Educations
  • Work experience
Journal papers
  1. “SymCONF: Enhancing Conformance Testing using Symbolic Execution”, JaeSeung Song and Hyoungshick Kim, IEEE Transactions on Reliability (Special Section on Trustworthy Computing), 2014. (Accepted)
  2. "Energy Efficient D2D Discovery for Proximity Services in 3GPP LTE-Advanced Networks",  Athul Prasad, Andreas Kunz, Costas Samdanis, Genadi Velev, JaeSeung Song, IEEE Vehicular Technology Magazine, September, 2014. 
  3. "Towards Standardized Common M2M Service Layer Platform: Introduction to oneM2M",  Joerg Swetina, Guang Lu, Philip Jacobs, Francois Ennesser, JaeSeung Song, IEEE Wireless Communications Magazine, June, 2014. 
  4. "SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications", JaeSeung Song, Cristian Cadar and Peter Pietzuch, IEEE Transactions on Software Engineering (TSE), 04/2014, (2014) [PDF version]
  5. "Efficient filtering processes for machine-to-machine data based on automation modules and data-agnostic algorithms", Apostolos Papageorgiou, Mischa Schmidt, JaeSeung Song, International Journal of Business Process and Integration and Management, Volume 7, Issue 1, pp 73-86, Apr, 2014
  6. "Connecting and Managing M2M Devices in the Future Internet", JaeSeung Song, Andreas Kunz, Mischa Schmidt, Piotr Szczytowski, Mobile Networks and Applications/Springer, February 2014, Volume 19, Issue 1, pp 4-17
  7. "Social network analysis of patent infringement lawsuits", Hyoungshick Kim and JaeSeung Song, Technological Forecasting & Social Change, Vol. 80(5), 2013 [PDF version]
  8. “iVisher: A system for real-time caller ID spoofing detection”, JaeSeung Song and Hyoungshick Kim, ETRI Journal, 2014. [PDF version]
  9. "MC-SDN: Introducing OpenFlow in the 3GPP Evolved Packet Core", Andreas Kunz, Hans-Joerg Kolbe, Surendran Palanimuthu, JaeSeung Song, eLetter of Technical Committee on Multimedia Communications (MMC) in IEEE Communications Society, May 1, 2013
  10. "Towards Standardized Prevention of Unsolicited Communications and Phishing Attacks", JaeSeung Song and Andreas Kunz, Journal of ICT Standardization / River Publishers, May 15, 2013

Conference papers
  1. “I’ve Got Your Number: Harvesting users’ personal data via contacts sync for the KakaoTalk messenger”,Eunhyun Kim, Kyung-won Park, Hyoungshick Kim and Jaeseung Song, WISA: The 15th International Workshop on Information Security Applications, Jeju Island, Korea, 2014. (accepted and selected as “best paper”)
  2. "Energy Efficient Device Discovery for Social Cloud Applications in 3GPP LTE-Advanced Networks", Athul Prasad, Konstantinos Samdanis, Andreas Kunz, JaeSeung Song, The Nineteenth IEEE Symposium on Computers and Communications (ISCC 2014), June, 2014
  3. "Horizontal M2M Platforms Boost Vertical Industry: Effectiveness Study for Building Energy Management Systems", Martin Floeck, Apostolos papageorglou, Anett Schuelke, JaeSeung Song, IEEE WF-IoT 2014, March 6, 2014
  4. "Smart M2M Data Filtering Using Domain-Specific Thresholds in Domain-Agnostic Platforms", Apostolos Papageorgiou, Mischa Schmidt, JaeSeung Song, Big Data (BigData Congress), 2013 IEEE International Congress on
    June 27, 2013
  5. "Rule-based Verification of Network Protocol Implementations using Symbolic Execution", JaeSeung Song, Tiejun Ma, Cristian Cadar and Peter Pietzuch, 20th IEEE International Conference on Computer Communications and Networks (ICCCN'11), 07/2011, Maui, Hawaii, USA, (2011) [PDF version]
  6. "Towards Automated Verification of Autonomous Networks: A Case Study in Self-Configuration", JaeSeung Song, Tiejun Ma, and Peter Pietzuch, Sixth IEEE PerCom Workshop on Pervasive Wireless Networking (PWN'10), Mannheim, Germany, IEEE, 04/2010. [PDF version]


Patents (among more than 40)
  1. Method for requesting domain transfer and terminal and server thereof, United States 8,369,336, Issued February 5, 2013
  2. Session update using management of capability of terminal, United States US8175597, Issued May 8, 2012
  3. Method for transmitting information in wireless communication system and terminal supporting the method, Europe EP2013988 B1, Issued May 23, 2012
  4. Method and device for selecting and managing mobility protocol in mobile communications system, Europe EP2087616 B1, Issued December 21, 2011
  5. Method and terminal for restriction of domain transfer, Europe 7,940,783, Issued May 10, 2011
  6. Method and system for notifying updating of terminal capability information for combination service, United States US 7,953,864, Issued August 2, 2011
  7. Method for controlling VCC functions in VCC initiated by terminal and terminal and network server thereof, United States US 7,912,041, Issued March 22, 2011
  8. Method for placing call in voice call continuity and terminal and server thereof, United States US 7,843,904, Issued November 30, 2010
  9. Method and device for selecting service domain, United States 7,990,957, Issued August 2, 2011


Powered by Create your own unique website with customizable templates.