Anita Lungu

	2009
4		Meng Zhang, Anita Lungu, Daniel J. Sorin: Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. DFT 2009: 277-285
3		Anita Lungu, Pradip Bose, Alper Buyuktosunoglu, Daniel J. Sorin: Dynamic power gating with quality guarantees. ISLPED 2009: 377-382
2		Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen: Multicore power management: Ensuring robustness via early-stage formal verification. MEMOCODE 2009: 78-87
	2007
1		Anita Lungu, Daniel J. Sorin: Verification-Aware Microprocessor Design. PACT 2007: 83-93

Coauthor Index

1	Pradip Bose	[2] [3]
2	Alper Buyuktosunoglu	[3]
3	Steven German	[2]
4	Geert Janssen	[2]
5	Daniel J. Sorin	[1] [2] [3] [4]
6	Meng Zhang	[4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page