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 | 49 | 2015 |
A Study of Model-Order Reduction Techniques for Verification Y Chou, X Chen, S Sankaranarayanan International Workshop on Numerical Software Verification, 98-113, 2017 | 6 | 2017 |
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 | 23 | 2017 |
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics X Chen, M Althoff, F Immler | 10 | 2017 |
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, ... | 25 | 2018 |
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 | 16 | 2019 |
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... EPiC Series in Computing 74, 49-75, 2020 | 21 | 2020 |
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 | 15 | 2022 |
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 | 16 | 2011 |
Compositional Relational Abstraction for Nonlinear Hybrid Systems X Chen, S Mover, S Sankaranarayanan ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 187, 2017 | 13 | 2017 |
Counterexample Generation for Hybrid Automata J Nellen, E Ábrahám, X Chen, P Collins Second International Workshop on Formal Techniques for Safety-Critical …, 2013 | 3 | 2013 |
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 | 47 | 2015 |
Decomposed Reachability Analysis for Nonlinear Systems X Chen, S Sankaranarayanan Real-Time Systems Symposium (RTSS), 2016 | 82 | 2016 |
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks C Huang, J Fan, X Chen, W Li, Q Zhu IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 19 | 2020 |
Efficient bounded reachability computation for rectangular automata X Chen, E Ábrahám, G Frehse International Workshop on Reachability Problems, 139-152, 2011 | 14 | 2011 |
Fast Attack Recovery for Stochastic Cyber-Physical Systems L Zhang, L Burbano, X Chen, AA Cardenas, S Drager, M Adderson, ... IEEE Real-Time and Embedded Technology and Applications Symposium, 2024 | | 2024 |
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 | 18 | 2015 |
Flow*: An Analyzer for Non-Linear Hybrid Systems X Chen, E Abrahám, S Sankaranarayanan Computer Aided Verification (CAV'13), 2013 | 672 | 2013 |
Formal Verification of a Multi-Basal Insulin Infusion Control Model X Chen, S Dutta, S Sankaranarayanan Workshop on Applied Verification of Hybrid Systems (ARCH), 16, 2017 | 13 | 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 | 12 | 2013 |