| 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 | 62 | 2016 |
| Bounded verification with on-the-fly discrepancy computation C Fan, S Mitra International Symposium on Automated Technology for Verification and …, 2015 | 53* | 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 | 42 | 2017 |
| 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 | 34 | 2016 |
| 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 | 32 | 2014 |
| 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 | 30 | 2013 |
| Meeting a powertrain verification challenge PS Duggirala, C Fan, S Mitra, M Viswanathan International Conference on Computer Aided Verification, 536-543, 2015 | 28 | 2015 |
| Bounded invariant verification for time-delayed nonlinear networked dynamical systems Z Huang, C Fan, S Mitra Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017 | 20 | 2017 |
| 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 | 18 | 2018 |
| 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 | 11 | 2018 |
| 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 | 11 | 2017 |
| 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 | 10 | 2018 |
| Progress on powertrain verification challenge with C2E2 C Fan, PS Duggirala, S Mitra, M Viswanathan NY Times, 2014 | 10 | 2014 |
| 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 | 9 | 2016 |
| Exploiting partially annotated data for temporal relation extraction Q Ning, Z Yu, C Fan, D Roth arXiv preprint arXiv:1804.08420, 2018 | 7 | 2018 |
| 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 | 7 | 2018 |
| 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 | 7 | 2015 |
| 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 | 5 | 2020 |
| 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 | 4 | 2020 |
Sayan MitraUniversity of Illinois at Urbana ChampaignVerifierad e-postadress på illinois.edu
