Xin Chen    (pronounced Shin Chern)     

Postdoctoral Researcher
Department of Computer Science
University of Colorado Boulder, CO

Email:   xinchen AT colorado DOT edu


Main Research interests

[Google Scholar] [DBLP]

Committee member

ARCH 2017, SNR 2017, CAV 2016 AEC, HSCC RE 2016, ARCH 2016, ARCH 2015, HSCC RE 2014.


Flow* is a tool for the reachability analysis and safety verification for nonlinear hybrid systems.

PhD thesis (contains most of the techniques and heuristics implemented in Flow*):
Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models. RWTH Aachen University, 2015.


  1. Xin Chen and Sriram Sankaranarayanan.
    Model Predictive Real-Time Monitoring of Linear Systems.
    Accepted in the IEEE Real-Time Systems Symposium (RTSS), 2017.
  2. Xin Chen, Sergio Mover, and Sriram Sankaranarayanan.
    Compositional Relational Abstraction for Nonlinear Hybrid Systems.
    Accepted in the International Conference on Embedded Software (EMSOFT), 2017.
  3. Yi Chou, Xin Chen, and Sriram Sankaranarayanan.
    A Study of Model-Order Reduction Techniques for Verification.
    In Workshop on Numerical Software Verification (NSV), 2017.
  4. Xin Chen, Souradeep Dutta, and Sriram Sankaranarayanan.
    Formal Verification of a Multi-Basal Insulin Infusion Control Model.
    In Workshop on Applied Verification of Hybrid Systems (ARCH), 2017.
  5. Xin Chen, Sriram Sankaranarayanan.
    Decomposed Reachability Analysis for Nonlinear Systems.
    In Real-Time Systems Symposium (RTSS), 2016.
  6. Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski.
    Current Challenges in the Verification of Hybrid Systems.
    In Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), Volume 9361 of LNCS, pp. 8-24, 2015.
  7. Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, Stefan Kowalewski.
    A Benchmark Suite for Hybrid Systems Reachability Analysis.
    In NASA Formal Methods (NFM), Volume 9058 of LNCS, pp. 408-414, 2015.
  8. Xin Chen, Sriram Sankaranarayanan, Erika Abraham.
    FLOW* 1.2: More Effective to Play with Hybrid Systems.
    In Applied Verification for Continuous and Hybrid Systems (ARCH), 2015.
  9. Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Abraham.
    Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis.
    In IMA Journal of Mathematical Control and Information, 2015, Oxford University Press.
  10. Xin Chen, Sriram Sankaranarayanan, Erika Abraham.
    Under-Approximate Flowpipes for Non-Linear Continuous Systems.
    In Formal Methods in Computer-Aided Design (FMCAD), pp. 59-66, 2014, IEEE.
  11. Johanna Nellen, Erika Abraham, Xin Chen, Pieter Collins.
    Counterexample Generation for Hybrid Automata. In Formal Techniques for Safety-Critical Systems (FTSCS), Volume 419 of CCIS, pp. 88-106, 2013.
  12. Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Abraham.
    From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits.
    In International Conference on Computer-Aided Design (ICCAD), pp. 662-669, 2013.
  13. Sriram Sankaranarayanan, Xin Chen, Erika Abraham.
    Lyapunov Function Synthesis Using Handelman Representations
    In IFAC conference on Nonlinear Control Systems (NOLCOS), pp. 576-581, 2013.
  14. Xin Chen, Erika Abraham, Sriram Sankaranarayanan.
    Flow*: An Analyzer for Non-Linear Hybrid Systems.
    In Computer-Aided Verification (CAV), Volume 8044 of LNCS, pp. 258-263, 2013.
  15. Xin Chen, Erika Abraham, Sriram Sankaranarayanan.
    Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
    In Real Time Systems Symposium (RTSS), pp. 183-192, 2012.
  16. Xin Chen, Erika Abraham, Goran Frehse.
    Efficient Bounded Reachability Computation for Rectangular Automata.
    In Reachability Problems (RP), Volume 6945 of LNCS, pp. 139-152. 2011.
  17. Xin Chen, Erika Abraham.
    Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.
    In Computer Aided Systems Theory (EUROCAST), Volume 6927 of LNCS, pp. 535-542, 2011.
  18. Xin Chen, Yuxin Deng.
    Game Characterizations of Process Equivalences.
    In Asian Symposium on Programming Languages and Systems, Volume 5356 of LNCS, pp. 107-121, 2008.