Chuchu Fan
Chuchu Fan
Graduate Student of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign
Verified email at illinois.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
532016
Bounded verification with on-the-fly discrepancy computation
C Fan, S Mitra
International Symposium on Automated Technology for Verification and …, 2015
50*2015
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
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
312017
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
302016
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
272015
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
182017
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
172018
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
Progress on powertrain verification challenge with C2E2
C Fan, PS Duggirala, S Mitra, M Viswanathan
NY Times, 2014
102014
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
92018
Exploiting partially annotated data for temporal relation extraction
Q Ning, Z Yu, C Fan, D Roth
arXiv preprint arXiv:1804.08420, 2018
82018
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
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
82017
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
82016
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
62015
Partial Or Complete, That's The Question
Q Ning, H He, C Fan, D Roth
arXiv preprint arXiv:1906.04937, 2019
32019
Verifying nonlinear analog and mixed-signal circuits with inputs
C Fan, Y Meng, J Maier, E Bartocci, S Mitra, U Schmid
IFAC-PapersOnLine 51 (16), 241-246, 2018
32018
Road to safe autonomy with data and formal reasoning
C Fan, B Qi, S Mitra
arXiv preprint arXiv:1704.06406, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20