Sudhindra Pandav

	2009
2		Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik: Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV 2009: 414-429
	2005
1		Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan: Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. CHARME 2005: 317-331

Coauthor Index

1	Vladimir Frolov	[2]
2	Rajnish Ghughal	[2]
3	Ganesh Gopalakrishnan	[1]
4	Roope Kaivola	[2]
5	Armaghan Naik	[2]
6	Naren Narasimhan	[2]
7	Erik Reeber	[2]
8	Konrad Slind	[1]
9	Anna Slobodová	[2]
10	Christopher Taylor	[2]
11	Amber Telfer	[2]
12	Jesse Whittemore	[2]