Nishant Sinha

	2009
15		Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang: Static data race detection for concurrent programs with asynchronous calls. ESEC/SIGSOFT FSE 2009: 13-22
	2008
14		Nishant Sinha: Symbolic Program Analysis Using Term Rewriting and Generalization. FMCAD 2008: 1-9
13		Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha: Verification of evolving software via component substitutability analysis. Formal Methods in System Design 32(3): 235-266 (2008)
	2007
12		Nishant Sinha, Edmund M. Clarke: SAT-Based Compositional Verification Using Lazy Learning. CAV 2007: 39-54
	2006
11		Vineet Kahlon, Aarti Gupta, Nishant Sinha: Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. CAV 2006: 286-299
10		Sagar Chaki, Nishant Sinha: Assume-Guarantee Reasoning for Deadlock. FMCAD 2006: 134-144
	2005
9		Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati: Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV 2005: 534-547
8		Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha: Dynamic Component Substitutability Analysis. FM 2005: 512-528
7		Edmund M. Clarke, Natasha Sharygina, Nishant Sinha: Program Compatibility Approaches. FMCO 2005: 243-258
6		Edmund M. Clarke, Himanshu Jain, Nishant Sinha: Grand Challenge: Model Check Software. VISSAS 2005: 55-68
5		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: Concurrent software verification with states, events, and deadlocks. Formal Asp. Comput. 17(4): 461-483 (2005)
	2004
4		Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
3		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: State/Event-Based Software Model Checking. IFM 2004: 128-147
	2003
2		Flavio Lerda, Nishant Sinha, Michael Theobald: Symbolic Model Checking of Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
	2002
1		Debasis Samanta, Nishant Sinha, Ajit Pal: Synthesis of High Performance Low Power Dynamic CMOS Circuits. VLSI Design 2002: 99-104

Coauthor Index

1	Sagar Chaki	[3] [5] [8] [9] [10] [13]
2	Edmund M. Clarke	[3] [5] [6] [7] [8] [9] [12] [13]
3	Aarti Gupta	[11]
4	Himanshu Jain	[6]
5	Vineet Kahlon	[11] [15]
6	Erik Kruus	[15]
7	Flavio Lerda	[2]
8	Joël Ouaknine	[3] [5]
9	Ajit Pal	[1]
10	Amir Pnueli	[4]
11	Debasis Samanta	[1]
12	Natasha Sharygina	[3] [5] [7] [8] [13]
13	Ofer Strichman	[4]
14	Muralidhar Talupur	[4]
15	Prasanna Thati (Prasannaa Thati)	[9]
16	Michael Theobald	[2]
17	Yun Zhang	[15]

Colors in the list of coauthors