default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXin Chen 0002
陈鑫
Person information
- unicode name: 陈鑫
- affiliation: University of New Mexico: Albuquerque, NM, USA
- affiliation: University of Dayton, OH, USA
- affiliation: University of Colorado at Boulder, CO, USA
- affiliation (PhD 2015): RWTH Aachen, Germany
Other persons with the same name
- Xin Chen — disambiguation page
- Xin Chen 0001 — University of Alabama at Birmingham, AL, USA
- Xin Chen 0003
![[0000-0002-3685-0854]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-3685-0854")
— King's College London, Division of Imaging Sciences and Biomedical Engineering, UK - Xin Chen 0004 — South China University of Technology, School of Mechanical and Automotive Engineering, Guangzhou, China
- Xin Chen 0005 — Guangdong University of Technology, Key Laboratory of Computer Integrated Manufacturing System, Guangzhou, China (and 1 more)
- Xin Chen 0006 — Xiamen University, College of Information Science and Engineering, China
- Xin Chen 0007 — New Jersey Institute of Technology, Information Systems Department, Newark, NJ, USA
- Xin Chen 0008 — National University of Defense Technology, College of Electronic Science and Engineering, Changsha, China
- Xin Chen 0009 — Nanjing University of Science and Technology, Zijin College, China
- Xin Chen 0010 — Nanjing Normal University, School of Mathematical Sciences, Jiangsu Key Laboratory for NSLSCS, China
- Xin Chen 0011 — Chinese Academy of Sciences, Institute of Information Engineering, State Key Laboratory of Information Security, China
- Xin Chen 0012 — China University of Geosciences, School of Automation, Wuhan, China (and 2 more)
- Xin Chen 0013 — University of Central Lancashire, Preston, UK
- Xin Chen 0014 — University of Edinburgh, UK
- Xin Chen 0015 — University of Sunderland, Tyne and Wear, UK
- Xin Chen 0016 — Bloomberg, New York, NY, USA (and 1 more)
- Xin Chen 0017 — Shanghai Jiao Tong University, School of Electronic Information and Electrical Engineering, Shanghai Key Laboratory of Navigation and Location Based Service, China
- Xin Chen 0018 — Beijing Information Science and Technology University, School of Computer Science, China
- Xin Chen 0019 — Chinese Academy of Sciences, Institute of Acoustics, High Performance Network Lab, Beijing, China (and 1 more)
- Xin Chen 0020 — Huaqiao University, College of Computer Science and Technology, Xiamen, China
- Xin Chen 0021 — Jinan University, College of Information Science and Technology, Guangzhou, China
- Xin Chen 0022 — Stony Brook University, NY, USA (and 1 more)
- Xin Chen 0023 — National Digital Switching System Engineering and Technology Research Center, Zhengzhou, China (and 1 more)
- Xin Chen 0024 — Guangdong University of Technology, Key Laboratory of IoT Information Technology, School of Automation, Guangzhou, China
- Xin Chen 0025 — Shenzhen University, School of Biomedical Engineering / Guangdong Key Laboratory for Biomedical Measurements and Ultrasound Imaging, China (and 1 more)
- Xin Chen 0026 — University of Illinois at Urbana-Champaign, Department of Industrial and Enterprise Systems Engineering, Urbana, IL, USA
- Xin Chen 0027 — Nanjing University, Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, China
- Xin Chen 0028 — Sun Yat-sen University, School of Electronics and Information Technology, Guangzhou, China
- Xin Chen 0029 — Xiamen University, MOE Key Laboratory of Underwater Acoustic Communication and Marine Information Technology, China
- Xin Chen 0030 — Chongqing University, School of Software Engineering, China
- Xin Chen 0031 — China Three Gorges University, College of Computer and Information Technology, Yichang, China
- Xin Chen 0032 — Hangzhou Dianzi University, School of Computer Science and Technology, China (and 1 more)
- Xin Chen 0033 — Huawei Inc, Shenzhen, China (and 1 more)
- Xin Chen 0034 — Ask. com, Edison, NJ, USA (and 1 more)
- Xin Chen 0036 — Harvard University, School of Engineering and Applied Sciences, Cambridge, MA, USA
- Xin Chen 0037 — Nanyang Technological University, School of Physical and Mathematical Sciences, Singapore (and 1 more)
- Xin Chen 0038 — Corning Inc., NY, USA (and 1 more)
- Xin Chen 0039 — University of Nottingham, School of Computer Science, Intelligent Modeling and Analysis Group, UK
- Xin Chen 0040 — Tencent PCG, Shanghai, China (and 2 more)
- Xin Chen 0041 — Drexel University, College of Information Science and Technology, Philadelphia, PA, USA
- Xin Chen 0042 — University of North Carolina at Chapel Hill, NC, USA
- Xin Chen 0043 — Southeast University, School of Information Science and Engineering, Nanjing, China
- Xin W. Chen (aka: Xin Chen 0044) — Southern Illinois University, Edwardsville, IL, USA
- Xin Chen 0045 — Cranfield University, School of Aerospace, Transport, and Manufacturing, UK
- Xin Chen 0046 — Shenzhen PolyTechnic, China (and 1 more)
- Xin Chen 0047 — Southern University of Science and Technology, Shenzhen, China
- Xin Chen 0048 — KTH Royal Institute of Technology, Stockholm, Sweden
- Xin Chen 0049 — Beijing Jiaotong University, School of Electronic and Information Engineering, China
- Xin Chen 0050 — Jilin University, Department of Chemistry, Changchun, China
- Xin Chen 0051 — Fujian Normal University, College of Mathematics and Informatics, Fuzhou, China
- Xin Chen 0052 — Shandong University of Science and Technology, College of Computer Science and Engineering, Qingdao, China
- Xin Chen 0053 — China Agricultural University, College of Land Science and Technology, Beijing, China
- Xin Chen 0054 — Dalian University of Technology, School of Software, China
- Xin Chen 0055 — Central South University, School of Resources and Safety Engineering, Changsha, China
- Xin Chen 0056 — Northeast Petroleum University, Mechanical Science and Engineering Institute, Daqing, China
- Xin Chen 0057 — Liaoning University of Technology, School of Electronics and Information Engineering, Jinzhou, China
- Xin Chen 0058 — South China University of Technology, School of Medicine, Guangzhou First People's Hospital, Department of Radiology, Guangzhou, China
- Xin Chen 0061 — South China Agricultural University, College of Electronic Engineering and College of Artificial Intelligence, Guangzhou, China
- Xin Chen 0062 — Huawei Technologies, Shenzhen, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2015
[b1]Xin Chen:
Reachability analysis of non-linear hybrid systems using Taylor Models. RWTH Aachen University, Germany, 2015
Journal Articles
- 2024
- [j6]Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu:
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3): 994-1007 (2024) - 2021
- [j5]Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee:
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. 20(5s): 79:1-79:24 (2021) - 2020
- [j4]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3323-3335 (2020) - 2019
- [j3]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 106:1-106:22 (2019) - 2017
- [j2]Xin Chen, Sergio Mover, Sriram Sankaranarayanan:
Compositional Relational Abstraction for Nonlinear Hybrid Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 187:1-187:19 (2017) - 2016
- [j1]Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. 33(3): 723-756 (2016)
Conference and Workshop Papers
- 2024
- [c37]Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li:
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI 2024: 12061-12071 - [c36]Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong:
Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE 2024: 34-45 - [c35]Lin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cárdenas, Steven Drager, Matthew Anderson, Fanxin Kong:
Fast Attack Recovery for Stochastic Cyber-Physical Systems. RTAS 2024: 280-293 - 2023
- [c34]Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu:
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton 2023: 1-8 - [c33]Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS 2023: 209-222 - 2022
- [c32]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:
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP 2022: 142-184 - [c31]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA 2022: 414-430 - [c30]Xin Chen, Sriram Sankaranarayanan:
Reachability Analysis for Cyber-Physical Systems: Are We There Yet? NFM 2022: 109-130 - 2020
- [c29]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:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2020: 49-75 - [c28]Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA 2020: 537-542 - [c27]Qin Lin, Xin Chen, Aman Khurana, John M. Dolan:
ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. IROS 2020: 6627-6632 - [c26]Lin Zhang, Xin Chen, Fanxin Kong, Alvaro A. Cárdenas:
Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations. RTSS 2020: 205-217 - 2019
- [c25]Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek 2019: 41-61 - [c24]Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan:
Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC 2019: 157-168 - [c23]Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC 2019: 262-263 - [c22]Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu:
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD 2019: 1-8 - [c21]Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan:
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. RV 2019: 349-367 - 2018
- [c20]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c19]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - 2017
- [c18]Yi Chou, Xin Chen, Sriram Sankaranarayanan:
A Study of Model-Order Reduction Techniques for Verification. NSV@CAV 2017: 98-113 - [c17]Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan:
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek 2017: 75-91 - [c16]Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek 2017: 143-159 - [c15]Xin Chen, Matthias Althoff, Fabian Immler:
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. ARCH@CPSWeek 2017: 160-169 - [c14]Xin Chen, Sriram Sankaranarayanan:
Model Predictive Real-Time Monitoring of Linear Systems. RTSS 2017: 297-306 - 2016
- [c13]Xin Chen, Sriram Sankaranarayanan:
Decomposed Reachability Analysis for Nonlinear Systems. RTSS 2016: 13-24 - 2015
- [c12]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek 2015: 152-159 - [c11]Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski:
Current Challenges in the Verification of Hybrid Systems. CyPhy 2015: 8-24 - [c10]Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski:
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM 2015: 408-414 - 2014
- [c9]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Under-approximate flowpipes for non-linear continuous systems. FMCAD 2014: 59-66 - 2013
- [c8]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Flow*: An Analyzer for Non-linear Hybrid Systems. CAV 2013: 258-263 - [c7]Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins:
Counterexample Generation for Hybrid Automata. FTSCS 2013: 88-106 - [c6]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám:
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD 2013: 662-669 - [c5]Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Lyapunov Function Synthesis Using Handelman Representations. NOLCOS 2013: 576-581 - 2012
- [c4]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS 2012: 183-192 - 2011
- [c3]Xin Chen, Erika Ábrahám:
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) 2011: 535-542 - [c2]Xin Chen, Erika Ábrahám, Goran Frehse:
Efficient Bounded Reachability Computation for Rectangular Automata. RP 2011: 139-152 - 2008
- [c1]Xin Chen, Yuxin Deng:
Game Characterizations of Process Equivalences. APLAS 2008: 107-121
Informal and Other Publications
- 2023
- [i4]Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu:
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/2304.01218 (2023) - [i3]Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR abs/2304.12508 (2023) - 2021
- [i2]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR abs/2106.13867 (2021) - 2019
- [i1]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/1906.10654 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-18 02:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
