Xiaoqing Jin
Xiaoqing Jin
Apple Inc.
Verified email at cs.ucr.edu - Homepage
Title
Cited by
Cited by
Year
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
2032015
Powertrain control verification benchmark
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
Proceedings of the 17th international conference on Hybrid systems …, 2014
1242014
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
842017
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
742015
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
612016
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
402015
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
312016
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
302012
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
282016
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
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
262017
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
252017
Logical clustering and learning for time-series data
M Vazquez-Chanlatte, JV Deshmukh, X Jin, SA Seshia
International Conference on Computer Aided Verification, 305-325, 2017
252017
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
222015
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
212017
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
182015
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
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
162017
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
162017
Symbolic verification of ECA rules.
X Jin, Y Lembachar, G Ciardo
PNSE+ ModPE 989, 41-59, 2013
122013
The system can't perform the operation now. Try again later.
Articles 1–20