All 2024 2023 2022
All Journal Article Presentation Patent
ACM Transactions on Embedded Computing Systems
Volume: 22 Issue: 5s Pages: 1-26
10.1145/3609127
Computer Aided Verification. CAV 2023
Volume: 13964 Pages: 3-26
10.1007/978-3-031-37706-8_1
Automated Technology for Verification and Analysis. ATVA 2023
Volume: 14215 Pages: 33-52
10.1007/978-3-031-45329-8_2
EPiC Series in Computing
Volume: 96 Pages: 151-169
10.29007/6nqs
34th International Conference on Computer-Aided Verification
Volume: 13371 Pages: 447-468
10.1007/978-3-031-13185-1_22
