年別の研究成果
年別の研究成果
フィンガープリント
Zhenya Zhangが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Zhang, Z., Arcaini, P. & Hasuo, I., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 401-419 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
1 被引用数 (Scopus) -
Hybrid System Falsification under (In)equality Constraints via Search Space Transformation
Zhang, Z., Arcaini, P. & Hasuo, I., 11 2020, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 11, p. 3674-3685 12 p., 9211466.研究成果: Contribution to journal › Article › 査読
Open Access1 被引用数 (Scopus) -
Arch-comp 2019 category report: Falsification
Ernst, G., Arcaini, P., Donze, A., Fainekos, G., Mathesen, L., Pedrielli, G., Yaghoubi, S., Yamagata, Y. & Zhang, Z., 2019, In: EPiC Series in Computing. 61, p. 129-140 12 p.研究成果: Contribution to journal › Conference article › 査読
Open Access10 被引用数 (Scopus) -
Fast falsification of hybrid systems using probabilistically adaptive input
Ernst, G., Sedwards, S., Zhang, Z. & Hasuo, I., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer Verlag, p. 165-181 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11785 LNCS).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
4 被引用数 (Scopus) -
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification
Zhang, Z., Hasuo, I. & Arcaini, P., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 401-420 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access6 被引用数 (Scopus)