1. The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog;Proceedings of the ACM on Programming Languages;2023-10-16
2. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP;Formal Aspects of Computing;2020-07
3. VeriSketch;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06
4. Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL;ACM Transactions on Software Engineering and Methodology;2019-07-31
5. Model Checking Verilog Descriptions of Cell Libraries;2009 Ninth International Conference on Application of Concurrency to System Design;2009-07