Follow
Xin Qin
Title
Cited by
Cited by
Year
Automatic testing and falsification with dynamically constrained reinforcement learning
X Qin, N Aréchiga, A Best, J Deshmukh
arXiv preprint arXiv:1910.13645, 2019
202019
Specifying and evaluating quality metrics for vision-based perception systems
A Balakrishnan, AG Puranic, X Qin, A Dokhanchi, JV Deshmukh, HB Amor, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
132019
Shape expressions for specifying and extracting signal features
D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh
International Conference on Runtime Verification, 292-309, 2019
102019
Mining shape expressions from positive examples
E Bartocci, J Deshmukh, F Gigler, C Mateis, D Ničković, X Qin
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
72020
Parameter searching and partition with probabilistic coverage guarantees
C Fan, X Qin, J Deshmukh
arXiv preprint arXiv:2004.00279, 2020
62020
Clairvoyant Monitoring for Signal Temporal Logic
X Qin, JV Deshmukh
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
42020
Predictive monitoring for signal temporal logic with probabilistic guarantees
X Qin, JV Deshmukh
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
42019
Specifying and detecting temporal patterns with shape expressions
D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh
International Journal on Software Tools for Technology Transfer 23 (4), 565-577, 2021
12021
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
C Fan, X Qin, Y Xia, A Zutshi, J Deshmukh
arXiv preprint arXiv:2004.00279, 2020
12020
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
X Qin, Y Xian, A Zutshi, C Fan, JV Deshmukh
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
2022
Mining Shape Expressions with ShapeIt
E Bartocci, J Deshmukh, C Mateis, E Nesterini, D Ničković, X Qin
International Conference on Software Engineering and Formal Methods, 110-117, 2021
2021
Automatic Testing With Reusable Adversarial Agents
X Qin, N Aréchiga, A Best, J Deshmukh
arXiv preprint arXiv:1910.13645, 2019
2019
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees
X Qin, JV Deshmukh
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods …, 2019
2019
Joint Probability Distribution of Prediction Errors of ARIMA
X Qin, JV Deshmukh
arXiv preprint arXiv:1811.04685, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–14