Welcome to Fanxin Kong's Homepage

● Book & Book Chapter

Lin Zhang, Mengyu Liu and Fanxin Kong, "AI-enabled Real-time Sensor Attack Detection for Cyber-physical Systems", in AI Embedded Assurance for Cyber Systems, Springer, 2023.
Fanxin Kong and Xue Liu, "Sustainable Transportation with Electric Vehicles", in Foundations and TrendsR in Electric Energy Systems (FnTEES), now publishers Inc., 2017. [link]
Xue Liu, Xi Chen and Fanxin Kong, "Utilization Control and Optimization of Real-Time Embedded Systems", in Foundations and Trends in Electronic Design Automation (FnTEDA), now publishers Inc., 2015, pp. 211-307. [link]
Xue Liu and Fanxin Kong, "Datacenter Power Management in Smart Grids", in Foundations and Trends in Electronic Design Automation (FnTEDA), now publishers Inc., 2015, pp. 1-98. [link]

● Journal

[TCPS] Shixiong Jiang, Mengyu Liu, and Fanxin Kong, "Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems, ACM Transactions on Cyber-Physical Systems", in ACM Transactions on Cyber-Physical Systems (TCPS), 2025.
[TCPS] M. Hani Sulieman, Mengyu Liu, M. Cenk Gursoy, and Fanxin Kong, "Path Planning for UAVs under GPS Permanent Faults", in ACM Transactions on Cyber-Physical Systems (TCPS), 2025.
[TODAES] Mengyu Liu, Lin Zhang, Weizhe Xu, Shixiong Jiang, and Fanxin Kong, "CPSim: Simulation Toolbox for Security Problems in Cyber-Physical Systems", in ACM Transactions on Design Automation of Electronic Systems, 2024.
[CSUR] Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, and Insup Lee, "Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works", in ACM Computing Surveys, 2024.
[TECS] Lin Zhang, Zifan Wang and Fanxin Kong, "Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness", in ACM Transactions on Embedded Computing Systems (TECS), 2023.
[TECS] Yanfeng Chen, Tianyu Zhang, Fanxin Kong, Lin Zhang and Qingxu Deng, "Attack-Resilient Fusion of Sensor Data with Uncertain Delays", in ACM Transactions on Embedded Computing Systems (TECS), 2022.
[TECS] Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky and Insup Lee, "Real-Time Attack-Recovery for Cyber-Physical Systems using Linear-Quadratic Regulator", in ACM Transactions on Embedded Computing Systems, 2021.
[TIA] Rui Ma, Sagnik Basumallik, Sara Eftekharnejad, and Fanxin Kong, "A Data-driven Model Predictive Control for Alleviating Thermal Overloads in Presence of Possible False Data", in IEEE Transactions on Industry Applications, 2021.
[TSUSC] Huiting Xu, Xi Jin, Fanxin Kong, and Qingxu Deng, "Two Level Colocation Demand Response with Renewable Energy", in IEEE Transactions on Sustainable Computing, 2019.
[COMST] Xiong Wang, Linghe Kong, Fanxin Kong, Fudong Qiu, Mingyu Xia, Shlomi Arnon, and Guihai Chen, “Millimeter Wave Communication: A Comprehensive Survey”, in IEEE Communications Surveys and Tutorial, 2018.
[ITSM] Jintao Wang, Peng Zeng, Xi Jin, Fanxin Kong, Zhaowei Wang, Dong Li, and Ming Wan, "Software Defined Wi-V2G: A V2G Network Architecture", in IEEE Intelligent Transportation Systems Magazine, 2018.
[TCC] Xingjian Lu, Fanxin Kong, Xue Liu, Jianwei Yin, Qiao Xiang, and Huiqun Yu, "Bulk Savings for Bulk Transfers: Minimizing the Energy-Cost for Geo-Distributed Data Centers", in IEEE Transactions on Cloud Computing, 2017.
[TSUSC] Fanxin Kong, Xingjian Lu, and Xue Liu, "Distributed Data Center Bandwidth Allocation for Cloud-Based Streaming", in IEEE Transactions on Sustainable Computing, 2017.
[JPDC] Chao Tong, Jun Li, Chao Lang, Fanxin Kong, Jianwei Niu, and Joel J.P.C. Rodrigues, "An Efficient Deep Model for Day-Ahead Electricity Load Forecasting with Stacked Denoising Auto-Encoders", in Journal of Parallel and Distributed Computing, 2017.
[TII] Xi Jin, Fanxin Kong, Linghe Kong, Huihui Wang, Changqing Xia, Peng Zeng, and Qingxu Deng, "A Hierarchical Data Transmission Framework for Industrial Wireless Sensor and Actuator Networks", in IEEE Transactions on Industrial Informatics, 2017.
[TIE] Xi Jin, Fanxin Kong, Linghe Kong, Wei Liu, and Peng Zeng, "Reliability and Temporality Optimization for Multiple Coexisting WirelessHART Networks in Industrial Environments", in IEEE Transactions on Industrial Electronics, 2017.
[COMST] Qinglong Wang, Xue Liu, Jian Du, and Fanxin Kong, "Smart Charging for Electric Vehicles: A Survey From the Algorithmic Perspective", in IEEE Communications Surveys and Tutorials, 2016, pp. 1500-1517.
[CSUR] Fanxin Kong and Xue Liu, "A Survey on Green-Energy-Aware Power Management for Datacenters", in ACM Computing Surveys, 2015, pp. 30:1-30:38.
[RSER] Liansheng Liu, Fanxin Kong, Xue Liu, Yu Peng and Qinglong Wang, "A Review on Electric Vehicles Interacting with Renewable Energy in Smart Grid", in Renewable and Sustainable Energy Reviews, 2015, pp. 648-661.
[PIEEE] Fanxin Kong, Chuansheng Dong, Xue Liu and Haibo Zeng, "Quantity vs Quality: Optimal Harvesting Wind Power for the Smart Grid", in Proceedings of the IEEE, 2014, pp. 1762-1776.
[COMST] Ashikur Rahman, Xue Liu and Fanxin Kong, "A Survey on Geographic Load Balancing based Data Center Power Management in the Smart Grid Environment", in IEEE Communications Surveys and Tutorials, 2014, pp. 214-233.

