Segui
Xiaoqing Jin
Xiaoqing Jin
Apple Inc.
Email verificata su cs.ucr.edu - Home page
Titolo
Citata da
Citata da
Anno
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
2752013
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
2112017
Powertrain control verification benchmark
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
Proceedings of the 17th international conference on Hybrid systems …, 2014
1842014
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
1412016
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
1242015
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
782017
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
722015
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
532017
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
502017
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
482017
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
462016
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
462016
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
342012
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
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
322015
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
262017
Symbolic verification of ECA rules.
X Jin, Y Lembachar, G Ciardo
PNSE+ ModPE 989, 41-59, 2013
262013
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
222017
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
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
202009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20