![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Xiaoqing Jin
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j12]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
- 2019
- [j11]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]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]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]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]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]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]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]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]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]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]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]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]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]Luan Viet Nguyen
, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
:
Hyperproperties of real-valued signals. MEMOCODE 2017: 104-113 - [i3]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]Chuchu Fan
, James Kapinski, Xiaoqing Jin, Sayan Mitra
:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10 - [c16]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]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin:
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC 2016: 135-144 - [i2]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]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]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]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]Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Automotive systems requirement mining using breach. ACC 2015: 4097 - [c12]Jyotirmoy V. Deshmukh, Georgios Fainekos
, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin:
Beyond single shooting: Iterative approaches to falsification. ACC 2015: 4098 - [c11]Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler:
Stochastic Local Search for Falsification of Hybrid Systems. ATVA 2015: 500-517 - [c10]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]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]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]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]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]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]Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts:
Powertrain control verification benchmark. HSCC 2014: 253-262 - 2013
- [b1]Xiaoqing Jin:
Verification and Validation of Hybrid Systems. University of California, Riverside, USA, 2013 - [c5]Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic verification of ECA rules. PNSE+ModPE 2013: 41-59 - [c4]Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining requirements from closed-loop control models. HSCC 2013: 43-52 - 2012
- [j1]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]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]Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo
:
A Symbolic Algorithm for Shortest EG Witness Generation. TASE 2011: 68-75
2000 – 2009
- 2009
- [c1]Gianfranco Ciardo
, Yang Zhao, Xiaoqing Jin:
Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC 2009: 1-17
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint