すべて 2025 2024 2023 2022
すべて 雑誌論文 学会発表 産業財産権
HSCC'25: 28th ACM International Conference on Hybrid Systems: Computation and Control
巻: -
The Thirteenth International Conference on Learning Representations
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
巻: 43 号: 11 ページ: 4286-4297
10.1109/tcad.2024.3443704
The 24th International Conference on Runtime Verification
巻: - ページ: 59-69
10.1007/978-3-031-74234-7_4
ACM Transactions on Embedded Computing Systems
巻: 22 号: 5s ページ: 1-26
10.1145/3609127
Computer Aided Verification. CAV 2023
巻: 13964 ページ: 3-26
10.1007/978-3-031-37706-8_1
Automated Technology for Verification and Analysis. ATVA 2023
巻: 14215 ページ: 33-52
10.1007/978-3-031-45329-8_2
EPiC Series in Computing
巻: 96 ページ: 151-169
10.29007/6nqs
34th International Conference on Computer-Aided Verification
巻: 13371 ページ: 447-468
10.1007/978-3-031-13185-1_22
