• Sign in
  • Sign up
conf.researchr.org / Zhenya Zhang
  • ASE 2021 profile
  • ASE 2024 profile
  • ICST 2024 profile
  • ICST 2025 profile
  • PLDI 2024 profile
  • POPL 2021 profile
Zhenya Zhang

Registered user since Tue 22 Sep 2020

Name:Zhenya Zhang
Country:Japan
Affiliation:Kyushu University, Japan
Personal website: https://choshina.github.io/
Research interests:Formal methods, Hybrid system falsification, Temporal logic, Runtime verification

Contributions

2025

AIST

  • Committee Member in Program Committee within the AIST 2025-track

ICST

  • Author of PALM at the ICST 2025 Tool Competition - UAV Testing Track within the Tool Competition: UAV Testing-track

2024

LCTES

  • Programme Committee in Program Committee within the LCTES-track

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

AIST

  • Committee Member in Program Committee within the AIST 2024-track

2021

ASE

  • Author of Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems within the Late Breaking Results-track

POPL

  • Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
xSun 18 May 05:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up