1. Next Generation Design For Testability, Debug and Reliability Using Formal Techniques;2022 IEEE International Test Conference (ITC);2022-09
2. Enhanced Reliability Using Formal Techniques;Design for Testability, Debug and Reliability;2021
3. Formal Techniques;Design for Testability, Debug and Reliability;2021
4. Integrated Circuits;Design for Testability, Debug and Reliability;2021
5. On Test Generation for Microprocessors for Extended Class of Functional Faults;IFIP Advances in Information and Communication Technology;2020