Zhenya Zhang

According to our database1, Zhenya Zhang authored at least 70 papers between 2001 and 2023.

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

2023
TAT: Targeted backdoor attacks against visual object tracking.
Pattern Recognit., October, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.
ACM Trans. Softw. Eng. Methodol., September, 2023

WaterExcVA: a system for exploring and visualizing data exception in urban water supply.
J. Vis., August, 2023

A Robustness-Based Confidence Measure for Hybrid System Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng., April, 2023

A Local Area Network-Based Insect Intelligent Building Platform.
Int. J. Pattern Recognit. Artif. Intell., February, 2023

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.
CoRR, 2023

Boosting Source Code Learning with Data Augmentation: An Empirical Study.
CoRR, 2023

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

On the Effectiveness of Graph Data Augmentation for Source Code Learning.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Online Causation Monitoring of Signal Temporal Logic.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Online Reset for Signal Temporal Logic Monitoring.
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.
Eng. Comput., 2022

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

Detecting adversarial examples by positive and negative representations.
Appl. Soft Comput., 2022

CSI Feedback Based on Complex Neural Network for Massive MIMO Systems.
IEEE Access, 2022

Improved Harris Combined With Clustering Algorithm for Data Traffic Classification.
IEEE Access, 2022

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

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021
Falsification of Hybrid Systems Using Adaptive Probabilistic Search.
ACM Trans. Model. Comput. Simul., 2021

Time-Staging Enhancement of Hybrid System Falsification.
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.
IEEE Access, 2021

CSI Ranging-based Wi-Fi Indoor Localization Error Analysis.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Issue Categorization and Analysis of an Open-Source Driving Assistant System.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification.
Proceedings of the Formal Methods - 24th International Symposium, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020
Hierarchical Optimization for Hybrid System Falsification.
PhD thesis, 2020

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Occupant counting modelling for intelligent buildings based on data from multiple WiFi sniffers.
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.
EURASIP J. Wirel. Commun. Netw., 2020

Channel State Information Based Indoor Localization Error Bound Leveraging Pedestrian Random Motion.
IEEE Access, 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Generating Multi-label Adversarial Examples by Linear Programming.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

CSI-based Indoor Localization Error Bound Considering Pedestrian Motion.
Proceedings of the 9th IEEE/CIC International Conference on Communications in China, 2020

Carrier Phase-based Wi-Fi Indoor Localization Method.
Proceedings of the 9th IEEE/CIC International Conference on Communications in China, 2020

ARCH-COMP 2020 Category Report: Falsification.
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).
CoRR, 2019

A privacy-preserving aggregation scheme based on immunological negative surveys for smart meters.
Appl. Soft Comput., 2019

A Global Iterations Method for Recreating Railway Vertical Alignment Considering Multiple Constraints.
IEEE Access, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Indoor Localization Based on Centroid Constraints of AP Quadrilateral Networks.
Proceedings of the Machine Learning and Intelligent Communications, 2019

ARCH-COMP 2019 Category Report: Falsification.
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.
Proceedings of the 6th IEEE International Conference on Cloud Computing and Intelligence Systems, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

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

Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.
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.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

A Classification-Based Occupant Detection Method for Smart Home Using Multiple-WiFi Sniffers.
Proceedings of the Advancements in Smart City and Intelligent Building, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
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.
Int. J. Softw. Eng. Knowl. Eng., 2017

2015
Structure Analysis and Decoupling Research of a Novel Flexible Tactile Sensor Array.
J. Sensors, 2015

2011
An Optimization Model for the Identification of Temperature in Intelligent Building.
J. Inf. Technol. Res., 2011

2010
Research on air-conditioning fault diagnosis method based on SVM.
Proceedings of the Sixth International Conference on Natural Computation, 2010

2008
Clustering aggregation based on genetic algorithm for documents clustering.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Correlation clustering based on genetic algorithm for documents clustering.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007
Research on delta-radius Based Generalization of Corner Classification.
Proceedings of the Third International Conference on Natural Computation, 2007

Keywords Extracting as Text ChanceDiscovery.
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.
Proceedings of the Advances in Natural Computation, Second International Conference, 2006

2005
Principle for Outputs of Hidden Neurons in CC4 Network.
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.
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.
Informatica (Slovenia), 2004

Enabling Personalization Recommendation With WeightedFP for Text Information Retrieval Based on User-Focus.
Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

User-Focus Based Personalization Recommendation for Text Information Retrieval.
Proceedings of the Advanced Web Technologies and Applications, 2004

2003
A self-routing hierarchical topology for wireless multi-hop networks management.
Proceedings of the IEEE 14th International Symposium on Personal, 2003

2001
An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001


  Loading...