1. A Hierarchical Approach to Self-Timed Circuit Verification;2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2019-05
2. Verifying Timed, Asynchronous Circuits using ACL2;2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2019-05
3. Data-Loop-Free Self-Timed Circuit Verification;2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2018-05
4. Industrial hardware and software verification with ACL2;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2017-09-04
5. Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications;Electronic Proceedings in Theoretical Computer Science;2017-05-02