19th International Conference on Formal Aspects of Component Software (FACS 2023), page. 127 - 152, 2023-10-19
9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), page. 1 - 1, 2023-10-18
6th International Symposium on Mobile Internet Security, 2022-12-16
8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 3 - 15, 2022-12-07
8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 34 - 44, 2022-12-07
8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, page. 56 - 67, 2022-12-07
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, page. 47 - 64, 2022-10-25
34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08
36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17
International Conference on Computer-Aided Verification, page. 491 - 504, 2021-07-22
International Workshop on Rewriting Logic and its Applications (WRLA), page. 220 - 232, 2020-10-22