Zhenya Zhang

Xuan Xie

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Correction to: Impacts of the hygro-thermo conditions on the vibration analysis of 2D-FG nanoplates based on a novel HSDT.

[BibT_eX]

[DOI]

Xiaoli Liu

Reza Mohammadi

Eng. Comput., 2022

Impacts of the hygro-thermo conditions on the vibration analysis of 2D-FG nanoplates based on a novel HSDT.

[BibT_eX]

[DOI]

Xiaoli Liu

Reza Mohammadi

Eng. Comput., 2022

Detecting adversarial examples by positive and negative representations.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2022

CSI Feedback Based on Complex Neural Network for Massive MIMO Systems.

[BibT_eX]

[DOI]

IEEE Access, 2022

Improved Harris Combined With Clustering Algorithm for Data Traffic Classification.

[BibT_eX]

[DOI]

IEEE Access, 2022

Wireless Channel State Prediction Method Based on Improved Adaptive and Parameter-Free Recurrent Neural Structure.

[BibT_eX]

[DOI]

IEEE Access, 2022

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

[BibT_eX]

[DOI]

Mohammad Mahdi Mahboob

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2021

Time-Staging Enhancement of Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Multi-UAV Path Planning Based on Fusion of Sparrow Search Algorithm and Improved Bioinspired Neural Network.

[BibT_eX]

[DOI]

IEEE Access, 2021

CSI Ranging-based Wi-Fi Indoor Localization Error Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Issue Categorization and Analysis of an Open-Source Driving Assistant System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Hierarchical Optimization for Hybrid System Falsification.

[BibT_eX]

[DOI]

PhD thesis, 2020

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Occupant counting modelling for intelligent buildings based on data from multiple WiFi sniffers.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2020

Features extraction and analysis for device-free human activity recognition based on channel statement information in b5G wireless communications.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2020

Channel State Information Based Indoor Localization Error Bound Leveraging Pedestrian Random Motion.

[BibT_eX]

[DOI]

IEEE Access, 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Generating Multi-label Adversarial Examples by Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

CSI-based Indoor Localization Error Bound Considering Pedestrian Motion.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/CIC International Conference on Communications in China, 2020

Carrier Phase-based Wi-Fi Indoor Localization Method.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/CIC International Conference on Communications in China, 2020

ARCH-COMP 2020 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

A privacy-preserving aggregation scheme based on immunological negative surveys for smart meters.

[BibT_eX]

[DOI]

Hao Jiang

Wenjian Luo

Appl. Soft Comput., 2019

A Global Iterations Method for Recreating Railway Vertical Alignment Considering Multiple Constraints.

[BibT_eX]

[DOI]

IEEE Access, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Indoor Localization Based on Centroid Constraints of AP Quadrilateral Networks.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Intelligent Communications, 2019

ARCH-COMP 2019 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Research on Information Recognition of VAT Invoice Based on Computer Vision.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Cloud Computing and Intelligence Systems, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

CoRR, 2018

Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

A p-Persistent Frequent Itemsets with 1-RHS Based Correction Algorithm for Improving the Performance of WiFi-Based Occupant Detection Method.

[BibT_eX]

[DOI]

Proceedings of the Advancements in Smart City and Intelligent Building, 2018

A Classification-Based Occupant Detection Method for Smart Home Using Multiple-WiFi Sniffers.

[BibT_eX]

[DOI]

Proceedings of the Advancements in Smart City and Intelligent Building, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Localization of Linearizability Faults on the Coarse-Grained Level.

[BibT_eX]

[DOI]

Peng Wu

Yu Zhang

Int. J. Softw. Eng. Knowl. Eng., 2017

2015

Structure Analysis and Decoupling Research of a Novel Flexible Tactile Sensor Array.

[BibT_eX]

[DOI]

J. Sensors, 2015

2011

An Optimization Model for the Identification of Temperature in Intelligent Building.

[BibT_eX]

[DOI]

Shuguang Zhang

J. Inf. Technol. Res., 2011

2010

Research on air-conditioning fault diagnosis method based on SVM.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Natural Computation, 2010

2008

Clustering aggregation based on genetic algorithm for documents clustering.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Correlation clustering based on genetic algorithm for documents clustering.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007

Research on delta-radius Based Generalization of Corner Classification.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Natural Computation, 2007

Keywords Extracting as Text ChanceDiscovery.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

2006

Research on Stereographic Projection and It's Application on Feed Forward Neural Network.

[BibT_eX]

[DOI]

Xufa Wang

Proceedings of the Advances in Natural Computation, Second International Conference, 2006

2005

Principle for Outputs of Hidden Neurons in CC4 Network.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30, 2005

TextCC: New Feed Forward Neural Network for Classifying Documents Instantly.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30, 2005

2004

Extending CC4 Neural Networks to Classify Real Life Documents.

[BibT_eX]

Informatica (Slovenia), 2004

Enabling Personalization Recommendation With WeightedFP for Text Information Retrieval Based on User-Focus.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

User-Focus Based Personalization Recommendation for Text Information Retrieval.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web Technologies and Applications, 2004

2003

A self-routing hierarchical topology for wireless multi-hop networks management.

[BibT_eX]

[DOI]

Hongyu Wang