Xiaoqing Jin
Xiaoqing Jin
Apple Inc.
Bestätigte E-Mail-Adresse bei cs.ucr.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2152015
Powertrain control verification benchmark
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
Proceedings of the 17th international conference on Hybrid systems …, 2014
1262014
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
942017
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
762015
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
642016
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
412015
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
352016
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
322016
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
312012
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
302017
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
28*2014
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
262017
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
262017
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
242017
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
232015
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
182017
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20