年別の研究成果
年別の研究成果
フィンガープリント
Zhenya Zhangが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
Fukuda, K., Zhang, G., Zhang, Z., Sui, Y. & Zhao, J., 2025, 2025 Design, Automation and Test in Europe Conference, DATE 2025 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings -Design, Automation and Test in Europe, DATE).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
-
Automated Generation of Benchmarks for Falsification of STL Specifications
Yan, Y., Lyu, D., Zhang, Z., Arcaini, P. & Zhao, J., 2025, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44, 10, p. 4004-4017 14 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
1 被引用数 (Scopus) -
Boosting source code learning with text-oriented data augmentation: an empirical study
Dong, Z., Hu, Q., Guo, Y., Zhang, Z., Cordy, M., Papadakis, M., Le Traon, Y. & Zhao, J., 6月 2025, In: Empirical Software Engineering. 30, 3, 68.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
CauMon: An Informative Online Monitor for Signal Temporal Logic
Zhang, Z., An, J., Arcaini, P. & Hasuo, I., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 286-304 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14934 LNCS).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
Open Access1 被引用数 (Scopus) -
Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality
Zhang, G., Zhang, Z., Bandara, H. M. N. D., Chen, S., Zhao, J. & Sui, Y., 4月 9 2025, In: Proceedings of the ACM on Programming Languages. 9, 1, 83.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access2 被引用数 (Scopus)