Path predicate abstraction by complete interval property checking. - Joakim Urdahl; Dominik Stoffel; Jörg Bormann; Markus Wedler; Wolfgang Kunz (FMCAD, 2010)

System verification of concurrent RTL modules by compositional path predicate abstraction. - Joakim Urdahl; Dominik Stoffel; Markus Wedler; Wolfgang Kunz (DAC, 2012)

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)

T4B: Formal verification in system-on-chip design: Scientific foundations and practical methodology. - Wolfgang Kunz; Dominik Stoffel; Joakim Urdahl (SoCC, 2014)

Path Predicate Abstraction for Sound System-Level Models of RT-Level Circuit Designs. - Joakim Urdahl; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Architectural System Modeling for Correct-by-Construction RTL Design. - Joakim Urdahl; Dominik Stoffel; Wolfgang Kunz (MBMV, 2015)

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)

Path Predicate Abstraction: for Sound System-Level Modeling of Digital Circuits. - Joakim Urdahl (Shaker, 2016)

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

Symbolic quick error detection using symbolic initial state for pre-silicon verification. - Mohammad Rahmani Fadiheh; Joakim Urdahl; Srinivasa Shashank Nuthakki; Subhasish Mitra; Clark W. Barrett; Dominik Stoffel; Wolfgang Kunz (DATE, 2018)

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)

Properties First - Correct-By-Construction RTL Design in System-Level Design Flows. - Tobias Ludwig 002; Joakim Urdahl; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)