default search action

combined dblp search
author search
venue search
publication search

ask others

Xiaoqing Jin

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-03032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-03032
Xuan Liu, Zhigang Jia, Xiaoqing Jin:
Flexible Quaternion Generalized Minimal Residual Method for Ill-Posed Quaternion Inverse Problems. CoRR abs/2408.03032 (2024)
2020
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/gandc/ZhangLLJLK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gandc/ZhangLLJLK20
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: 104623 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/gandc/ZhangLLJLK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gandc/ZhangLLJLK19
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: 15-24 (2019)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tim/ZhangJZLCJN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tim/ZhangJZLCJN19
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): 4817-4824 (2019)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/aimech/WangJSLLGC019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aimech/WangJSLLGC019
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: 323-328
2018
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ZhuXJYCYN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ZhuXJYCYN18
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: 4641-4652 (2018)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/BalkanTDJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/BalkanTDJK18
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): 20:1-20:28 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/FanKJM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/FanKJM18
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17(1): 21:1-21:28 (2018)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/DeshmukhJMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/DeshmukhJMP18
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Parameter optimization in control software using statistical fault localization techniques. ICCPS 2018: 220-231
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/memea/ZhangYZJCN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memea/ZhangYZJCN18
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: 1-5
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DeshmukhDGJJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DeshmukhDGJJS17
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): 5-30 (2017)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/DeshmukhHJMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/DeshmukhHJMP17
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): 170:1-170:18 (2017)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Vazquez-Chanlatte17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Vazquez-Chanlatte17
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Logical Clustering and Learning for Time-Series Data. CAV (1) 2017: 305-325
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AdimoolamDDKJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AdimoolamDDKJ17
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin:
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) 2017: 483-503
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NguyenKJDBJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NguyenKJDBJ17
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: 237-242
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/NguyenKJDJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/NguyenKJDJ17
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson:
Hyperproperties of real-valued signals. MEMOCODE 2017: 104-113
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-02073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-02073
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. CoRR abs/1710.02073 (2017)
2016
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/FanKJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/FanKJM16
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/BalkanTDJK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/BalkanTDJK16
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: 7:1-7:10
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/0001SDJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/0001SDJ16
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin:
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC 2016: 135-144
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/V-ChanlatteDJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/V-ChanlatteDJS16
Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Learning Auditable Features from Signals Using Unsupervised Temporal Projection. CoRR abs/1612.07823 (2016)
2015
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jece/ZhangGAZJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jece/ZhangGAZJ15
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: 507518:1-507518:6 (2015)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/JinDDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/JinDDS15
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): 1704-1717 (2015)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/KapinskiDJIB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/KapinskiDJIB15
James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts:
Simulation-guided approaches for verification of automotive powertrain control systems. ACC 2015: 4086-4095
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DonzeJDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DonzeJDS15
Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Automotive systems requirement mining using breach. ACC 2015: 4097
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DeshmukhFKS0J15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DeshmukhFKS0J15
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin:
Beyond single shooting: Iterative approaches to falsification. ACC 2015: 4098
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DeshmukhJKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DeshmukhJKM15
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler:
Stochastic Local Search for Falsification of Hybrid Systems. ATVA 2015: 500-517
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/DeshmukhIJKBGSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/DeshmukhIJKBGSW15
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: 98-112
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/0001SDKJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/0001SDKJ15
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin:
Falsification of safety properties for closed loop control systems. HSCC 2015: 299-300
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DreossiDDKJD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DreossiDDKJD15
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: 127-142
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DeshmukhDGJJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DeshmukhDGJJS15
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. RV 2015: 55-70
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DeshmukhDGJJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DeshmukhDGJJS15
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. CoRR abs/1506.08234 (2015)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/JinLC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/JinLC14
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic Termination and Confluence Checking for ECA Rules. Trans. Petri Nets Other Model. Concurr. 9: 99-123 (2014)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/JinDKUB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/JinDKUB14
Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts:
Powertrain control verification benchmark. HSCC 2014: 253-262
2013
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Jin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Jin13
Xiaoqing Jin:
Verification and Validation of Hybrid Systems. University of California, Riverside, USA, 2013
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/JinLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JinLC13
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic verification of ECA rules. PNSE+ModPE 2013: 41-59
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/JinDDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/JinDDS13
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining requirements from closed-loop control models. HSCC 2013: 43-52
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CiardoZJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CiardoZJ12
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Ten Years of Saturation: A Petri Net Perspective. Trans. Petri Nets Other Model. Concurr. 5: 51-95 (2012)
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JinCKZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JinCKZ11
Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao:
Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA 2011: 432-442
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhaoJC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhaoJC11
Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo:
A Symbolic Algorithm for Shortest EG Witness Generation. TASE 2011: 68-75

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-2785
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-2785
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC 2009: 1-17

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.