Xiaoqing Jin

According to our database1, Xiaoqing Jin authored at least 36 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
The interactions between multiple arbitrarily orientated inhomogeneities with thermo-porous eigenstrains and its applications in geothermal resources.
Comput. Geosci., 2020

2019
Measuring the Local and Global Variabilities in Body Sway by Nonlinear Poincaré Technology.
IEEE Trans. Instrum. Meas., 2019

A closed-form solution for the horizontally aligned thermal-porous spheroidal inclusion in a half-space and its applications in geothermal reservoirs.
Comput. Geosci., 2019

Inertial Sensor-Based Gait Analysis for Evaluating the Effects of Acupuncture Treatment in Parkinson's Disease.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019

2018
Simulation-Driven Reachability Using Matrix Measures.
ACM Trans. Embed. Comput. Syst., 2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.
ACM Trans. Embed. Comput. Syst., 2018

Class Weights Random Forest Algorithm for Processing Class Imbalanced Medical Data.
IEEE Access, 2018

Optimization of Center-of-Pressure-Based Indices for Assessing Balance Ability.
Proceedings of the 2018 IEEE International Symposium on Medical Measurements and Applications, 2018

Parameter optimization in control software using statistical fault localization techniques.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017
Testing Cyber-Physical Systems through Bayesian Optimization.
ACM Trans. Embed. Comput. Syst., 2017

Robust online monitoring of signal temporal logic.
Formal Methods Syst. Des., 2017

Hyperproperties of real-valued signals.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Logical Clustering and Learning for Time-Series Data.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Learning Auditable Features from Signals Using Unsupervised Temporal Projection.
CoRR, 2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Locally optimal reach set over-approximation for nonlinear systems.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
Mining Requirements From Closed-Loop Control Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Climate Characteristics of High-Temperature and Muggy Days in the Beijing-Tianjin-Hebei Region in the Recent 30 Years.
J. Electr. Comput. Eng., 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Falsification of safety properties for closed loop control systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Stochastic Local Search for Falsification of Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.
Proceedings of the American Control Conference, 2015

Automotive systems requirement mining using breach.
Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.
Proceedings of the American Control Conference, 2015

2014
Symbolic Termination and Confluence Checking for ECA Rules.
Trans. Petri Nets Other Model. Concurr., 2014

Powertrain control verification benchmark.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013
Verification and Validation of Hybrid Systems.
PhD thesis, 2013

Symbolic verification of ECA rules.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012
Ten Years of Saturation: A Petri Net Perspective.
Trans. Petri Nets Other Model. Concurr., 2012

2011
A Symbolic Algorithm for Shortest EG Witness Generation.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Symbolic Verification and Test Generation for a Network of Communicating FSMs.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2009
Parallel symbolic state-space exploration is difficult, but what is the alternative?
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009


  Loading...