Zhenya Zhang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 76 from 76

2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL SpecificationsSota Sato 0001, Jie An 0001, Zhenya Zhang, Ichiro Hasuo. cav 2024: 282-306 [doi]

DSTVis: toward better interactive visual analysis of Drones' spatio-temporal dataFengxin Chen, Ye Yu, Liangliang Ni, Zhenya Zhang, Qiang Lu 0002. jvis, 27(4):623-638, August 2024. [doi]

On the effectiveness of hybrid pooling in mixup-based graph learning for language processingZeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao 0001. jss, 216:112139, 2024. [doi]

On the effectiveness of graph data augmentation for source code learningZeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao 0001. kbs, 285:111328, 2024. [doi]

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level SpecificationsDeyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent 0003, Jianjun Zhao 0001. gecco 2024: [doi]

CauMon: An Informative Online Monitor for Signal Temporal LogicZhenya Zhang, Jie An 0001, Paolo Arcaini, Ichiro Hasuo. FM 2025: 286-304 [doi]

Designing High Performance Carbon/ZnSn(OH)6-Based Humidity SensorsMin Zhang, Hongguang Jia, Shuying Wang, Zhenya Zhang. sensors, 24(11):3532, June 2024. [doi]

2023

WaterExcVA: a system for exploring and visualizing data exception in urban water supplyQiang Lu 0002, Yifan Ge, Jingang Rao, Liang Ling, Ye Yu, Zhenya Zhang. jvis, 26(4):957-976, August 2023. [doi]

TAT: Targeted backdoor attacks against visual object trackingZiyi Cheng, Baoyuan Wu, Zhenya Zhang, Jianjun Zhao. PR, 142:109629, October 2023. [doi]

MixCode: Enhancing Code Classification by Mixup-Based Data AugmentationZeming Dong, Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao 0001. WCRE 2023: 379-390 [doi]

On the Effectiveness of Graph Data Augmentation for Source Code LearningZeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao 0001. dsa 2023: 880-889 [doi]

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical StudyZeming Dong, Qiang Hu, Yuejun Guo 0001, Zhenya Zhang, Jianjun Zhao 0001. qrs 2023: 383-392 [doi]

ARCH-COMP23 Category Report: FalsificationClaudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu 0002, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray 0001, Masaki Waga, Zhenya Zhang. arch 2023: 151-169 [doi]

A Robustness-Based Confidence Measure for Hybrid System FalsificationToru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo. tcad, 42(5):1718-1731, May 2023. [doi]

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System TestingShuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-fu Li, Yinxing Xue. issre 2023: 309-320 [doi]

A Survey on Automated Driving System Testing: Landscapes and TrendsShuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu 0007, Shengjian Guo, Yan-fu Li, Lei Ma 0003, Yinxing Xue, Yang Liu 0003. TOSEM, 32(5), September 2023. [doi]

Online Causation Monitoring of Signal Temporal LogicZhenya Zhang, Jie An 0001, Paolo Arcaini, Ichiro Hasuo. cav 2023: 62-84 [doi]

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage CriteriaZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. TSE, 49(4):1842-1859, April 2023. [doi]

A Local Area Network-Based Insect Intelligent Building PlatformZhenya Zhang, Bo Fang, Ping Wang, Hong-Mei Cheng. ijprai, 37(2), February 2023. [doi]

2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded ResourcesGidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue 0001, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang. arch 2022: 204-221 [doi]

CSI Feedback Based on Complex Neural Network for Massive MIMO SystemsQingli Liu, Zhenya Zhang, Guoqiang Yang, Na Cao, Mengqian Li. access, 10:78414-78422, 2022. [doi]

Improved Harris Combined With Clustering Algorithm for Data Traffic ClassificationQingli Liu, Mengqian Li, Na Cao, Zhenya Zhang, Guoqiang Yang. access, 10:72815-72824, 2022. [doi]

Wireless Channel State Prediction Method Based on Improved Adaptive and Parameter-Free Recurrent Neural StructureQingli Liu, Na Cao, Mengqian Li, Zhenya Zhang, Guoqiang Yang. access, 10:63329-63338, 2022. [doi]

Detecting adversarial examples by positive and negative representationsWenjian Luo, Chenwang Wu, Li Ni, Nan Zhou, Zhenya Zhang. asc, 117:108383, 2022. [doi]

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way ForwardJiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang 0001, Lei Ma 0003. ICSE 2022: 343-352 [doi]

Online Reset for Signal Temporal Logic MonitoringZhenya Zhang, Paolo Arcaini, Xuan Xie. tcad, 41(11):4421-4432, 2022. [doi]

Correction to: Impacts of the hygro-thermo conditions on the vibration analysis of 2D-FG nanoplates based on a novel HSDTZhenya Zhang, Xiaoli Liu, Reza Mohammadi. ewc, 38(4):3009, 2022. [doi]

Impacts of the hygro-thermo conditions on the vibration analysis of 2D-FG nanoplates based on a novel HSDTZhenya Zhang, Xiaoli Liu, Reza Mohammadi. ewc, 38(4):2995-3008, 2022. [doi]

2021

Falsification of Hybrid Systems Using Adaptive Probabilistic SearchGidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo. tomacs, 31(3), 2021. [doi]

Multi-UAV Path Planning Based on Fusion of Sparrow Search Algorithm and Improved Bioinspired Neural NetworkQingli Liu, Yang Zhang, Mengqian Li, Zhenya Zhang, Na Cao, Jiale Shang. access, 9:124670-124681, 2021. [doi]

CSI Ranging-based Wi-Fi Indoor Localization Error AnalysisYuexin Long, Mu Zhou, Zhenya Zhang, Wei Nie. wcsp 2021: 1-5 [doi]

Issue Categorization and Analysis of an Open-Source Driving Assistant SystemShuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma 0003, Yinxing Xue. issre 2021: 148-153 [doi]

Gaussian Process-Based Confidence Estimation for Hybrid System FalsificationZhenya Zhang, Paolo Arcaini. FM 2021: 330-348 [doi]

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-RobustnessZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. cav 2021: 595-618 [doi]

On the Effectiveness of Signal Rescaling in Hybrid System FalsificationZhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. NFM 2021: 392-399 [doi]

2020

ARCH-COMP 2020 Category Report: FalsificationGidon 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 2020: 140-152 [doi]

Carrier Phase-based Wi-Fi Indoor Localization MethodWei He, Ziying Yue, Zengshan Tian, Zhenya Zhang. iccchina 2020: 34-39 [doi]

Occupant counting modelling for intelligent buildings based on data from multiple WiFi sniffersPing Wang, Zhenya Zhang, Qiansheng Fang, Huaqian Cao, Si Chen. ijspm, 15(4):387-399, 2020. [doi]

Features extraction and analysis for device-free human activity recognition based on channel statement information in b5G wireless communicationsHui Yuan, Xiaolong Yang, Ailin He, Zhaoyu Li, Zhenya Zhang, Zengshan Tian. ejwcn, 2020(1):36, 2020. [doi]

Hierarchical Optimization for Hybrid System FalsificationZhenya Zhang. PhD thesis, Graduate University for Advanced Studies, Japan, 2020. [doi]

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based ApproachesZhenya Zhang, Paolo Arcaini, Ichiro Hasuo. NFM 2020: 401-419 [doi]

Hybrid System Falsification Under (In)equality Constraints via Search Space TransformationZhenya Zhang, Paolo Arcaini, Ichiro Hasuo. tcad, 39(11):3674-3685, 2020. [doi]

Channel State Information Based Indoor Localization Error Bound Leveraging Pedestrian Random MotionZhenya Zhang, Wei Nie, Yong Wang 0004, Liangbo Xie. access, 8:153311-153321, 2020. [doi]

CSI-based Indoor Localization Error Bound Considering Pedestrian MotionZhenya Zhang, Liangbo Xie, Mu Zhou, Yong Wang 0004. iccchina 2020: 811-816 [doi]

Generating Multi-label Adversarial Examples by Linear ProgrammingNan Zhou, Wenjian Luo, Xin Lin, Peilan Xu, Zhenya Zhang. ijcnn 2020: 1-8 [doi]

2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive InputGidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo. qest 2019: 165-181 [doi]

ARCH-COMP 2019 Category Report: FalsificationGidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. cpsweek 2019: 129-140 [doi]

A privacy-preserving aggregation scheme based on immunological negative surveys for smart metersHao Jiang, Wenjian Luo, Zhenya Zhang. asc, 85, 2019. [doi]

Indoor Localization Based on Centroid Constraints of AP Quadrilateral NetworksXinyue Li, Mu Zhou, Zhenya Zhang, Zhu Liu. mlicom 2019: 121-129 [doi]

A Global Iterations Method for Recreating Railway Vertical Alignment Considering Multiple ConstraintsHao Pu, Lu Zhao, Wei Li, Jian Zhang, Zhenya Zhang, Jiaxuan Liang, Taoran Song. access, 7:121199-121211, 2019. [doi]

