Publications
Conference 26 Journal 11
2025
- PPDPFolding Narrowing for the Analysis of Mutual Exclusion Protocols (To Appear)In The 27th International Symposium on Principles and Practice of Declarative Programming, 2025
- SFPVVQRAT: A Reachability Analysis Tool for Quantum Programs (To Appear)In The 2nd International Symposium on Software Fault Prevention, Verification, and Validation, 2025