G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. - Saranyu Chattopadhyay; Keerthikumara Devarajegowda; Bihan Zhao; Florian Lonsing; Brandon A. D'Agostino; Ioanna Vavelidou; Vijay Deep Bhatt; Sebastian Prebeck; Wolfgang Ecker; Caroline Trippel; Clark W. Barrett; Subhasish Mitra (DAC, 2023)

An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods. - Endri Kaja; Nicolas Gerlin; Bihan Zhao; Daniela Sanchez Lopera; Jad Al Halabi; Azam Sher Khan; Sebastian Prebeck; Dominik Stoffel; Wolfgang Kunz; Wolfgang Ecker (ISQED, 2024)