All 2025 2024 2023 2022
All Journal Article Presentation Patent
HSCC'25: 28th ACM International Conference on Hybrid Systems: Computation and Control
Volume: -
The Thirteenth International Conference on Learning Representations
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume: 43 Issue: 11 Pages: 4286-4297
10.1109/tcad.2024.3443704
The 24th International Conference on Runtime Verification
Volume: - Pages: 59-69
10.1007/978-3-031-74234-7_4
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