Multi-armed Bandits for Boolean Connectives in Hybrid System FalsificationZhenya Zhang, Ichiro Hasuo, Paolo Arcaini. cav 2019: 401-420 [doi]

Research on Information Recognition of VAT Invoice Based on Computer VisionJiaqiao Zhang, Fuji Ren, Hongjun Ni, Zhenya Zhang, Kaixuan Wang. ccis 2019: 126-130 [doi]

2018

Interleaving-Tree Based Fine-Grained Linearizability Fault LocalizationYang Chen, Zhenya Zhang, Peng Wu, Yu Zhang. setta 2018: 108-126 [doi]

ARCH-COMP18 Category Report: Results on the Falsification BenchmarksAdel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards. adhs 2018: 104-109 [doi]

A p-Persistent Frequent Itemsets with 1-RHS Based Correction Algorithm for Improving the Performance of WiFi-Based Occupant Detection MethodPing Wang, Huaqian Cao, Si Chen, Jiake Li, Chang Tu, Zhenya Zhang. icscib 2019: 497-504 [doi]

A Classification-Based Occupant Detection Method for Smart Home Using Multiple-WiFi SniffersPing Wang, Huaqian Cao, Si Chen, Jiake Li, Chang Tu, Zhenya Zhang. icscib 2019: 485-495 [doi]

Time-Staging Enhancement of Hybrid System FalsificationZhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards. cpsweek 2018: 3-4 [doi]

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree SearchZhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo. tcad, 37(11):2894-2905, 2018. [doi]

2017

Localization of Linearizability Faults on the Coarse-grained LevelZhenya Zhang, Peng Wu, Yu Zhang. seke 2017: 272-277 [doi]

Localization of Linearizability Faults on the Coarse-Grained LevelZhenya Zhang, Peng Wu, Yu Zhang. ijseke, 27(9-10):1483-1506, 2017. [doi]

2015

Structure Analysis and Decoupling Research of a Novel Flexible Tactile Sensor ArrayFeilu Wang, Yang Song, Zhenya Zhang, Wanli Chen. js, 2015, 2015. [doi]

2011

An Optimization Model for the Identification of Temperature in Intelligent BuildingZhenya Zhang, Hongmei Cheng, Shuguang Zhang. jitr, 4(2):61-69, 2011. [doi]

2010

Research on air-conditioning fault diagnosis method based on SVMYang Li, Qiansheng Fang, Xiaolong Wang, Zhenya Zhang, Chenlei Xie. icnc 2010: 3397-3400 [doi]

2008

Clustering aggregation based on genetic algorithm for documents clusteringZhenya Zhang, Hongmei Cheng, Shuguang Zhang, Wanli Chen, Qiansheng Fang. cec 2008: 3156-3161 [doi]

Correlation clustering based on genetic algorithm for documents clusteringZhenya Zhang, Hongmei Cheng, Wanli Chen, Shuguang Zhang, Qiansheng Fang. cec 2008: 3193-3198 [doi]

2007

Keywords Extracting as Text ChanceDiscoveryZhenya Zhang, Hongmei Cheng. fskd 2007: 12-16 [doi]

Research on delta-radius Based Generalization of Corner ClassificationZhenya Zhang, Hongmei Cheng. icnc 2007: 275-279 [doi]

2006

Research on Stereographic Projection and It s Application on Feed Forward Neural NetworkZhenya Zhang, Hongmei Cheng, Xufa Wang. icnc 2006: 89-92 [doi]

2005

Principle for Outputs of Hidden Neurons in CC4 NetworkZhenya Zhang, Shuguang Zhang, Xufa Wang, Shuangping Chen, Hongmei Cheng. isnn 2005: 45-50 [doi]

TextCC: New Feed Forward Neural Network for Classifying Documents InstantlyZhenya Zhang, Shuguang Zhang, Enhong Chen, Xufa Wang, Hongmei Cheng. isnn 2005: 232-237 [doi]

2004

2003

A self-routing hierarchical topology for wireless multi-hop networks managementHongyu Wang, Zhenya Zhang, Shuyi Wang. pimrc 2003: 1356-1359 [doi]

2001

An Algorithm for Fast Recognition of Connected Row-Convex Constraint NetworksEnhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara. jfplc 2001: 43-58

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Zhenya Zhang'

Viewing Publication 1 - 76 from 76

2024

2023

2022

2021

2020

2019

2018

2017

2015

2011

2010

2008

2007

2006

2005

2004

2003

2001

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Zhenya Zhang'

Viewing Publication 1 - 76 from 76

2024

2023

2022

2021

2020

2019

2018

2017

2015

2011

2010

2008

2007

2006

2005

2004

2003

2001

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1