1. Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences;2024 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems (DDECS);2024-04-03
2. Security Coverage Metrics for Information Flow at the System Level;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
3. Learning to Verify and Assure Cyber-Physical Systems;AIAA SCITECH 2024 Forum;2024-01-04
4. HW/SW Co-Verification and Co-Debugging;Synthesis Lectures on Digital Circuits & Systems;2024
5. Pre-Silicon Verification and Post-Silicon Validation Methodologies;Synthesis Lectures on Digital Circuits & Systems;2024