Xiaoqing Jin

CoRR, 2024

2020

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

[BibT_eX]

[DOI]

Comput. Geosci., 2020

2019

Measuring the Local and Global Variabilities in Body Sway by Nonlinear Poincaré Technology.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Comput. Geosci., 2019

Inertial Sensor-Based Gait Analysis for Evaluating the Effects of Acupuncture Treatment in Parkinson's Disease.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019

2018

Simulation-Driven Reachability Using Matrix Measures.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.

[BibT_eX]

[DOI]

Ayca Balkan

Paulo Tabuada

ACM Trans. Embed. Comput. Syst., 2018

Class Weights Random Forest Algorithm for Processing Class Imbalanced Medical Data.

[BibT_eX]

[DOI]

IEEE Access, 2018

Optimization of Center-of-Pressure-Based Indices for Assessing Balance Ability.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Medical Measurements and Applications, 2018

Parameter optimization in control software using statistical fault localization techniques.

[BibT_eX]

[DOI]

Rupak Majumdar

Vinayak S. Prabhu

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Testing Cyber-Physical Systems through Bayesian Optimization.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Robust online monitoring of signal temporal logic.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Hyperproperties of real-valued signals.

[BibT_eX]

[DOI]

Luan Viet Nguyen

Taylor T. Johnson

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.

[BibT_eX]

[DOI]

Luan Viet Nguyen

Marcell Vazquez-Chanlatte

Ken Butts

Taylor T. Johnson

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Logical Clustering and Learning for Time-Series Data.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Learning Auditable Features from Signals Using Unsupervised Temporal Projection.

[BibT_eX]

[DOI]

Marcell V.-Chanlatte

CoRR, 2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.

[BibT_eX]

[DOI]

Aditya Zutshi

Sriram Sankaranarayanan

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Locally optimal reach set over-approximation for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.

[BibT_eX]

[DOI]

Ayca Balkan

Paulo Tabuada

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Mining Requirements From Closed-Loop Control Models.

[BibT_eX]

[DOI]

Alexandre Donzé

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.

[BibT_eX]

[DOI]

J. Electr. Comput. Eng., 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Falsification of safety properties for closed loop control systems.

[BibT_eX]

[DOI]

Aditya Zutshi

Sriram Sankaranarayanan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Oded Maler

Proceedings of the Automated Technology for Verification and Analysis, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.

[BibT_eX]

[DOI]

Hisahiro Ito

Kenneth R. Butts

Proceedings of the American Control Conference, 2015

Automotive systems requirement mining using breach.

[BibT_eX]

[DOI]

Alexandre Donzé

Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.

[BibT_eX]

[DOI]

Georgios Fainekos

Sriram Sankaranarayanan

Aditya Zutshi

Proceedings of the American Control Conference, 2015

2014

Symbolic Termination and Confluence Checking for ECA Rules.

[BibT_eX]

[DOI]

Yousra Lembachar

Gianfranco Ciardo

Trans. Petri Nets Other Model. Concurr., 2014

Powertrain control verification benchmark.

[BibT_eX]

[DOI]

Koichi Ueda

Kenneth R. Butts

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

2013

Verification and Validation of Hybrid Systems.

[BibT_eX]

[DOI]

PhD thesis, 2013

Symbolic verification of ECA rules.

[BibT_eX]

[DOI]

Yousra Lembachar

Gianfranco Ciardo

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.

[BibT_eX]

[DOI]

Gianfranco Ciardo

Yang Zhao