Verification-Aware Microprocessor Design. - Anita Lungu; Daniel J. Sorin (PACT, 2007)

Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. - Meng Zhang 017; Anita Lungu; Daniel J. Sorin (DFT, 2009)

Dynamic power gating with quality guarantees. - Anita Lungu; Pradip Bose; Alper Buyuktosunoglu; Daniel J. Sorin (ISLPED, 2009)

Multicore power management: Ensuring robustness via early-stage formal verification. - Anita Lungu; Pradip Bose; Daniel J. Sorin; Steven German; Geert Janssen (MEMOCODE, 2009)