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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
CoRR, 2023
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
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
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
Proceedings of the Automated Technology for Verification and Analysis, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
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
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
2018
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
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
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
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
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
2015
PhD thesis, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
2013
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
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012
2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011
2008
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008