Xin Chen

According to our database, Xin Chen authored at least 41 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

REGLO: Provable Neural Network Repair for Global Robustness Properties.

Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning.

Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee

CoRR, 2023

Real-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

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022

Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

Xin Chen, Sriram Sankaranarayanan

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.

Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee

ACM Trans. Embed. Comput. Syst., 2021

2020

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations.

Lin Zhang, Xin Chen, Fanxin Kong, Alvaro A. Cárdenas

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars.

Qin Lin, Xin Chen, Aman Khurana, John M. Dolan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems.

Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu

Proceedings of the Automated Technology for Verification and Analysis, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

ReachNN: Reachability Analysis of Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu

ACM Trans. Embed. Comput. Syst., 2019

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.

Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 19th International Conference, 2019

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.

Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu

Proceedings of the International Conference on Computer-Aided Design, 2019

Reachability analysis for neural feedback systems using regressive polynomial rule inference.

Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Sherlock - A tool for verification of neural network feedback systems: demo abstract.

Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Compositional Relational Abstraction for Nonlinear Hybrid Systems.

Xin Chen, Sergio Mover, Sriram Sankaranarayanan

ACM Trans. Embed. Comput. Syst., 2017

Model Predictive Real-Time Monitoring of Linear Systems.

Xin Chen, Sriram Sankaranarayanan

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Formal Verification of a Multi-Basal Insulin Infusion Control Model.

Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics.

Xin Chen, Matthias Althoff, Fabian Immler

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

A Study of Model-Order Reduction Techniques for Verification.

Yi Chou, Xin Chen, Sriram Sankaranarayanan

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.

Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám

IMA J. Math. Control. Inf., 2016

Decomposed Reachability Analysis for Nonlinear Systems.

Xin Chen, Sriram Sankaranarayanan

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

2015

Reachability analysis of non-linear hybrid systems using Taylor Models.

Xin Chen

PhD thesis, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.

Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Current Challenges in the Verification of Hybrid Systems.

Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Flow* 1.2: More Effective to Play with Hybrid Systems.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Under-approximate flowpipes for non-linear continuous systems.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Lyapunov Function Synthesis Using Handelman Representations.

Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám

Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Counterexample Generation for Hybrid Automata.

Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Flow*: An Analyzer for Non-linear Hybrid Systems.

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011

Efficient Bounded Reachability Computation for Rectangular Automata.

Xin Chen, Erika Ábrahám, Goran Frehse

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.

Xin Chen, Erika Ábrahám

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2008

Game Characterizations of Process Equivalences.

Xin Chen, Yuxin Deng

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008