All 2025 2024 2023 2022 2021 2020 2018 2017 2016 2015 2014 2013 2012 Other
All Journal Article Presentation Book Patent
Proc. the 37th International Conference on Computer Aided Verification (CAV 2025)
Volume: -
Proceedings of NDSS 2022
Volume: －
10.14722/ndss.2024.23067
Artificial Intelligence
Volume: 326 Pages: 104045-104045
10.1016/j.artint.2023.104045
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)論文集
Volume: ー
Proceedings of ACCV 2022
Volume: 13847 Pages: 274-290
10.1007/978-3-031-26293-7_17
ACM Transactions on Embedded Computing Systems
Volume: 22 Issue: 5s Pages: 1-26
10.1145/3609127
Automated Technology for Verification and Analysis. ATVA 2023
Volume: 14215 Pages: 33-52
10.1007/978-3-031-45329-8_2
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Volume: - Pages: 681-696
10.1007/978-3-031-43619-2_46
34th International Conference on Computer-Aided Verification
Volume: 13371 Pages: 447-468
10.1007/978-3-031-13185-1_22
Computer Aided Verification. CAV 2022. Lecture Notes in Computer Science.
Volume: vol 13371 Pages: 235-256
10.1007/978-3-031-13185-1_12
New Generation Computing
Volume: 40 Issue: 2 Pages: 507-540
10.1007/s00354-022-00167-1
IEEE Transactions on Intelligent Vehicles
Volume: (to appear) Issue: 4 Pages: 1-33
10.1109/tiv.2022.3169762
ACCV 2020
Volume: 12624 Pages: 189-205
10.1007/978-3-030-69535-4_12
arXiv
Proceedings of TACAS 2021, Springer LNCS
Volume: 12652 Pages: 262-280
10.1007/978-3-030-72013-1_14
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
Volume: － Pages: 411-421
10.24963/kr.2021/39
Lecture Notes in Computer Science book series
Volume: 12974 Pages: 100-120
10.1007/978-3-030-88494-9_6
Proceedings of ESOP 2020, Springer LNCS
Volume: 12075 Pages: 684-714
10.1007/978-3-030-44914-8_25
120006879514
VMCAI 2020
Volume: 11990 Pages: 293-313
10.1007/978-3-030-39322-9_14
Proc. MT-CPS 2018
Volume: - Pages: 14-15
10.1109/mt-cps.2018.00014
Proc. APLAS 2017, Lecture Notes in Computer Science
Volume: 10695 Pages: 491-513
10.1007/978-3-319-71237-6_24
Proc. FORMATS 2017, Lecture Notes in Computer Science
Volume: 10419 Pages: 224-243
10.1007/978-3-319-65765-3_13
日本ソフトウェア科学会第33回大会論文集
40021053614
Electronic Proceedings in Theoretical Computer Science
Volume: 174 Pages: 22-39
10.4204/eptcs.174.3
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
Volume: 1
Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)
Volume: 8858 Pages: 58-77
10.1007/978-3-319-12736-1_4
計測と制御
Volume: 53
Proc. POPL
Volume: 40 Pages: 417-430
10.1145/2429069.2429120
Proc. Computer Aided Verification - 24th International Conference, Lecture Notes in Computer Science
Volume: 7358 Pages: 462-478
10.1007/978-3-642-31424-7_34
Proc. of ACM OOPSLA
Volume: 27 Pages: 1-20
10.1145/2384616.2384618
