Ansuman Banerjee

	2008
16		Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan: A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA 2008: 222-227
15		Ansuman Banerjee, Kausik Datta, Pallab Dasgupta: CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA 2008: 228-233
14		Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan: Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI 2008: 251-256
13		Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. 13(4): (2008)
12		Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta: Accelerating Assertion Coverage With Adaptive Testbenches. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 967-972 (2008)
	2007
11		Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integration 40(3): 285-304 (2007)
	2006
10		Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta: Test generation games from formal specifications. DAC 2006: 827-832
9		Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198
8		Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1922-1934 (2006)
	2005
7		Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix: Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design 2005: 201-206
6		Ansuman Banerjee, Pallab Dasgupta: The open family of temporal logics: Annotating temporal operators with input constraints. ACM Trans. Design Autom. Electr. Syst. 10(3): 492-522 (2005)
	2004
5		Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203
4		Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE 2004: 119-128
3		Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: Formal Verification of Modules under Real Time Environment Constraints. VLSI Design 2004: 103-108
	2003
2		Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti: Open computation tree logic with fairness. ISCAS (5) 2003: 249-252
	2002
1		Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee: Formal verification of module interfaces against real time specifications. DAC 2002: 141-145

Coauthor Index

1	Roy Armoni	[5] [8]
2	Prasenjit Basu	[5] [7] [8]
3	Arindam Chakrabarti	[1]
4	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [2] [3] [4] [5] [7] [8] [9] [11] [13] [14] [16]
5	Sayantan Das	[5] [7] [8] [10]
6	Pallab Dasgupta	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
7	Kausik Datta	[15]
8	Limor Fix	[5] [7] [8]
9	P. Vignesh V. Ganesan	[16]
10	Aritra Hazra	[14]
11	Abhijeet Kumar	[10]
12	Srobona Mitra	[14]
13	Chunduri Rama Mohan	[5] [7] [8] [14]
14	Bhaskar Pal	[4] [10] [11] [12]
15	S. Ramesh (Sethu Ramesh)	[16]
16	Sayak Ray	[16]
17	Arnab Sinha	[12]