Formal system-on-chip verification: An operation-based methodology and its perspectives in low power design. - Joakim Urdahl; Shrinidhi Udupi; Dominik Stoffel; Wolfgang Kunz (PATMOS, 2013)

Properties first? a new design methodology for hardware, and its perspectives in safety analysis. - Joakim Urdahl; Shrinidhi Udupi; Tobias Ludwig 002; Dominik Stoffel; Wolfgang Kunz (ICCAD, 2016)

Dynamic Power Optimization Based on Formal Property Checking of Operations. - Shrinidhi Udupi; Joakim Urdahl; Dominik Stoffel; Wolfgang Kunz (VLSID, 2017)

Exploiting Hardware Unobservability for Low-Power Design and Safety Analysis in Formal Verification-Driven Design Flows. - Shrinidhi Udupi; Joakim Urdahl; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Very Large Scale Integr. Syst., 2019)