Hongkun Yang

Orcid: 0000-0002-4196-1508

According to our database1, Hongkun Yang authored at least 25 papers between 2007 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Aggregate Dispatchable Power of Virtual Power Plants Considering Wind and Solar Uncertainty.
Proceedings of the IEEE Sustainable Power and Energy Conference, 2023

2020
SICS: Secure and Dynamic Middlebox Outsourcing.
IEEE/ACM Trans. Netw., 2020

APKeep: Realtime Verification for Real Networks.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Incremental Network Configuration Verification.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2017
Scalable Verification of Networks With Packet Transformers Using Atomic Predicates.
IEEE/ACM Trans. Netw., 2017

Practical Network-Wide Packet Behavior Identification by AP Classifier.
IEEE/ACM Trans. Netw., 2017

2016
Real-Time Verification of Network Properties Using Atomic Predicates.
IEEE/ACM Trans. Netw., 2016

SICS: Secure In-Cloud Service Function Chaining.
CoRR, 2016

2015
Dynamic Routing for Data Integrity and Delay Differentiated Services in Wireless Sensor Networks.
IEEE Trans. Mob. Comput., 2015

2014
Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane.
Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

2013
Frequency Domain Packet Scheduling with MIMO for 3GPP LTE Downlink.
IEEE Trans. Wirel. Commun., 2013

Frequency Domain Packet Scheduling with Stability Analysis for 3GPP LTE Uplink.
IEEE Trans. Mob. Comput., 2013

Efficient verification of network reachability properties.
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

2010
Energy efficient cooperation in underwater sensor networks.
Proceedings of the 18th International Workshop on Quality of Service, 2010

Frequency-Domain Packet Scheduling for 3GPP LTE Uplink.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

2009
Optimization of Energy Efficient Transmission in Underwater Sensor Networks
CoRR, 2009

Hybrid simulation of biochemical systems using hybrid adaptive Petri nets.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Idle Detection Based Optimal Throughput Rate Adaptation in Multi-Rate WLANs.
Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009

Optimization of Energy Efficient Transmission in Underwater Sensor Networks.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

Security Analysis for Online Banking System Using Hierarchical Stochastic Game Nets Model.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

An Effective Early Warning Scheme against Pollution Dissemination for BitTorrent.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

A Novel Cookie-Based DDoS Protection Scheme and its Performance Analysis.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Joint Adaptive Redundancy and Partial Retransmission for Reliable Transmission in Wireless Sensor Networks.
Proceedings of the 2008 IEEE International Performance, 2008

Analyzing the Reliability of Group Transmission in Wireless Sensor Network.
Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

2007
Design and Analysis of a Backpressure Congestion Control Algorithm in Wireless Sensor Network.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007


  Loading...