| 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 | 286 | 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 | 240 | 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 | 194 | 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 | 157 | 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 | 134 | 2015 |
| 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 | 90 | 2017 |
| 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 | 77 | 2015 |
| 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 | 60 | 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 | 56 | 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 | 55 | 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 |
| Ten years of saturation: A Petri net perspective G Ciardo, Y Zhao, X Jin Transactions on Petri Nets and Other Models of Concurrency V, 51-95, 2012 | 36 | 2012 |
| Simulation-guided approaches for verification of automotive powertrain control systems J Kapinski, J Deshmukh, X Jin, H Ito, K Butts 2015 American Control Conference (ACC), 4086-4095, 2015 | 34 | 2015 |
| Benchmarks for Model Transformations and Conformance Checking KB Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda Applied Verification for Continuous and Hybrid Systems, 2014 | 33* | 2014 |
| Abnormal data classification using time-frequency temporal logic LV Nguyen, J Kapinski, X Jin, JV Deshmukh, K Butts, TT Johnson Proceedings of the 20th international conference on hybrid systems …, 2017 | 30 | 2017 |
| 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 | 25 | 2017 |
| Symbolic verification of ECA rules. X Jin, Y Lembachar, G Ciardo PNSE+ ModPE 989, 41-59, 2013 | 24 | 2013 |
| Underminer: A framework for automatically identifying nonconverging behaviors in black-box system models A Balkan, P Tabuada, JV Deshmukh, X Jin, J Kapinski ACM Transactions on Embedded Computing Systems (TECS) 17 (1), 1-28, 2017 | 23 | 2017 |
| Parallel symbolic state-space exploration is difficult, but what is the alternative? G Ciardo, Y Zhao, X Jin arXiv preprint arXiv:0912.2785, 2009 | 21 | 2009 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
