Xin Chen

Affiliations:
  • University of New Mexico: Albuquerque, NM, USA
  • University of Dayton, OH, USA
  • University of Colorado at Boulder, CO, USA
  • RWTH Aachen, Germany (PhD 2015)


According to our database1, Xin Chen authored at least 44 papers between 2008 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

Fast Attack Recovery for Stochastic Cyber-Physical Systems.
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

REGLO: Provable Neural Network Repair for Global Robustness Properties.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning.
CoRR, 2023

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2022

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.
ACM Trans. Embed. Comput. Syst., 2021

2020
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
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.
ACM Trans. Embed. Comput. Syst., 2019

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

Reachability analysis for neural feedback systems using regressive polynomial rule inference.
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.
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.
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.
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.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Compositional Relational Abstraction for Nonlinear Hybrid Systems.
ACM Trans. Embed. Comput. Syst., 2017

Model Predictive Real-Time Monitoring of Linear Systems.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Formal Verification of a Multi-Basal Insulin Infusion Control Model.
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.
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.
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.
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control. Inf., 2016

Decomposed Reachability Analysis for Nonlinear Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

2015
Reachability analysis of non-linear hybrid systems using Taylor Models.
PhD thesis, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Current Challenges in the Verification of Hybrid Systems.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Flow* 1.2: More Effective to Play with Hybrid Systems.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
Lyapunov Function Synthesis Using Handelman Representations.
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.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Counterexample Generation for Hybrid Automata.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Flow*: An Analyzer for Non-linear Hybrid Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011
Efficient Bounded Reachability Computation for Rectangular Automata.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2008
Game Characterizations of Process Equivalences.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008


  Loading...