| 2026 | CAV | Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement. | Hengjie Liu, Zhenya Zhang, Jianjun Zhao |
| 2026 | FM | STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP. | Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2026 | FM | Mining Verdict Boundaries for Neural Network Verification. | Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui |
| 2026 | ICST | RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems. | Dario Facchinetti, Matthew Rossi, Zhenya Zhang, Stefano Paraboschi, Paolo Arcaini |
| 2025 | CW | MotionLens: Enhancing Assessment of Elderly Motion Status by Visual Analysis. | Zhengwei Xie, Hao Zeng, Yonghong Hu, Shujie Li, Yong Wang, Zhenya Zhang, Ye Yu, Qiang Lu |
| 2025 | DATE | Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. | Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao |
| 2025 | ECOOP | Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. | Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui |
| 2025 | ICST | PALM at the ICST 2025 Tool Competition - UAV Testing Track. | Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini |
| 2025 | RTSS | Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning. | Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An |
| 2025 | RTSS | On Synthesis of Timed Regular Expressions. | Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang |
| 2024 | CAV | Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. | Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2024 | FM | CauMon: An Informative Online Monitor for Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2024 | GECCO | Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. | Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao |
| 2024 | ISSRE | Impact of V2V Communication on Robustness of Autonomous Driving Systems. | Lejin Li, Xiao-Yi Zhang, Shuncheng Tang, Zhenya Zhang, Jianjun Zhao |
| 2023 | CAV | Online Causation Monitoring of Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2023 | ISSRE | EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing. | Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li, Yinxing Xue |
| 2023 | QRS | Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study. | Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Jianjun Zhao |
| 2022 | ICSE | When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. | Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma |
| 2021 | CAV | Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao |
| 2021 | FM | Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. | Zhenya Zhang, Paolo Arcaini |
| 2021 | ISSRE | Issue Categorization and Analysis of an Open-Source Driving Assistant System. | Shuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma, Yinxing Xue |
| 2020 | IJCNN | Generating Multi-label Adversarial Examples by Linear Programming. | Nan Zhou, Wenjian Luo, Xin Lin, Peilan Xu, Zhenya Zhang |
| 2019 | CAV | Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. | Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini |
| 2018 | SETTA | Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. | Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang |
| 2017 | SEKE | Localization of Linearizability Faults on the Coarse-grained Level. | Zhenya Zhang, Peng Wu, Yu Zhang |
| 2010 | ICNC | Research on air-conditioning fault diagnosis method based on SVM. | Yang Li, Qiansheng Fang, Xiaolong Wang, Zhenya Zhang, Chenlei Xie |
| 2008 | CEC | Correlation clustering based on genetic algorithm for documents clustering. | Zhenya Zhang, Hongmei Cheng, Wanli Chen, Shuguang Zhang, Qiansheng Fang |
| 2008 | CEC | Clustering aggregation based on genetic algorithm for documents clustering. | Zhenya Zhang, Hongmei Cheng, Shuguang Zhang, Wanli Chen, Qiansheng Fang |
| 2007 | ICNC | Research on delta-radius Based Generalization of Corner Classification. | Zhenya Zhang, Hongmei Cheng |
| 2006 | ICNC | Research on Stereographic Projection and It's Application on Feed Forward Neural Network. | Zhenya Zhang, Hongmei Cheng, Xufa Wang |
| 2005 | ISNN | TextCC: New Feed Forward Neural Network for Classifying Documents Instantly. | Zhenya Zhang, Shuguang Zhang, Enhong Chen, Xufa Wang, Hongmei Cheng |
| 2005 | ISNN | Principle for Outputs of Hidden Neurons in CC4 Network. | Zhenya Zhang, Shuguang Zhang, Xufa Wang, Shuangping Chen, Hongmei Cheng |
| 2004 | APWEB | User-Focus Based Personalization Recommendation for Text Information Retrieval. | Zhenya Zhang, Enhong Chen, Jin Wang, Xufa Wang |
| 2003 | PIMRC | A self-routing hierarchical topology for wireless multi-hop networks management. | Hongyu Wang, Zhenya Zhang, Shuyi Wang |