default search action
Zhenya Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j30]Zeming Dong
, Qiang Hu, Zhenya Zhang
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. J. Syst. Softw. 216: 112139 (2024) - [j29]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): 623-638 (2024) - [j28]Zeming Dong
On the effectiveness of graph data augmentation for source code learning. Knowl. Based Syst. 285: 111328 (2024) - [j27]Min Zhang
Designing High Performance Carbon/ZnSn(OH)6-Based Humidity Sensors. Sensors 24(11): 3532 (2024) - [c47]Sota Sato
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CAV (3) 2024: 282-306 - [c46]Zhenya Zhang
CauMon: An Informative Online Monitor for Signal Temporal Logic. FM (2) 2024: 286-304 - [c45]Deyun Lyu
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO 2024 - [c44]Shuncheng Tang
TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. SBFT@ICSE 2024: 53-54 - [i11]Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo:
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CoRR abs/2408.06983 (2024) - [i10]Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou, Yinxing Xue:
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models. CoRR abs/2409.10066 (2024) - 2023
- [j26]Zhenya Zhang
A Local Area Network-Based Insect Intelligent Building Platform. Int. J. Pattern Recognit. Artif. Intell. 37(2): 2359004:1-2359004:16 (2023) - [j25]Qiang Lu
WaterExcVA: a system for exploring and visualizing data exception in urban water supply. J. Vis. 26(4): 957-976 (2023) - [j24]Ziyi Cheng, Baoyuan Wu
TAT: Targeted backdoor attacks against visual object tracking. Pattern Recognit. 142: 109629 (2023) - [j23]Toru Takisaka
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1718-1731 (2023) - [j22]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): 124:1-124:62 (2023) - [j21]Zhenya Zhang
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023) - [c43]Claudio Menghi
ARCH-COMP23 Category Report: Falsification. ARCH 2023: 151-169 - [c42]Zhenya Zhang
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84 - [c41]Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao:
On the Effectiveness of Graph Data Augmentation for Source Code Learning. DSA 2023: 880-889 - [c40]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: 309-320 - [c39]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: 383-392 - [c38]Zeming Dong
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. SANER 2023: 379-390 - [d2]Zhenya Zhang
Online Causation Monitoring of Signal Temporal Logic (Artifact). Zenodo, 2023 - [d1]Zhenya Zhang
Online Causation Monitoring of Signal Temporal Logic (Artifact). Zenodo, 2023 - [i9]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 abs/2303.06808 (2023) - [i8]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 abs/2304.05617 (2023) - [i7]Zhenya Zhang, Jie An
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023) - 2022
- [j20]Qingli Liu
Wireless Channel State Prediction Method Based on Improved Adaptive and Parameter-Free Recurrent Neural Structure. IEEE Access 10: 63329-63338 (2022) - [j19]Qingli Liu
Improved Harris Combined With Clustering Algorithm for Data Traffic Classification. IEEE Access 10: 72815-72824 (2022) - [j18]Qingli Liu
CSI Feedback Based on Complex Neural Network for Massive MIMO Systems. IEEE Access 10: 78414-78422 (2022) - [j17]Wenjian Luo
Detecting adversarial examples by positive and negative representations. Appl. Soft Comput. 117: 108383 (2022) - [j16]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): 2995-3008 (2022) - [j15]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): 3009 (2022) - [j14]Zhenya Zhang
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4421-4432 (2022) - [c37]Gidon Ernst
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP 2022: 204-221 - [c36]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: 343-352 - [i6]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 abs/2206.05961 (2022) - 2021
- [j13]Qingli Liu
Multi-UAV Path Planning Based on Fusion of Sparrow Search Algorithm and Improved Bioinspired Neural Network. IEEE Access 9: 124670-124681 (2021) - [j12]Gidon Ernst
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31(3): 18:1-18:22 (2021) - [c35]Gidon Ernst
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 2021: 133-152 - [c34]Zhenya Zhang
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618 - [c33]Zhenya Zhang
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM 2021: 330-348 - [c32]Shuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma, Yinxing Xue:
Issue Categorization and Analysis of an Open-Source Driving Assistant System. ISSRE Workshops 2021: 148-153 - [c31]Zhenya Zhang
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c30]Yuexin Long, Mu Zhou, Zhenya Zhang, Wei Nie:
CSI Ranging-based Wi-Fi Indoor Localization Error Analysis. WCSP 2021: 1-5 - [c29]Gidon Ernst
Time-Staging Enhancement of Hybrid System Falsification. SNR 2021: 25-43 - [i5]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 abs/2111.04324 (2021) - 2020
- [b1]Zhenya Zhang:
Hierarchical Optimization for Hybrid System Falsification. Graduate University for Advanced Studies, Japan, 2020 - [j11]Zhenya Zhang
Channel State Information Based Indoor Localization Error Bound Leveraging Pedestrian Random Motion. IEEE Access 8: 153311-153321 (2020) - [j10]Hui Yuan
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): 36 (2020) - [j9]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): 387-399 (2020) - [j8]Zhenya Zhang
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3674-3685 (2020) - [c28]Gidon Ernst
ARCH-COMP 2020 Category Report: Falsification. ARCH 2020: 140-152 - [c27]Wei He, Ziying Yue, Zengshan Tian, Zhenya Zhang:
Carrier Phase-based Wi-Fi Indoor Localization Method. ICCC 2020: 34-39 - [c26]Zhenya Zhang, Liangbo Xie, Mu Zhou, Yong Wang:
CSI-based Indoor Localization Error Bound Considering Pedestrian Motion. ICCC 2020: 811-816 - [c25]Nan Zhou, Wenjian Luo, Xin Lin, Peilan Xu
Generating Multi-label Adversarial Examples by Linear Programming. IJCNN 2020: 1-8 - [c24]Zhenya Zhang
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM 2020: 401-419 - [i4]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR abs/2001.05107 (2020)
2010 – 2019
- 2019
- [j7]Hao Pu, Lu Zhao, Wei Li, Jian Zhang
A Global Iterations Method for Recreating Railway Vertical Alignment Considering Multiple Constraints. IEEE Access 7: 121199-121211 (2019) - [j6]Hao Jiang, Wenjian Luo
A privacy-preserving aggregation scheme based on immunological negative surveys for smart meters. Appl. Soft Comput. 85 (2019) - [c23]Zhenya Zhang
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420 - [c22]Jiaqiao Zhang
Research on Information Recognition of VAT Invoice Based on Computer Vision. CCIS 2019: 126-130 - [c21]Gidon Ernst
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek 2019: 129-140 - [c20]Xinyue Li, Mu Zhou, Zhenya Zhang, Zhu Liu:
Indoor Localization Based on Centroid Constraints of AP Quadrilateral Networks. MLICOM 2019: 121-129 - [c19]Gidon Ernst
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST 2019: 165-181 - [i3]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR abs/1905.07549 (2019) - 2018
- [j5]Zhenya Zhang
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2894-2905 (2018) - [c18]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109 - [c17]Zhenya Zhang
Time-Staging Enhancement of Hybrid System Falsification. MT@CPSWeek 2018: 3-4 - [c16]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: 485-495 - [c15]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: 497-504 - [c14]Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang:
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA 2018: 108-126 - [i2]Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards:
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR abs/1803.06276 (2018) - [i1]Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. CoRR abs/1812.04159 (2018) - 2017
- [j4]Zhenya Zhang, Peng Wu, Yu Zhang:
Localization of Linearizability Faults on the Coarse-Grained Level. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1483-1506 (2017) - [c13]Zhenya Zhang, Peng Wu, Yu Zhang:
Localization of Linearizability Faults on the Coarse-grained Level. SEKE 2017: 272-277 - 2015
- [j3]Feilu Wang, Yang Song, Zhenya Zhang, Wanli Chen:
Structure Analysis and Decoupling Research of a Novel Flexible Tactile Sensor Array. J. Sensors 2015: 476403:1-476403:10 (2015) - 2011
- [j2]Zhenya Zhang, Hongmei Cheng, Shuguang Zhang:
An Optimization Model for the Identification of Temperature in Intelligent Building. J. Inf. Technol. Res. 4(2): 61-69 (2011) - 2010
- [c12]Yang Li, Qiansheng Fang, Xiaolong Wang, Zhenya Zhang, Chenlei Xie:
Research on air-conditioning fault diagnosis method based on SVM. ICNC 2010: 3397-3400
2000 – 2009
- 2008
- [c11]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: 3156-3161 - [c10]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: 3193-3198 - 2007
- [c9]Zhenya Zhang, Hongmei Cheng:
Keywords Extracting as Text ChanceDiscovery. FSKD (2) 2007: 12-16 - [c8]Zhenya Zhang, Hongmei Cheng:
Research on delta-radius Based Generalization of Corner Classification. ICNC (1) 2007: 275-279 - 2006
- [c7]Zhenya Zhang, Hongmei Cheng, Xufa Wang:
Research on Stereographic Projection and It's Application on Feed Forward Neural Network. ICNC (1) 2006: 89-92 - 2005
- [c6]Zhenya Zhang, Shuguang Zhang, Xufa Wang, Shuangping Chen, Hongmei Cheng:
Principle for Outputs of Hidden Neurons in CC4 Network. ISNN (2) 2005: 45-50 - [c5]Zhenya Zhang, Shuguang Zhang, Enhong Chen, Xufa Wang, Hongmei Cheng:
TextCC: New Feed Forward Neural Network for Classifying Documents Instantly. ISNN (2) 2005: 232-237 - 2004
- [j1]Enhong Chen, Zhenya Zhang, Hans-Dieter Burkhard, Gabriela Lindemann:
Extending CC4 Neural Networks to Classify Real Life Documents. Informatica (Slovenia) 28(2): 173-180 (2004) - [c4]Zhenya Zhang, Enhong Chen, Jin Wang, Xufa Wang:
User-Focus Based Personalization Recommendation for Text Information Retrieval. APWeb 2004: 598-607 - [c3]Zhenya Zhang, Enhong Chen, Jin Wang, Xufa Wang:
Enabling Personalization Recommendation With WeightedFP for Text Information Retrieval Based on User-Focus. ITCC (1) 2004: 272-276 - 2003
- [c2]Hongyu Wang, Zhenya Zhang, Shuyi Wang:
A self-routing hierarchical topology for wireless multi-hop networks management. PIMRC 2003: 1356-1359 - 2001
- [c1]Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara:
An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks. JFPLC 2001: 43-58
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: