| Flow*: An Analyzer for Non-Linear Hybrid Systems X Chen, E Abrahám, S Sankaranarayanan Computer Aided Verification (CAV'13), 2013 | 357 | 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 | 172 | 2012 |
| 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 | 37 | 2015 |
| Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models X Chen RWTH Aachen Universiry, 2015 | 37 | 2015 |
| Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models X Chen | 37 | 2015 |
| Decomposed Reachability Analysis for Nonlinear Systems X Chen, S Sankaranarayanan Real-Time Systems Symposium (RTSS), 2016 | 36 | 2016 |
| 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 | 35 | 2015 |
| 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 | 31 | 2015 |
| Lyapunov Function Synthesis Using Handelman Representations S Sankaranarayanan, X Chen, E Ábrahám Nonlinear Control Systems 2013, 2013 | 24 | 2013 |
| 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 | 19* | 2014 |
| 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 | 17 | 2017 |
| Modeling and Analysis of Hybrid Systems Lecture Notes E Ábrahám, X Chen RWTH Aachen University, 2012 | 17* | 2012 |
| 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 | 13 | 2019 |
| Choice of directions for the approximation of reachable sets for hybrid systems X Chen, E Ábrahám Computer Aided Systems Theory–EUROCAST 2011, 535-542, 2011 | 11 | 2011 |
| Model Predictive Real-Time Monitoring of Linear Systems X Chen, S Sankaranarayanan 2017 IEEE Real-Time Systems Symposium (RTSS), 297-306, 2017 | 10 | 2017 |
| From statistical model checking to statistical model inference: Characterizing the effect of process variations in analog circuits Y Zhang, S Sankaranarayanan, F Somenzi, X Chen, E Abraham Proceedings of the International Conference on Computer-Aided Design, 662-669, 2013 | 10 | 2013 |
| Game characterizations of process equivalences X Chen, Y Deng Programming Languages and Systems, 107-121, 2008 | 10 | 2008 |
| Flow* 1.2: More Effective to Play with Hybrid Systems X Chen, S Sankaranarayanan, E Abrahám Applied Verification for Continuous and Hybrid Systems, 2015 | 8 | 2015 |
| Efficient bounded reachability computation for rectangular automata X Chen, E Ábrahám, G Frehse International Workshop on Reachability Problems, 139-152, 2011 | 8 | 2011 |
| ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ... | 7 | 2018 |
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderDirección de correo verificada de colorado.edu
