Xin Chen - RankMe

51 papers A* 2A 11B 5C 1Journal 10Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training. VMCAI (1) Junfeng Yang, Min Zhang, Xin Chen, Qin Li
2025	A	`conf`	Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems. RTAS Weizhe Xu, Xin Chen, Matthew Anderson, Steven Drager, Fanxin Kong
2024	A	`conf`	Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. RTSS Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	A	`conf`	Fast Attack Recovery for Stochastic Cyber-Physical Systems. RTAS Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cárdenas, Steven Drager, Matthew Anderson, Fanxin Kong
2024	C	`conf`	Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2024	A*	`conf`	REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
2023	J	`jnl`	Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2023	A	`conf`	Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu
2022	—	`conf`	ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
2022	B	`conf`	POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2022	—	`conf`	Reachability Analysis for Cyber-Physical Systems: Are We There Yet? NFM Xin Chen, Sriram Sankaranarayanan
2021	J	`jnl`	POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2021	J	`jnl`	Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
2020	—	`conf`	ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
2020	J	`jnl`	Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2020	A	`conf`	ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. IROS Qin Lin, Xin Chen, Aman Khurana, John M. Dolan
2020	B	`conf`	ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
2020	A	`conf`	Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations. RTSS Lin Zhang, Xin Chen, Fanxin Kong, Alvaro A. Cárdenas
2019	—	`conf`	ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
2019	B	`conf`	Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. RV Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan
2019	J	`jnl`	ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
2019	J	`jnl`	ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
2019	—	`conf`	Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan
2019	—	`conf`	Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2019	A	`conf`	Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu
2018	—	`conf`	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018	—	`conf`	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2017	—	`conf`	A Study of Model-Order Reduction Techniques for Verification. NSV@CAV Yi Chou, Xin Chen, Sriram Sankaranarayanan
2017	—	`conf`	ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. ARCH@CPSWeek Xin Chen, Matthias Althoff, Fabian Immler
2017	—	`conf`	ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
2017	J	`jnl`	Compositional Relational Abstraction for Nonlinear Hybrid Systems. ACM Trans. Embed. Comput. Syst. Xin Chen, Sergio Mover, Sriram Sankaranarayanan
2017	—	`conf`	Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan
2017	A	`conf`	Model Predictive Real-Time Monitoring of Linear Systems. RTSS Xin Chen, Sriram Sankaranarayanan
2016	A	`conf`	Decomposed Reachability Analysis for Nonlinear Systems. RTSS Xin Chen, Sriram Sankaranarayanan
2016	J	`jnl`	Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2015	—	`conf`	A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
2015	—	`conf`	Current Challenges in the Verification of Hybrid Systems. CyPhy Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2015	—	`conf`	Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám
2015	—	`—`	Reachability analysis of non-linear hybrid systems using Taylor Models. Xin Chen
2014	B	`conf`	Under-approximate flowpipes for non-linear continuous systems. FMCAD Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám
2013	—	`conf`	Counterexample Generation for Hybrid Automata. FTSCS Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
2013	A*	`conf`	Flow*: An Analyzer for Non-linear Hybrid Systems. CAV Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
2013	A	`conf`	From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám
2013	—	`conf`	Lyapunov Function Synthesis Using Handelman Representations. NOLCOS Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2012	A	`conf`	Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
2011	—	`conf`	Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) Xin Chen, Erika Ábrahám
2011	—	`conf`	Efficient Bounded Reachability Computation for Rectangular Automata. RP Xin Chen, Erika Ábrahám, Goran Frehse
2008	B	`conf`	Game Characterizations of Process Equivalences. APLAS Xin Chen, Yuxin Deng