TextCC: New Feed Forward Neural Network for Classifying Documents Instantly. - Zhenya Zhang 001; Shuguang Zhang; Enhong Chen; Xufa Wang; Hongmei Cheng (ISNN (2), 2005)

Principle for Outputs of Hidden Neurons in CC4 Network. - Zhenya Zhang 001; Shuguang Zhang; Xufa Wang; Shuangping Chen; Hongmei Cheng (ISNN (2), 2005)

Research on Stereographic Projection and It's Application on Feed Forward Neural Network. - Zhenya Zhang 001; Hongmei Cheng; Xufa Wang (ICNC (1), 2006)

Keywords Extracting as Text ChanceDiscovery. - Zhenya Zhang 001; Hongmei Cheng (FSKD (2), 2007)

Research on delta-radius Based Generalization of Corner Classification. - Zhenya Zhang 001; Hongmei Cheng (ICNC (1), 2007)

Correlation clustering based on genetic algorithm for documents clustering. - Zhenya Zhang 001; Hongmei Cheng; Wanli Chen; Shuguang Zhang; Qiansheng Fang (IEEE Congress on Evolutionary Computation, 2008)

Clustering aggregation based on genetic algorithm for documents clustering. - Zhenya Zhang 001; Hongmei Cheng; Shuguang Zhang; Wanli Chen; Qiansheng Fang (IEEE Congress on Evolutionary Computation, 2008)

An Optimization Model for the Identification of Temperature in Intelligent Building. - Zhenya Zhang 001; Hongmei Cheng; Shuguang Zhang (J. Inf. Technol. Res., 2011)

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. - Adel Dokhanchi; Shakiba Yaghoubi; Bardh Hoxha; Georgios Fainekos; Gidon Ernst; Zhenya Zhang 001; Paolo Arcaini; Ichiro Hasuo; Sean Sedwards (ARCH@ADHS, 2018)

Time-Staging Enhancement of Hybrid System Falsification. - Zhenya Zhang 001; Gidon Ernst; Ichiro Hasuo; Sean Sedwards (MT@CPSWeek, 2018)

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. - Zhenya Zhang 001; Ichiro Hasuo; Gidon Ernst; Sean Sedwards (CoRR, 2018)

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. - Zhenya Zhang 001; Gidon Ernst; Sean Sedwards; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. - Zhenya Zhang 001; Ichiro Hasuo; Paolo Arcaini (CAV (1), 2019)

ARCH-COMP 2019 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Alexandre Donzé; Georgios Fainekos; Logan Mathesen; Giulia Pedrielli; Shakiba Yaghoubi; Yoriyuki Yamagata; Zhenya Zhang 001 (ARCH@CPSIoTWeek, 2019)

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. - Gidon Ernst; Sean Sedwards; Zhenya Zhang 001; Ichiro Hasuo (QEST, 2019)

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). - Zhenya Zhang 001; Ichiro Hasuo; Paolo Arcaini (CoRR, 2019)

ARCH-COMP 2020 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Shakiba Yaghoubi; Yoriyuki Yamagata; et al. (ARCH, 2020)

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. - Zhenya Zhang 001; Paolo Arcaini; Ichiro Hasuo (NFM, 2020)

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. - Zhenya Zhang 001; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Hierarchical Optimization for Hybrid System Falsification. - Zhenya Zhang 001 (2020)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. - Zhenya Zhang 001; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (CAV (1), 2021)

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. - Zhenya Zhang 001; Paolo Arcaini (FM, 2021)

Issue Categorization and Analysis of an Open-Source Driving Assistant System. - Shuncheng Tang; Zhenya Zhang 001; Jia Tang; Lei Ma 003; Yinxing Xue (ISSRE Workshops, 2021)

On the Effectiveness of Signal Rescaling in Hybrid System Falsification. - Zhenya Zhang 001; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (NFM, 2021)

Falsification of Hybrid Systems Using Adaptive Probabilistic Search. - Gidon Ernst; Sean Sedwards; Zhenya Zhang 001; Ichiro Hasuo (ACM Trans. Model. Comput. Simul., 2021)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang 001 (ARCH@SAFECOMP, 2022)

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. - Jiayang Song; Deyun Lyu; Zhenya Zhang 001; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003 (ICSE (SEIP), 2022)

Online Reset for Signal Temporal Logic Monitoring. - Zhenya Zhang 001; Paolo Arcaini; Xuan Xie 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

Online Causation Monitoring of Signal Temporal Logic. - Zhenya Zhang 001; Jie An 001; Paolo Arcaini; Ichiro Hasuo (CAV (1), 2023)

On the Effectiveness of Graph Data Augmentation for Source Code Learning. - Zeming Dong; Qiang Hu; Zhenya Zhang 001; Jianjun Zhao 001 (DSA, 2023)

EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing. - Shuncheng Tang; Zhenya Zhang 001; Jixiang Zhou; Yuan Zhou 005; Yan-Fu Li; Yinxing Xue (ISSRE, 2023)

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang 001; Jianjun Zhao 001 (QRS Companion, 2023)

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Zhenya Zhang 001; Yves Le Traon; Jianjun Zhao 001 (SANER, 2023)

Boosting Source Code Learning with Data Augmentation: An Empirical Study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2023)

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. - Deyun Lyu; Jiayang Song; Zhenya Zhang 001; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2023)

Online Causation Monitoring of Signal Temporal Logic (Artifact). - Zhenya Zhang 001; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Zenodo, 2023)

Online Causation Monitoring of Signal Temporal Logic (Artifact). - Zhenya Zhang 001; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Zenodo, 2023)

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. - Zhenya Zhang 001; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (IEEE Trans. Software Eng., 2023)

A Robustness-Based Confidence Measure for Hybrid System Falsification. - Toru Takisaka; Zhenya Zhang 001; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