● Conference

[DAC'25] Shixiong Jiang, Weizhe Xu, Mengyu Liu, and Fanxin Kong, "Query-Based Black-Box Stealthy Sensor Attacks on Cyber-Physical Systems", in the 62nd The Chips to Systems Conference, 2025.
[RTAS'25] Weizhe Xu, Xin Chen, Matthew Anderson, Steven Drager, and Fanxin Kong, "Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems", in the 31st IEEE Real-Time and Embedded Technology and Applications Symposium, 2025.
[SPIE'25] Jialiang Fan and Fanxin Kong, Survey of Signal Temporal Logic Specification Mining: Techniques, Applications, and Future Directions, in the SPIE Defense + Commercial Sensing Conference, 2025.
[ICAA'24] Zifan Wang, Qinru Qiu, and Fanxin Kong, "Pinpointing Actuator Attacks: A Novel Diagnostic Framework for Cyber-Physical Systems", in the 3rd International Conference on Assured Autonomy, 2024
[RTSS'24] Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, and Fanxin Kong, "Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning", in the 45th IEEE Real-Time Systems Symposium, 2024.
[EMSOFT'24] Shixiong Jiang, Mengyu Liu, and Fanxin Kong, "Backdoor Attacks on Safe Reinforcement Learning-Enabled Cyber-Physical Systems", in the ACM SIGBED International Conference on Embedded Software, 2024.
[MEMCODE'24] Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky and Insup Lee, and Fanxin Kong, "Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning", in the 22nd International Symposium on Formal Methods and Models for System Design, 2024.
[ICCPS'24] Shixiong Jiang, Mengyu Liu, and Fanxin Kong, "Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems", in the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024.
[RTAS'24] Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cardenas, Steve Drager, Matthew Adderson, and Fanxin Kong, "Fast Attack Recovery for Stochastic Cyber-Physical Systems", in the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024.
[RTSS'23] Mengyu Liu, Lin Zhang, Vir Phoha, and Fanxin Kong, "Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems", in the 44th IEEE Real-Time Systems Symposium, 2023.
[RTSS'23] Zifan Wang, Lin Zhang, Qinru Qiu, and Fanxin Kong, "Catch You If Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical Systems", in the 44th IEEE Real-Time Systems Symposium, 2023.
[ISORC'23] Francis Akowuah, Kenneth Fletcher and Fanxin Kong, "Variable Window and Deadline-Aware Sensor Attack Detector for Automotive CPS", in the 26th IEEE International Symposium on Real-Time Distributed Computing, 2023.
[RTAS'23] Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky and Insup Lee, "Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems", in the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023.
[RTSS'22] Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky and Insup Lee, "Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks", in the 43rd IEEE Real-Time Systems Symposium, 2022.
[DAC'22] Lin Zhang, ZifanWang, Mengyu Liu and Fanxin Kong, "Adaptive Window-Based Sensor Attack Detection for Cyber-Physical Systems", in the 59th Design Automation Conference (DAC), 2022.
[ICAR'21] Chen Luo, Qinwei Huang, Fanxin Kong, Simon Khan and Qinru Qiu, "Applying Machine Learning in Designing Distributed Auction for Multi-agent Task Allocation with Budget Constraints", in the 20th International Conference on Advanced Robotics, 2021.
[EMSOFT'21] Xiaolong Guo, Song Han, X. Sharon Hu, Xun Jiao, Yier Jin, Fanxin Kong and Michael Lemmon, "Towards Scalable, Secure, and Smart Mission-Critical IoT Systems: Review and Vision", in the 21st ACM SIGBED International Conference on Embedded Software, 2021.
[EMSOFT'21] Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky and Insup Lee, "Real-Time Attack-Recovery for Cyber-Physical Systems using Linear-Quadratic Regulator", in the 21st ACM SIGBED International Conference on Embedded Software, 2021.
[RTCSA'21] Francis Akowuah, Romesh Prasad, Carlos Espinoza and Fanxin Kong, "Recovery-by-Learning: Restoring Autonomous Cyber-physical Systems from Sensor Attacks", in the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021.
[DASC'21] Mohamad Hani Sulieman, M Cenk Gursoy and Fanxin Kong, "Antenna Pattern Aware UAV Trajectory Planning Using Artificial Potential Field", in the 2021 IEEE/AIAA 40th Digital Avionics Systems Conference, 2021.
[MetroCAD'21] Francis Akowuah and Fanxin Kong, "Physical Invariant Based Attack Detection for Autonomous Vehicles: Survey, Vision, and Challenges", in 4th IEEE International Conference on Connected and Autonomous Driving, 2021.
[RTAS'21] Francis Akowuah and Fanxin Kong, "Real-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical Systems", in 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021. [Errata]
[RTSS'20] Lin Zhang, Xin Chen, Fanxin Kong and Alvaro A. Cardenas, "Real-Time Recovery for Cyber-Physical Systems using Linear Approximations", in 41st IEEE Real-Time Systems Symposium, 2020.
[DAC'20] Tianjia He, Lin Zhang, Fanxin Kong and Asif Salekin, "Exploring Inherent Sensor Redundancy for Automotive Anomaly Detection", in 57th Design Automation Conference, 2020.
[TPEC'20] Rui Ma, Sagnik Basumallik, Sara Eftekharnejad and Fanxin Kong, "Recovery-based Model Predictive Control for Cascade Mitigation under Cyber-Physical Attacks", in IEEE Texas Power and Energy Conference, 2020.
[RTSS'19] Gaoqi He, Zhifu Chai, Xingjian Lu, Fanxin Kong and Bing Sheng, "ADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits", in the 40th IEEE Real-Time Systems Symposium, Cyber-Physical Systems Track, 2019.
[IoTDI'18] Fanxin Kong, Xue Liu and Insup Lee, "Joint Rate Control and Demand Balancing for Electric Vehicle Charging", in the 3rd ACM/IEEE International Conference on Internet-of-Things Design and Implementation, 2018. (Full paper, acceptance rate: 23.6%)
[ICCPS'18] Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky and Insup Lee, "Cyber-Physical System Checkpointing and Recovery", in the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018.
[RTSS'16] Fanxin Kong, Qiao Xiang, Linghe Kong and Xue Liu, "On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge", in the 36th IEEE Real-Time Systems Symposium, Cyber-Physical Systems Track, 2016, pp. 69-78. (Acceptance rate: 23.4%)
[ICCPS'16] Fanxin Kong and Xue Liu, "GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green Datacenters", in the ACM/IEEE 7th International Conference on Cyber-Physical Systems, 2016, pp. 1-10. (Acceptance rate: 27.8%)
[ICCPS'16] Fanxin Kong, Xue Liu, Zhonghao Sun and Qinglong Wang, "Smart Rate Control and Demand Balancing for Electric Vehicle Charging", in the ACM/IEEE 7th International Conference on Cyber-Physical Systems, 2016, pp. 1-10. (Acceptance rate: 27.8%)
[RTSS'15] Fanxin Kong and Xue Liu, "Distributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid", in the 36th IEEE Real-Time Systems Symposium, Cyber-Physical Systems Track, 2015, pp. 23-32. (Acceptance rate: 22.5%)
[ACM MM'15] Fanxin Kong, Xingjian Lu, Mingyuan Xia, Xue Liu and Haibing Guan, "Distributed Optimal Datacenter Bandwidth Allocation for Dynamic Adaptive Video Streaming", in the 23rd ACM Multimedia, 2015, pp. 531-540. (Full paper, acceptance rate: 20.6%)
[CLOUD'15] Xingjian Lu, Fanxin Kong, Jianwei Yin, Xue Liu, Huiqun Yu and Guisheng Fan, "Geographical Job Scheduling in Data Centers with Heterogeneous Demands and Servers", in the 8th IEEE International Conference on Cloud Computing, 2015, pp. 413-420.
[ACM e-Energy'15] Qiao Xiang, Fanxin Kong, Xi Chen, Linghe Kong, Xue Liu and Lei Rao, "Auc2Charge: An Online Auction Framework for Electric Vehicle Park-and-Charge", in the 6th ACM International Conference on Future Energy Systems, 2015, pp. 151-160. (Full paper, acceptance rate: 22.8%)
[RTAS'15] Nima Khalilzad, Fanxin Kong, Xue Liu, Moris Behnam and Thomas Nolte, "A Feedback Scheduling Framework for Component-Based Soft Real-Time Systems", in the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015, pp. 182-193. (Acceptance rate: 21.9%)
[INFOCOM'14] Fanxin Kong, Chuansheng Dong, Xue Liu and Haibo Zeng, "Blowing Hard Is Not All We Want: Quantity vs Quality of Wind Power in the Smart Grid", in 33rd Annual IEEE International Conference on Computer Communications, 2014, pp. 2813-2821. (Acceptance rate: 19.5%)
[IGCC'14] Zhonghao Sun, Fanxin Kong, Xue Liu, Xingshe Zhou and Xi Chen, "Intelligent Joint Spatio-temporal Management of Electric Vehicle Charging and Data Center Power Consumption", in the 5th International Green Computing Conference, 2014, pp. 1-8.
[IGCC'13] Chuansheng Dong, Fanxin Kong, Xue Liu and Haibo Zeng, "Green Power Analysis for Geographical Load Balancing Based Datacenters", in the 4th International Green Computing Conference, 2013, pp. 1-8.
[RTCSA'12] Huiting Xu, Fanxin Kong and Qingxu Deng, "Energy Minimizing for Parallel Real-Time Tasks Based on Level-Packing", in the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012, pp. 98-103.
[DATE'11] Fanxin Kong, Wang Yi and Qingxu Deng, "Energy-Efficient Scheduling of Real-Time Tasks on Cluster-Based Multicores", in the 14th Design, Automation & Test in Europe Conference & Exhibition, 2011, pp. 1-6.
[SAC'11] Fanxin Kong, Nan Guan, Qingxu Deng and Wang Yi, "Energy-Efficient Scheduling for Parallel Real-Time Tasks Based on Level-Packing", in the 26thACM Symposium on Applied Computing, 2011, pp. 635-640.
[ECRTS'10] Fanxin Kong, Yiqun Wang, Qingxu Deng and Wang Yi, "Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes", in the 22nd Euromicro Conference on Real-Time Systems, 2010, pp. 113-122. (Acceptance rate: 24.1%)
[ICCPS'10] Yifeng Guo, Fanxin Kong, Dakai Zhu, Ali S. Tosun and Qingxu Deng, "Sensor Placement for Lifetime Maximization in Monitoring Oil Pipelines", in the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2010, pp. 61-68. (Acceptance rate: 28.5%)

● Workshop/Work-in-Process/Demo/Poster/Extended Abstract

[HCSS'25] Weizhe Xu, and Fanxin Kong, "LLM-enabled Software Testing", 25th Annual High Confidence Software and Systems Conference, 2025.
[FMSys'24] Weizhe Xu, Mengyu Liu, Oleg Sokolsky, Insup Lee, and Fanxin Kong, "LLM-enabled Cyber-Physical Systems: Survey, Research Opportunities, and Challenges", International Workshop on Foundation Models for Cyber-Physical Systems & Internet of Things, co-located with CPS-IoT Week 2024.
[ICCPS'24] Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, and Fanxin Kong, "Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems", 15th ACM/IEEE International Conference on Cyber-Physical Systems, Poster/Demo Track, 2024.
[RTAS'24] Shixiong Jiang, Mengyu Liu and Fanxin Kong, "Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical Systems", 30th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track, 2024.
[RTAS'24] Md Kausar Hamid Miji, Mengyu Liu, Francis Akowuah, and Fanxin Kong, "Work in Progress: Emerging From Shadows: Optimal Hidden Actuator Attack to Cyber-Physical Systems", 30th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track, 2024.
[RTAS'23] Lin Zhang, Mengyu Liu and Fanxin Kong, "Demo: Simulation and Security Toolbox for Cyber-Physical Systems", in 29th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track, 2023.
[SmartSP'23] Fanxin Kong and Zifan Wang, "Attack Recovery for Cyber-Physical Systems", EAI International Conference on Security and Privacy in Cyber-Physical Systems and Smart Vehicles, extended abstract, 2023.
[RTSS'22] Lin Zhang, Zifan Wang and Fanxin Kong, "Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness", in the 43rd IEEE Real-Time Systems Symposium, Work-in-Process track, 2022.
[RTAS'21] Ruixuan Wang, Fanxin Kong, Hasshi Sulder and Xun Jiao, "HDAD: Hyperdimensional Computing-based Anomaly Detection for Automotive Sensor Attacks", in 27th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Industry Paper Track, 2021.
[CPS-SR'19] Fanxin Kong, Oleg Sokolsky, James Weimer and Insup Lee, "State consistencies for cyber-physical system recovery", in the Workshop on Cyber-Physical Systems Security and Resilience, 2019.
[SIGMETRICS'14] Fanxin Kong, Xue Liu and Lei Rao, "Optimal Energy Source Selection and Capacity Planning for Green Datacenters", in the 40th ACM International Conference on Measurement and Modeling of Computer Systems, 2014, pp. 575-576. (Extended abstract)

Google Sites

Report abuse