年別の研究成果
年別の研究成果
フィンガープリント
Zhenya Zhangが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
A Robustness-Based Confidence Measure for Hybrid System Falsification
Takisaka, T., Zhang, Z., Arcaini, P. & Hasuo, I., 2022, (印刷中) In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. p. 1 1 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access -
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
Zhang, Z., Lyu, D., Arcaini, P., Ma, L., Hasuo, I. & Zhao, J., 2022, (印刷中) In: IEEE Transactions on Software Engineering. p. 1-17 17 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
Online Reset for Signal Temporal Logic Monitoring
Zhang, Z., Arcaini, P. & Xie, X., 2022, (印刷中) In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. p. 1 1 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
Time-Staging Enhancement of Hybrid System Falsification
Ernst, G., Hasuo, I., Zhang, Z. & Sedwards, S., 7月 14 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 361, p. 25-43 19 p.研究成果: ジャーナルへの寄稿 › 会議記事 › 査読
Open Access -
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
Song, J., Lyu, D., Zhang, Z., Wang, Z., Zhang, T. & Ma, L., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022. IEEE Computer Society, p. 343-352 10 p. (Proceedings - International Conference on Software Engineering).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与