| ZHENYA ZHANG | Last modified date：2024.04.24 |
Assistant Professor /
Department of Advanced Information Technology
Faculty of Information Science and Electrical Engineering
Faculty of Information Science and Electrical Engineering
E-Mail *Since the e-mail address is not displayed in Internet Explorer, please use another web browser:Google Chrome, safari.
Homepage
https://kyushu-u.elsevierpure.com/en/persons/zhenya-zhang
Reseacher Profiling Tool Kyushu University Pure
https://choshina.github.io/
Academic Degree
SOKENDAI (The Graduate University for Advanced Studies), University of Chinese Academy of Sciences
Country of degree conferring institution (Overseas)
Yes Master Doctor
Field of Specialization
Informatics
Total Priod of education and research career in the foreign country
03years10months
Research
Research Interests
- My research mainly involves the quality assurance of complex systems, such as cyber-physical systems, via formal method-based approaches, such as verification and testing.
keyword : Formal methods, Formal verification, Software testing, Cyber-physical systems
2022.07～2023.07.
Papers
| 1. | Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo, Optimization-Based Model Checking for Complex STL Specifications, 36th International Conference on Computer-Aided Verification. (CAV 2024), 2024.07. |
| 2. | Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li, Yinxing Xue, EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing, IEEE 34th International Symposium on Software Reliability Engineering (ISSRE 2023), 10.1109/ISSRE59848.2023.00054, 309-320, 2023.10. |
| 3. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo, Online Causation Monitoring of Signal Temporal Logic, 35th International Conference on Computer Aided Verification, https://doi.org/10.1007/978-3-031-37706-8_4, 13964, 62-84, 2023.07. |
| 4. | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao, FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria, IEEE Transactions on Software Engineering, 10.1109/TSE.2022.3194640, 2022.07. |
| 5. | Zhenya Zhang, Paolo Arcaini, Gaussian Process-Based Confidence Estimation for Hybrid System Falsification, International Symposium on Formal Methods, https://doi.org/10.1007/978-3-030-90870-6_18, 13047, 330-348, 2021.11. |
| 6. | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao, Effective hybrid system falsification using monte carlo tree search guided by QB-robustness , International Conference on Computer Aided Verification, https://doi.org/10.1007/978-3-030-81685-8_29, 12759, 595-618, 2021.07. |
| 7. | Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Hybrid system falsification under (in) equality constraints via search space transformation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 10.1109/TCAD.2020.3013073, 39, 11, 3674-3685, 2020.10. |
| 8. | Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches, NASA Formal Methods Symposium, https://doi.org/10.1007/978-3-030-55754-6_24, 12229, 401-419, 2020.05. |
| 9. | Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini, Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification, International Conference on Computer Aided Verification, https://doi.org/10.1007/978-3-030-25540-4_23, 11561, 401-420, 2019.07. |
| 10. | Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo, Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 10.1109/TCAD.2018.2858463, 37, 11, 2894-2905, 2018.07, [URL]. |
Educational
Unauthorized reprint of the contents of this database is prohibited.