Skip to content

Fanxin Kong

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

31

Venues

12

Active years

2010–2025

Best venue rank

A*

Where they publish

Papers

31 indexed papers, newest first.

YearVenueTitleAuthors
2025DACQuery-Based Black-Box Stealthy Sensor Attacks on Cyber-Physical Systems.Shixiong Jiang, Weizhe Xu, Mengyu Liu, Fanxin Kong
2025RTASRecovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems.Weizhe Xu, Xin Chen, Matthew Anderson, Steven Drager, Fanxin Kong
2024MEMOCODEModel-free PAC Time-Optimal Control Synthesis with Reinforcement Learning.Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024RTSSDeadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning.Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024RTASDemo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical Systems.Shixiong Jiang, Mengyu Liu, Fanxin Kong
2024RTASWork in Progress: Emerging from Shadows: Optimal Hidden Actuator Attack to Cyber-Physical Systems.Md Kausar Hamid Miji, Mengyu Liu, Francis E. Akowuah, Fanxin Kong
2024RTASFast Attack Recovery for Stochastic Cyber-Physical Systems.Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Crdenas, Steven Drager, Matthew Anderson, Fanxin Kong
2023ISORCVariable Window and Deadline-Aware Sensor Attack Detector for Automotive CPS.Francis Akowuah, Kenneth Fletcher, Fanxin Kong
2023RTSSLearn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems.Mengyu Liu, Lin Zhang, Vir V. Phoha, Fanxin Kong
2023RTSSCatch You if Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical Systems.Zifan Wang, Lin Zhang, Qinru Qiu, Fanxin Kong
2023RTASDemo: Simulation and Security Toolbox for Cyber-Physical Systems.Lin Zhang, Mengyu Liu, Fanxin Kong
2023RTASReal-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems.Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2022DACAdaptive window-based sensor attack detection for cyber-physical systems.Lin Zhang, Zifan Wang, Mengyu Liu, Fanxin Kong
2022RTSSFail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks.Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2022RTSSWork-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.Lin Zhang, Zifan Wang, Fanxin Kong
2021EMSOFTTowards scalable, secure, and smart mission-critical IoT systems: review and vision.Xiaolong Guo, Song Han, X. Sharon Hu, Xun Jiao, Yier Jin, Fanxin Kong, Michael Lemmon
2021RTASReal-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical Systems.Francis Akowuah, Fanxin Kong
2021RTASBrief Industry Paper: HDAD: Hyperdimensional Computing-based Anomaly Detection for Automotive Sensor Attacks.Ruixuan Wang, Fanxin Kong, Hasshi Sudler, Xun Jiao
2021RTCSARecovery-by-Learning: Restoring Autonomous Cyber-physical Systems from Sensor Attacks.Francis Akowuah, Romesh Prasad, Carlos Omar Espinoza, Fanxin Kong
2020DACExploring Inherent Sensor Redundancy for Automotive Anomaly Detection.Tianjia He, Lin Zhang, Fanxin Kong, Asif Salekin
2020RTSSReal-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations.Lin Zhang, Xin Chen, Fanxin Kong, Alvaro A. Crdenas
2019RTSSADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits.Gaoqi He, Zhifu Chai, Xingjian Lu, Fanxin Kong, Bing Sheng
2016RTSSOn-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge.Fanxin Kong, Qiao Xiang, Linghe Kong, Xue Liu
2015RTSSDistributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid.Fanxin Kong, Xue Liu
2015RTASA feedback scheduling framework for component-based soft real-time systems.Nima Moghaddami Khalilzad, Fanxin Kong, Xue Liu, Moris Behnam, Thomas Nolte
2014INFOCOMBlowing hard is not all we want: Quantity vs quality of wind power in the smart grid.Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng
2014SIGMETRICSOptimal energy source selection and capacity planning for green datacenters.Fanxin Kong, Xue Liu, Lei Rao
2012RTCSAEnergy Minimizing for Parallel Real-Time Tasks Based on Level-Packing.Huiting Xu, Fanxin Kong, Qingxu Deng
2011DATEEnergy-efficient scheduling of real-time tasks on cluster-based multicores.Fanxin Kong, Wang Yi, Qingxu Deng
2011SACEnergy-efficient scheduling for parallel real-time tasks based on level-packing.Fanxin Kong, Nan Guan, Qingxu Deng, Wang Yi
2010ECRTSMinimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes.Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi