Xiaoqing Jin

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 20

Top Venues

HSCC

ACM Trans. Embed. Comput. Syst.

CoRR

ACC

University of California, Riverside, USA (PHD)

Education History

University of California, Riverside, USA

PHD

Publications

Xiangning Zhang, Pu Li, Ding Lyu, Xiaoqing Jin, Peter K. Liaw, Leon M. Keer
The interactions between multiple arbitrarily orientated inhomogeneities with thermo-porous eigenstrains and its applications in geothermal resources. Comput. Geosci. 145 (2020)
Xiangning Zhang, Ding Lyu, Pu Li, Xiaoqing Jin, Peter K. Liaw, Leon M. Keer
A closed-form solution for the horizontally aligned thermal-porous spheroidal inclusion in a half-space and its applications in geothermal reservoirs. Comput. Geosci. 122 (2019)
Shengyu Zhang, Guifeng Jia, Renbing Zhang, Jian Lin, Yidan Chen, Xiaoqing Jin, Gangmin Ning
Measuring the Local and Global Variabilities in Body Sway by Nonlinear Poincaré Technology. IEEE Trans. Instrum. Meas. 68 (12) (2019)
Lei Wang, Xiaoqing Jin, Yingying Sun, Lihong Li, Qingguo Li, Yan Guo, Guang Cheng, Tao Liu
Inertial Sensor-Based Gait Analysis for Evaluating the Effects of Acupuncture Treatment in Parkinson's Disease. AIM (2019)
Shengyu Zhang, Yuhao Ye, Renbing Zhang, Xiaoqing Jin, Yidan Chen, Gangmin Ning
Optimization of Center-of-Pressure-Based Indices for Assessing Balance Ability. MeMeA (2018)
Min Zhu, Jing Xia, Xiaoqing Jin, MoLei Yan, Guolong Cai, Jing Yan, Gangmin Ning
Class Weights Random Forest Algorithm for Processing Class Imbalanced Medical Data. IEEE Access 6 (2018)
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Parameter optimization in control software using statistical fault localization techniques. ICCPS (2018)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. CoRR (2017)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51 (1) (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
Hyperproperties of real-valued signals. MEMOCODE (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
Abnormal Data Classification Using Time-Frequency Temporal Logic. HSCC (2017)
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
Logical Clustering and Learning for Time-Series Data. CAV (1) (2017)
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) (2017)
Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Testing Cyber-Physical Systems through Bayesian Optimization. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: a framework for automatically identifying non-converging behaviors in black box system models. EMSOFT (2016)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC (2016)
Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
Learning Auditable Features from Signals Using Unsupervised Temporal Projection. CoRR (2016)
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT (2016)
Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. ARCH@CPSWeek (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. CoRR (2015)
James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts
Simulation-guided approaches for verification of automotive powertrain control systems. ACC (2015)
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
Beyond single shooting: Iterative approaches to falsification. ACC (2015)
Guohua Zhang, Jian Guan, Jingyi Ai, Jiangtao Zhang, Xiaoqing Jin
Climate Characteristics of High-Temperature and Muggy Days in the Beijing-Tianjin-Hebei Region in the Recent 30 Years. J. Electr. Comput. Eng. 2015 (2015)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Mining Requirements From Closed-Loop Control Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (11) (2015)
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. RV (2015)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler
Stochastic Local Search for Falsification of Hybrid Systems. ATVA (2015)
Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Automotive systems requirement mining using breach. ACC (2015)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin
Falsification of safety properties for closed loop control systems. HSCC (2015)
Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts
Powertrain control verification benchmark. HSCC (2014)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic Termination and Confluence Checking for ECA Rules. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Mining requirements from closed-loop control models. HSCC (2013)
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo
Symbolic verification of ECA rules. PNSE+ModPE (2013)
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
Ten Years of Saturation: A Petri Net Perspective. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo
A Symbolic Algorithm for Shortest EG Witness Generation. TASE (2011)
Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao
Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA (2011)
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC (2009)

Xiaoqing Jin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiaoqing Jin