A Survey on Automated Driving System Testing: Landscapes and Trends. - Shuncheng Tang; Zhenya Zhang 001; Yi Zhang; Jixiang Zhou; Yan Guo; Shuang Liu 007; Shengjian Guo; Yan-Fu Li; Lei Ma 003; Yinxing Xue; Yang Liu 003 (ACM Trans. Softw. Eng. Methodol., 2023)

TAT: Targeted backdoor attacks against visual object tracking. - Ziyi Cheng; Baoyuan Wu; Zhenya Zhang 001; Jianjun Zhao 001 (Pattern Recognit., 2023)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. - Sota Sato 001; Jie An 001; Zhenya Zhang 001; Ichiro Hasuo (CAV (3), 2024)

CauMon: An Informative Online Monitor for Signal Temporal Logic. - Zhenya Zhang 001; Jie An 001; Paolo Arcaini; Ichiro Hasuo (FM (2), 2024)

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. - Deyun Lyu; Zhenya Zhang 001; Paolo Arcaini; Fuyuki Ishikawa; Thomas Laurent 003; Jianjun Zhao 001 (GECCO, 2024)

Impact of V2V Communication on Robustness of Autonomous Driving Systems. - Lejin Li; Xiao-Yi Zhang; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (ISSRE (Workshops), 2024)

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models. - Shuncheng Tang; Zhenya Zhang 001; Jixiang Zhou; Lei Lei; Yuan Zhou 005; Yinxing Xue (ASE, 2024)

TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. - Shuncheng Tang; Zhenya Zhang 001; Ahmet Cetinkaya; Paolo Arcaini (SBFT@ICSE, 2024)

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. - Zeming Dong; Qiang Hu; Zhenya Zhang 001; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (J. Syst. Softw., 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhenya Zhang 001; Ichiro Hasuo (Zenodo, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhenya Zhang 001; Ichiro Hasuo (Zenodo, 2024)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). - Sota Sato 001; Jie An 001; Zhenya Zhang 001; Ichiro Hasuo (Zenodo, 2024)

CauMon: An Informative Online Monitor for Signal Temporal Logic. - Zhenya Zhang 001; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Zenodo, 2024)

Causality Monitoring for MIMOS. - Chengzi Huang; Behnam Khodabandeloo; Duc Anh Nguyen; Wang Yi 001; Jie An 001; Zhenya Zhang 001 (Principles of Formal Quantitative Analysis, 2025)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. - Kota Fukuda; Guanqin Zhang; Zhenya Zhang 001; Yulei Sui; Jianjun Zhao 001 (DATE, 2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. - Guanqin Zhang; Kota Fukuda; Zhenya Zhang 001; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (ECOOP, 2025)

PALM at the ICST 2025 Tool Competition - UAV Testing Track. - Shuncheng Tang; Zhenya Zhang 001; Ahmet Cetinkaya; Paolo Arcaini (ICST, 2025)

Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning. - Xiaochen Tang; Zhenya Zhang 001; Miaomiao Zhang 003; Jie An 001 (RTSS, 2025)

On Synthesis of Timed Regular Expressions. - Ziran Wang; Jie An 001; Naijun Zhan; Miaomiao Zhang 003; Zhenya Zhang 001 (RTSS, 2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact). - Guanqin Zhang; Kota Fukuda; Zhenya Zhang 001; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Dagstuhl Artifacts Ser., 2025)

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. - Deyun Lyu; Yi Li 008; Zhenya Zhang 001; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (J. Syst. Softw., 2025)

Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality. - Guanqin Zhang; Zhenya Zhang 001; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Proc. ACM Program. Lang., 2025)

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. - Deyun Lyu; Zhenya Zhang 001; Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2025)

META²V2V Source Code and Videos. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

META²V2V Virtual Machine with Source Code. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

Boosting source code learning with text-oriented data augmentation: an empirical study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (Empir. Softw. Eng., 2025)

META²V2V Source Code and Videos. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

META²V2V Source Code and Videos. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

META²V2V Source Code and Videos. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

META²V2V Virtual Machine. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

Automated Generation of Benchmarks for Falsification of STL Specifications. - Yipei Yan; Deyun Lyu; Zhenya Zhang 001; Paolo Arcaini; Jianjun Zhao 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

META²V2V Source Code and Videos. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

BaiduApollo for META²V2V. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

META²V2V Virtual Machine. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

META²V2V Source Code and Videos. - Lejin Li; Xiao-Yi Zhang 005; Shuncheng Tang; Zhenya Zhang 001; Jianjun Zhao 001 (Zenodo, 2025)

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP. - Martin Jouve-Genty; Han Su 003; Sota Sato 001; Jie An 001; Zhenya Zhang 001; Ichiro Hasuo (FM (1), 2026)

Mining Verdict Boundaries for Neural Network Verification. - Jiawei Ren 003; Guanqin Zhang; Zhenya Zhang 001; Yulei Sui (FM (1), 2026)

PALM: An MCTS-based tool for testing unmanned aerial vehicles. - Shuncheng Tang; Zhenya Zhang 001; Ahmet Cetinkaya; Paolo Arcaini (Sci. Comput. Program., 2026)

CauMon: A tool for online monitoring against signal temporal logic. - Zhenya Zhang 001; Jie An 001; Paolo Arcaini; Ichiro Hasuo (Sci. Comput. Program., 2026)

Counterexample Classification against Signal Temporal Logic Specifications. - Zhenya Zhang 001; Parv Kapoor; Jie An 001; Eunsuk Kang (CoRR, 2026)

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version). - Martin Jouve-Genty; Han Su 003; Sota Sato 001; Jie An 001; Zhenya Zhang 001; Ichiro Hasuo (CoRR, 2026)