Xiaoqing Jin
Xiaoqing Jin
Toyota Motor North America R&D
Verified email at tema.toyota.com - Homepage
TitleCited byYear
Mining requirements from closed-loop control models
X Jin, A Donzé, JV Deshmukh, SA Seshia
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015
1462015
Powertrain control verification benchmark
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
Proceedings of the 17th international conference on Hybrid systems …, 2014
892014
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 Symposium, 127-142, 2015
482015
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 (1), 5-30, 2017
452017
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
322016
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
27*2014
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
272012
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
222016
Stochastic local search for falsification of hybrid systems
J Deshmukh, X Jin, J Kapinski, O Maler
International Symposium on Automated Technology for Verification and …, 2015
202015
Parallel symbolic state-space exploration is difficult, but what is the alternative?
G Ciardo, Y Zhao, X Jin
arXiv preprint arXiv:0912.2785, 2009
182009
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
162015
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
142016
Falsification of safety properties for closed loop control systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski, X Jin
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
112015
Symbolic verification of ECA rules.
X Jin, Y Lembachar, G Ciardo
PNSE+ ModPE, 41-59, 2013
102013
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), 20, 2018
92018
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
92017
Symbolic-numeric reachability analysis of closed-loop control software
A Zutshi, S Sankaranarayanan, JV Deshmukh, X Jin
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
92016
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), 170, 2017
72017
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
72017
Classification and coverage-based falsification for embedded control systems
A Adimoolam, T Dang, A Donzé, J Kapinski, X Jin
International Conference on Computer Aided Verification, 483-503, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20