Chuchu Fan
Chuchu Fan
Wilson Assistant Professor of Aeronautics and Astronautics at MIT
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Automatic reachability analysis for nonlinear hybrid models with C2E2
C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala
International Conference on Computer Aided Verification, 531-538, 2016
632016
Bounded verification with on-the-fly discrepancy computation
C Fan, S Mitra
International Symposium on Automated Technology for Verification and …, 2015
54*2015
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
C Fan, B Qi, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 441-461, 2017
432017
Locally optimal reach set over-approximation for nonlinear systems
C Fan, J Kapinski, X Jin, S Mitra
2016 International Conference on Embedded Software (EMSOFT), 1-10, 2016
352016
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska
International Conference on Computer Aided Verification, 373-390, 2014
322014
Image super-resolution via analysis sparse prior
Q Ning, K Chen, L Yi, C Fan, Y Lu, J Wen
IEEE Signal Processing Letters 20 (4), 399-402, 2013
302013
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 536-543, 2015
282015
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
202017
Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features
C Fan, B Qi, S Mitra
IEEE Design & Test 35 (3), 31-38, 2018
192018
Controller synthesis made real: reach-avoid specifications and linear dynamics
C Fan, U Mathur, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 347-366, 2018
132018
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, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
122018
Simulation-driven reachability using matrix measures
C Fan, J Kapinski, X Jin, S Mitra
ACM Transactions on Embedded Computing Systems (TECS) 17 (1), 1-28, 2017
112017
Progress on powertrain verification challenge with C2E2
C Fan, PS Duggirala, S Mitra, M Viswanathan
NY Times, 2014
102014
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2e2, hyst, and tulip
PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ...
2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016
92016
ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
82018
Exploiting partially annotated data for temporal relation extraction
Q Ning, Z Yu, C Fan, D Roth
arXiv preprint arXiv:1804.08420, 2018
72018
Model checking tap withdrawal in C. Elegans
MA Islam, R De Francisco, C Fan, R Grosu, S Mitra, SA Smolka
International Workshop on Hybrid Systems Biology, 195-210, 2015
72015
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
C Fan, K Miller, S Mitra
International Conference on Computer Aided Verification, 629-652, 2020
62020
Method of reading and logically OR'ing or AND'ing a four-transistor memory cell array by rows or columns
RJ Brooks, AJ Neudeck
US Patent 6,552,924, 2003
5*2003
Multi-agent safety verification using symmetry transformations
H Sibai, N Mokhlesi, C Fan, S Mitra
International Conference on Tools and Algorithms for the Construction and …, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20