conf.researchr.org / Zhenya Zhang
Registered user since Tue 22 Sep 2020
Name:Zhenya Zhang
Country:Japan
Affiliation:Kyushu University
Personal website: https://choshina.github.io/
Research interests:Formal methods, Hybrid system, Software testing, Temporal logic, Runtime verification, Neural network verification, Autonomous vehicles
Contributions
2027
2026
FM
ICST
- Author of RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems within the Testing Tools and Data Showcase-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Fault Localization of AI-Enabled Cyber–Physical Systems by Exploiting Temporal Neuron Activation within the Journal-First Papers-track
- Committee Member in Program Committee within the Short Papers, Vision and Emerging Results-track
2025
2024
ASE
- Author of LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models within the Artifact Evaluation Track-track
- Author of LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models within the Research Papers-track