| Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ... Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018 | 323 | 2018 |
| Mining requirements from closed-loop control models X Jin, A Donzé, JV Deshmukh, SA Seshia Proceedings of the 16th international conference on Hybrid systems …, 2013 | 277 | 2013 |
| TRANSIT: specifying protocols with concolic snippets A Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R Alur ACM SIGPLAN Notices 48 (6), 287-296, 2013 | 263 | 2013 |
| Robust online monitoring of signal temporal logic JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia Formal Methods in System Design 51, 5-30, 2017 | 213 | 2017 |
| Powertrain control verification benchmark X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts Proceedings of the 17th international conference on Hybrid systems …, 2014 | 185 | 2014 |
| Simulation-guided Lyapunov analysis for hybrid dynamical systems J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga Proceedings of the 17th international conference on Hybrid systems …, 2014 | 159 | 2014 |
| Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques J Kapinski, JV Deshmukh, X Jin, H Ito, K Butts IEEE Control Systems Magazine 36 (6), 45-64, 2016 | 141 | 2016 |
| Efficient guiding strategies for testing of temporal properties of hybrid systems T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 124 | 2015 |
| Regular functions and cost register automata R Alur, L DAntoni, J Deshmukh, M Raghothaman, Y Yuan 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 13-22, 2013 | 105 | 2013 |
| Testing cyber-physical systems through bayesian optimization J Deshmukh, M Horvat, X Jin, R Majumdar, VS Prabhu ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-18, 2017 | 79 | 2017 |
| Multiple shooting, cegar-based falsification for hybrid systems A Zutshi, JV Deshmukh, S Sankaranarayanan, J Kapinski Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 75 | 2014 |
| Stochastic local search for falsification of hybrid systems J Deshmukh, X Jin, J Kapinski, O Maler Automated Technology for Verification and Analysis: 13th International …, 2015 | 73 | 2015 |
| Reasoning about safety of learning-enabled components in autonomous cyber-physical systems CE Tuncali, J Kapinski, H Ito, JV Deshmukh Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 69 | 2018 |
| Nondeterministic streaming string transducers R Alur, JV Deshmukh International Colloquium on Automata, Languages, and Programming, 1-20, 2011 | 63 | 2011 |
| Hyperproperties of real-valued signals LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 55 | 2017 |
| Logical clustering and learning for time-series data M Vazquez-Chanlatte, JV Deshmukh, X Jin, SA Seshia Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 51 | 2017 |
| Evaluating perception systems for autonomous vehicles using quality temporal logic A Dokhanchi, HB Amor, JV Deshmukh, G Fainekos Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 49 | 2018 |
| ST-Lib: A library for specifying and classifying model behaviors J Kapinski, X Jin, J Deshmukh, A Donze, T Yamaguchi, H Ito, T Kaga, ... SAE Technical Paper, 2016 | 46 | 2016 |
| A trajectory splicing approach to concretizing counterexamples for hybrid systems A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski 52nd IEEE Conference on Decision and Control, 3918-3925, 2013 | 45 | 2013 |
| Conformance testing as falsification for cyber-physical systems H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda arXiv preprint arXiv:1401.5200, 2014 | 44 | 2014 |
Xiaoqing JinApple Inc.在 cs.ucr.edu 的电子邮件经过验证
