| Simulation-based adversarial test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, H Ito, J Kapinski 2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018 | 285 | 2018 |
| Powertrain control verification benchmark X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts Proceedings of the 17th international conference on Hybrid systems …, 2014 | 189 | 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 | 164 | 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 | 151 | 2016 |
| Requirements-driven test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski IEEE Transactions on Intelligent Vehicles 5 (2), 265-280, 2019 | 133 | 2019 |
| 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 | 130 | 2015 |
| 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 | 77 | 2014 |
| 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 | 76 | 2018 |
| Stochastic Local earch for Falsification of Hybrid ystems J Deshmukh, X Jin, J Kapinski, O Maler International Symposium on Automated Technology for Verification and …, 2015 | 74 | 2015 |
| Transient electromechanical modeling for short secondary linear induction machines D Hall, J Kapinski, M Krefta, O Christianson IEEE Transactions on Energy Conversion 23 (3), 789-795, 2008 | 73 | 2008 |
| On systematic simulation of open continuous systems J Kapinski, BH Krogh, O Maler, O Stursberg Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 65 | 2003 |
| 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 | 58 | 2017 |
| Classification and coverage-based falsification for embedded control systems A Adimoolam, T Dang, A Donzé, J Kapinski, X Jin Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 50 | 2017 |
| Locally optimal reach set over-approximation for nonlinear systems C Fan, J Kapinski, X Jin, S Mitra Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016 | 48 | 2016 |
| 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 | 48 | 2016 |
| Position paper on the challenges posed by modern applications to cyber-physical systems theory F Allgöwer, JB de Sousa, J Kapinski, P Mosterman, J Oehlerking, ... Nonlinear Analysis: Hybrid Systems 34, 147-165, 2019 | 47 | 2019 |
| 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 |
| Verification of supervisory control software using state proximity and merging F Lerda, J Kapinski, EM Clarke, BH Krogh Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008 | 40 | 2008 |
| Sim-atav: Simulation-based adversarial testing framework for autonomous vehicles CE Tuncali, G Fainekos, H Ito, J Kapinski Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 36 | 2018 |
Xiaoqing JinApple Inc.Email verificata su cs.ucr.edu
