Nishant Sinha

2008
14	EE	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
13	EE	Nishant Sinha, Edmund M. Clarke: SAT-Based Compositional Verification Using Lazy Learning. CAV 2007: 39-54
2006
12	EE	Vineet Kahlon, Aarti Gupta, Nishant Sinha: Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. CAV 2006: 286-299
11	EE	Sagar Chaki, Nishant Sinha: Assume-Guarantee Reasoning for Deadlock. FMCAD 2006: 134-144
2005
10	EE	Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati: Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV 2005: 534-547
9	EE	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha: Dynamic Component Substitutability Analysis. FM 2005: 512-528
8	EE	Edmund M. Clarke, Natasha Sharygina, Nishant Sinha: Program Compatibility Approaches. FMCO 2005: 243-258
7		Edmund M. Clarke, Himanshu Jain, Nishant Sinha: Grand Challenge: Model Check Software. VISSAS 2005: 55-68
6	EE	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
5	EE	Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
4	EE	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: State/Event-Based Software Model Checking. IFM 2004: 128-147
2003
3	EE	Flavio Lerda, Nishant Sinha, Michael Theobald: Symbolic Model Checking of Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
2	EE	Debasis Samanta, Ajit Pal, Nishant Sinha: Synthesis of High Performance Low Power Dynamic CMOS Circuits. ASP-DAC 2002: 99-104
1	EE	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	[4] [6] [9] [10] [11] [14]
2	Edmund M. Clarke	[4] [6] [7] [8] [9] [10] [13] [14]
3	Aarti Gupta	[12]
4	Himanshu Jain	[7]
5	Vineet Kahlon	[12]
6	Flavio Lerda	[3]
7	Joël Ouaknine	[4] [6]
8	Ajit Pal	[1] [2]
9	Amir Pnueli	[5]
10	Debasis Samanta	[1] [2]
11	Natasha Sharygina	[4] [6] [8] [9] [14]
12	Ofer Strichman	[5]
13	Muralidhar Talupur	[5]
14	Prasanna Thati (Prasannaa Thati)	[10]
15	Michael Theobald	[3]

Colors in the list of coauthors