Chuchu Fan

According to our database1, Chuchu Fan authored at least 20 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Simulation-Driven Reachability Using Matrix Measures.
ACM Trans. Embedded Comput. Syst., 2018

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features.
IEEE Design & Test, 2018

Exploiting Partially Annotated Data in Temporal Relation Extraction.
Proceedings of the Seventh Joint Conference on Lexical and Computational Semantics, 2018

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Approximate Partial Order Reduction.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verifying nonlinear analog and mixed-signal circuits with inputs.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Locally optimal reach set over-approximation for nonlinear systems.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.
IEEE Design & Test, 2015

Model Checking Tap Withdrawal in C. Elegans.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Progress on Powertrain Verification Challenge with C2E2.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Meeting a Powertrain Verification Challenge.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Bounded Verification with On-the-Fly Discrepancy Computation.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Image Super-Resolution Via Analysis Sparse Prior.
IEEE Signal Process. Lett., 2013


  Loading...