Xiaoqing Jin

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