1. Invited Talk: Pros and Cons of Assertion Mining;2024 IEEE 25th Latin American Test Symposium (LATS);2024-04-09
2. Automated Generation of Security Assertions for RTL Models;ACM Journal on Emerging Technologies in Computing Systems;2023-01-19
3. HARM: A Hint-Based Assertion Miner;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11
4. Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions;2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC);2022-10-03
5. A Survey on Assertion-based Hardware Verification;ACM Computing Surveys;2022-01-31