| Flow*: An Analyzer for Non-Linear Hybrid Systems X Chen, E Abrahám, S Sankaranarayanan Computer Aided Verification (CAV'13), 2013 | 718 | 2013 |
| Taylor model flowpipe construction for non-linear hybrid systems X Chen, E Abraham, S Sankaranarayanan Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, 183-192, 2012 | 266 | 2012 |
| ReachNN: Reachability Analysis of Neural-Network Controlled Systems C Huang, J Fan, W Li, X Chen, Q Zhu ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 106:1 - 106:22, 2019 | 202 | 2019 |
| Reachability analysis for neural feedback systems using regressive polynomial rule inference S Dutta, X Chen, S Sankaranarayanan Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 192 | 2019 |
| ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems J Fan, C Huang, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2020 | 94 | 2020 |
| Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models X Chen RWTH Aachen Universiry, 2015 | 89 | 2015 |
| Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models X Chen | 89 | 2015 |
| Decomposed Reachability Analysis for Nonlinear Systems X Chen, S Sankaranarayanan Real-Time Systems Symposium (RTSS), 2016 | 80 | 2016 |
| Sherlock-A tool for verification of neural network feedback systems: demo abstract S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 76 | 2019 |
| Polar: A polynomial arithmetic framework for verifying neural-network controlled systems C Huang, J Fan, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2022 | 67 | 2022 |
| Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations L Zhang, X Chen, F Kong, AA Cardenas 2020 IEEE Real-Time Systems Symposium (RTSS), 205-217, 2020 | 61 | 2020 |
| Under-approximate flowpipes for non-linear continuous systems X Chen, S Sankaranarayanan, E Abrahám Proceedings of the 14th Conference on Formal Methods in Computer-Aided …, 2014 | 57* | 2014 |
| ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... Proceedings of 9th International Workshop on Applied 90, 142-184, 2022 | 56 | 2022 |
| Current challenges in the verification of hybrid systems S Schupp, E Ábrahám, X Chen, IB Makhlouf, G Frehse, ... International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015 | 51 | 2015 |
| A benchmark suite for hybrid systems reachability analysis X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski NASA Formal Methods Symposium, 408-414, 2015 | 50 | 2015 |
| Lyapunov Function Synthesis Using Handelman Representations S Sankaranarayanan, X Chen, E Ábrahám Nonlinear Control Systems 2013, 2013 | 50 | 2013 |
| Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis MAB Sassi, S Sankaranarayanan, X Chen, E Ábrahám IMA Journal of Mathematical Control and Information, dnv003, 2015 | 48 | 2015 |
| ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics M Althoff, S Bak, D Cattaruzza, X Chen, G Frehse, R Ray, S Schupp 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), 2017 | 45* | 2017 |
| ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ... EPiC Series in Computing 61, 41-61, 2019 | 40 | 2019 |
| Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs H Yoon, Y Chou, X Chen, E Frew, S Sankaranarayanan International Conference on Runtime Verification 11757, 349--367, 2019 | 33 | 2019 |
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mail megerősítve itt: colorado.edu