Biblio

Found 33 results
2016
Duggirala PSridhar, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson TT, Nguyen LViet et al..  2016.  Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications, (CCA). :1024–1029.
2015
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.
2014
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.
2013
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.

Pages