Found 32 results
Fan C, Mitra S.  2015.  Bounded verification with on-the-fly discrepancy computation. Automated Technology for Verification and Analysis - 13th International Symposium, (ATVA). 9364:446–463.
Duggirala PSridhar, Fan C, Mitra S, Viswanathan M.  2015.  Meeting a powertrain verification challenge. Computer Aided Verification - 27th International Conference, (CAV). 9206:536–543.
Islam M.Ariful, De Francisco R, Fan C, Grosu R, Mitra S, Smolka SA.  2015.  Model checking tap withdrawal in c. Elegans. Hybrid Systems Biology - Fourth International Workshop, (HSB). 9271:195–210.
Fan C, Duggirala PSridhar, Mitra S, Viswanathan M.  2015.  Progress on Powertrain Verification Challenge with C2E2. International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH). :207–212.
Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M.  2015.  Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Design {&} Test. 32:27–34.
Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M.  2014.  Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.
Ning Q, Chen K, Yi L, Fan C, Lu Y, Wen J.  2013.  Image super-resolution via analysis sparse prior. IEEE Signal Processing Letters. 20:399–402.