Zhenya Zhang

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 68

Top Topics

Indoor Localization

Top Venues

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

Publications

Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
On the effectiveness of graph data augmentation for source code learning. Knowl. Based Syst. 285 (2024)
Min Zhang, Hongguang Jia, Shuying Wang, Zhenya Zhang
Designing High Performance Carbon/ZnSn(OH)6-Based Humidity Sensors. Sensors 24 (11) (2024)
Fengxin Chen, Ye Yu, Liangliang Ni, Zhenya Zhang, Qiang Lu
DSTVis: toward better interactive visual analysis of Drones' spatio-temporal data. J. Vis. 27 (4) (2024)
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO (2024)
Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. J. Syst. Softw. 216 (2024)
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) (2024)
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
Boosting Source Code Learning with Data Augmentation: An Empirical Study. CoRR (2023)
Qiang Lu, Yifan Ge, Jingang Rao, Liang Ling, Ye Yu, Zhenya Zhang
WaterExcVA: a system for exploring and visualizing data exception in urban water supply. J. Vis. 26 (4) (2023)
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Jianjun Zhao
Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study. QRS Companion (2023)
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. SANER (2023)
Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
On the Effectiveness of Graph Data Augmentation for Source Code Learning. DSA (2023)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49 (4) (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CAV (1) (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li, Yinxing Xue
EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing. ISSRE (2023)
Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CoRR (2023)
Ziyi Cheng, Baoyuan Wu, Zhenya Zhang, Jianjun Zhao
TAT: Targeted backdoor attacks against visual object tracking. Pattern Recognit. 142 (2023)
Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma, Jianjun Zhao
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. CoRR (2023)
Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
A Survey on Automated Driving System Testing: Landscapes and Trends. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Wenjian Luo, Chenwang Wu, Li Ni, Nan Zhou, Zhenya Zhang
Detecting adversarial examples by positive and negative representations. Appl. Soft Comput. 117 (2022)
Qingli Liu, Na Cao, Mengqian Li, Zhenya Zhang, Guoqiang Yang
Wireless Channel State Prediction Method Based on Improved Adaptive and Parameter-Free Recurrent Neural Structure. IEEE Access 10 (2022)
Qingli Liu, Mengqian Li, Na Cao, Zhenya Zhang, Guoqiang Yang
Improved Harris Combined With Clustering Algorithm for Data Traffic Classification. IEEE Access 10 (2022)
Zhenya Zhang, Xiaoli Liu, Reza Mohammadi
Correction to: Impacts of the hygro-thermo conditions on the vibration analysis of 2D-FG nanoplates based on a novel HSDT. Eng. Comput. 38 (4) (2022)
Zhenya Zhang, Xiaoli Liu, Reza Mohammadi
Impacts of the hygro-thermo conditions on the vibration analysis of 2D-FG nanoplates based on a novel HSDT. Eng. Comput. 38 (4) (2022)
Zhenya Zhang, Paolo Arcaini, Xuan Xie
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. ICSE (SEIP) (2022)
Qingli Liu, Zhenya Zhang, Guoqiang Yang, Na Cao, Mengqian Li
CSI Feedback Based on Complex Neural Network for Massive MIMO Systems. IEEE Access 10 (2022)
Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
A Survey on Automated Driving System Testing: Landscapes and Trends. CoRR (2022)
Zhenya Zhang, Paolo Arcaini
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM (2021)
Qingli Liu, Yang Zhang, Mengqian Li, Zhenya Zhang, Na Cao, Jiale Shang
Multi-UAV Path Planning Based on Fusion of Sparrow Search Algorithm and Improved Bioinspired Neural Network. IEEE Access 9 (2021)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) (2021)
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. CoRR (2021)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Yuexin Long, Mu Zhou, Zhenya Zhang, Wei Nie
CSI Ranging-based Wi-Fi Indoor Localization Error Analysis. WCSP (2021)
Shuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma, Yinxing Xue
Issue Categorization and Analysis of an Open-Source Driving Assistant System. ISSRE Workshops (2021)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM (2021)
Ping Wang, Zhenya Zhang, Qiansheng Fang, Huaqian Cao, Si Chen
Occupant counting modelling for intelligent buildings based on data from multiple WiFi sniffers. Int. J. Simul. Process. Model. 15 (4) (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Wei He, Ziying Yue, Zengshan Tian, Zhenya Zhang
Carrier Phase-based Wi-Fi Indoor Localization Method. ICCC (2020)
Nan Zhou, Wenjian Luo, Xin Lin, Peilan Xu, Zhenya Zhang
Generating Multi-label Adversarial Examples by Linear Programming. IJCNN (2020)
Zhenya Zhang, Liangbo Xie, Mu Zhou, Yong Wang
CSI-based Indoor Localization Error Bound Considering Pedestrian Motion. ICCC (2020)
Hui Yuan, Xiaolong Yang, Ailin He, Zhaoyu Li, Zhenya Zhang, Zengshan Tian
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 (1) (2020)
Zhenya Zhang, Wei Nie, Yong Wang, Liangbo Xie
Channel State Information Based Indoor Localization Error Bound Leveraging Pedestrian Random Motion. IEEE Access 8 (2020)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2020 Category Report: Falsification. ARCH (2020)
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR (2020)
Jiaqiao Zhang, Fuji Ren, Hongjun Ni, Zhenya Zhang, Kaixuan Wang
Research on Information Recognition of VAT Invoice Based on Computer Vision. CCIS (2019)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST (2019)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) (2019)
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR (2019)
Hao Jiang, Wenjian Luo, Zhenya Zhang
A privacy-preserving aggregation scheme based on immunological negative surveys for smart meters. Appl. Soft Comput. 85 (2019)
Hao Pu, Lu Zhao, Wei Li, Jian Zhang, Zhenya Zhang, Jiaxuan Liang, Taoran Song
A Global Iterations Method for Recreating Railway Vertical Alignment Considering Multiple Constraints. IEEE Access 7 (2019)
Xinyue Li, Mu Zhou, Zhenya Zhang, Zhu Liu
Indoor Localization Based on Centroid Constraints of AP Quadrilateral Networks. MLICOM (2019)
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek (2019)
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards
Time-Staging Enhancement of Hybrid System Falsification. CoRR (2018)
Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR (2018)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. CoRR (2018)
Ping Wang, Huaqian Cao, Si Chen, Jiake Li, Chang Tu, Zhenya Zhang
A Classification-Based Occupant Detection Method for Smart Home Using Multiple-WiFi Sniffers. ICSCIB (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS (2018)
Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA (2018)
Ping Wang, Huaqian Cao, Si Chen, Jiake Li, Chang Tu, Zhenya Zhang
A p-Persistent Frequent Itemsets with 1-RHS Based Correction Algorithm for Improving the Performance of WiFi-Based Occupant Detection Method. ICSCIB (2018)
Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards
Time-Staging Enhancement of Hybrid System Falsification. MT@CPSWeek (2018)
Zhenya Zhang, Peng Wu, Yu Zhang
Localization of Linearizability Faults on the Coarse-grained Level. SEKE (2017)
Zhenya Zhang, Peng Wu, Yu Zhang
Localization of Linearizability Faults on the Coarse-Grained Level. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)
Feilu Wang, Yang Song, Zhenya Zhang, Wanli Chen
Structure Analysis and Decoupling Research of a Novel Flexible Tactile Sensor Array. J. Sensors 2015 (2015)
Zhenya Zhang, Hongmei Cheng, Shuguang Zhang
An Optimization Model for the Identification of Temperature in Intelligent Building. J. Inf. Technol. Res. 4 (2) (2011)
Yang Li, Qiansheng Fang, Xiaolong Wang, Zhenya Zhang, Chenlei Xie
Research on air-conditioning fault diagnosis method based on SVM. ICNC (2010)
Zhenya Zhang, Hongmei Cheng, Shuguang Zhang, Wanli Chen, Qiansheng Fang
Clustering aggregation based on genetic algorithm for documents clustering. IEEE Congress on Evolutionary Computation (2008)
Zhenya Zhang, Hongmei Cheng, Wanli Chen, Shuguang Zhang, Qiansheng Fang
Correlation clustering based on genetic algorithm for documents clustering. IEEE Congress on Evolutionary Computation (2008)
Zhenya Zhang, Hongmei Cheng
Research on delta-radius Based Generalization of Corner Classification. ICNC (1) (2007)
Zhenya Zhang, Hongmei Cheng
Keywords Extracting as Text ChanceDiscovery. FSKD (2) (2007)
Zhenya Zhang, Hongmei Cheng, Xufa Wang
Research on Stereographic Projection and It's Application on Feed Forward Neural Network. ICNC (1) (2006)
Zhenya Zhang, Shuguang Zhang, Enhong Chen, Xufa Wang, Hongmei Cheng
TextCC: New Feed Forward Neural Network for Classifying Documents Instantly. ISNN (2) (2005)
Zhenya Zhang, Shuguang Zhang, Xufa Wang, Shuangping Chen, Hongmei Cheng
Principle for Outputs of Hidden Neurons in CC4 Network. ISNN (2) (2005)
Zhenya Zhang, Enhong Chen, Jin Wang, Xufa Wang
User-Focus Based Personalization Recommendation for Text Information Retrieval. APWeb (2004)
Zhenya Zhang, Enhong Chen, Jin Wang, Xufa Wang
Enabling Personalization Recommendation With WeightedFP for Text Information Retrieval Based on User-Focus. ITCC (1) (2004)
Enhong Chen, Zhenya Zhang, Hans-Dieter Burkhard, Gabriela Lindemann
Extending CC4 Neural Networks to Classify Real Life Documents. Informatica (Slovenia) 28 (2) (2004)
Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara
An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks. JFPLC (2001)