Pallab Dasgupta

	2009
61		Subhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta: A formal approach for specification-driven AMS behavioral model generation. DATE 2009: 1512-1517
60		Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti: Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76
59		Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti: Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14(1): (2009)
58		Rajdeep Mukhopadhyay, S. K. Panda, Pallab Dasgupta, John Gough: Instrumenting AMS assertion verification on commercial platforms. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009)
	2008
57		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
56		Ansuman Banerjee, Kausik Datta, Pallab Dasgupta: CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA 2008: 228-233
55		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
54		Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. 13(4): (2008)
53		Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta: Satisfiability Models for Maximum Transition Power. IEEE Trans. VLSI Syst. 16(8): 941-951 (2008)
52		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
51		Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta: Timing Analysis of Sequential Circuits Using Symbolic Event Propagation. ICCTA 2007: 151-157
50		Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta: Bounded Delay Timing Analysis Using Boolean Satisfiability. VLSI Design 2007: 295-302
49		Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti: A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design 2007: 95-102
48		Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta: Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Design Autom. Electr. Syst. 12(3): (2007)
47		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
46		Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti: Discovering the input assumptions in specification refinement coverage. ASP-DAC 2006: 13-18
45		Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta: Test generation games from formal specifications. DAC 2006: 827-832
44		Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti: What lies between design intent coverage and model checking? DATE 2006: 1217-1222
43		Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti: Synthesis of system verilog assertions. DATE Designers' Forum 2006: 70-75
42		Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198
41		Diganchal Chakraborty, P. P. Chakrabarti, Arijit Mondal, Pallab Dasgupta: A Framework for Estimating Peak Power in Gate-Level Circuits. PATMOS 2006: 573-582
40		Samik Das, P. P. Chakrabarti, Pallab Dasgupta: Instruction-Set-Extension Exploration Using Decomposable Heuristic Search. VLSI Design 2006: 293-298
39		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
38		Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti: SAT based solutions for consistency problems in formal property specifications for open systems. ICCAD 2005: 885-888
37		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
36		Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti: Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. VLSI Design 2005: 213-218
35		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
34		Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix: Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE 2004: 668-669
33		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
32		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC 2004: 102-113
31		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
30		Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti: Formal Verification of Modules under Real Time Environment Constraints. VLSI Design 2004: 103-108
29		Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan: Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. VLSI Design 2004: 109-114
28		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. 91(5): 201-210 (2004)
	2003
27		Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti: Open computation tree logic with fairness. ISCAS (5) 2003: 249-252
26		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: A Branching Time Temporal Framework for Quantitative Reasoning. J. Autom. Reasoning 30(2): 205-232 (2003)
	2002
25		Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee: Formal verification of module interfaces against real time specifications. DAC 2002: 141-145
24		Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti: Open Computation Tree Logic for Formal Verification of Modules. VLSI Design 2002: 735-740
23		Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel: Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. IEEE Trans. Knowl. Data Eng. 14(2): 353-368 (2002)
22		Anindya C. Patthak, Indrajit Bhattacharya, Anirban Dasgupta, Pallab Dasgupta, P. P. Chakrabarti: Quantified Computation Tree Logic. Inf. Process. Lett. 82(3): 123-129 (2002)
	2001
21		Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti: Abstraction of word-level linear arithmetic functions from bit-level component descriptions. DATE 2001: 4-8
20		S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti: Symbolic verification of Boolean constraints over partially specified functions. ISCAS (5) 2001: 113-116
19		Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti: Abstractions for model checking of event timings. ISCAS (5) 2001: 125-128
18		Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan: Min-max Computation Tree Logic. Artif. Intell. 127(1): 137-162 (2001)
	2000
17		Pallab Dasgupta, Jatindra Kumar Deka, Partha Pratim Chakrabarti: Model checking on timed-event structures. IEEE Trans. on CAD of Integrated Circuits and Systems 19(5): 601-611 (2000)
	1999
16		Prashanti Das, Dibyendu Das, Pallab Dasgupta: Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems. HiPC 1999: 143-150
15		Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose: Controlling State Explosion in Static Simulation by Selective Composition. VLSI Design 1999: 226-231
14		Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti: An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. VLSI Design 1999: 294-299
13		Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti: Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. VLSI Design 1999: 324-
	1998
12		Pallab Dasgupta: Agreement under Faulty Interfaces. Inf. Process. Lett. 65(3): 125-129 (1998)
11		Dibyendu Das, Pallab Dasgupta, Prashanti Das: A Heuristic for the Maximum Processor Requirement for Scheduling Layered Task Graphs with Coloring. J. Parallel Distrib. Comput. 49(2): 169-181 (1998)
	1997
10		Pallab Dasgupta, A. K. Majumder, P. Bhattacharya: V_THR: An Adaptive Load Balancing Algorithm. J. Parallel Distrib. Comput. 42(2): 101-108 (1997)
	1996
9		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: A New Competitive Algorithm for Agent Searching in Unknown Streets. FSTTCS 1996: 147-155
8		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: Searching Game Trees under a Partial Order. Artif. Intell. 82(1-2): 237-257 (1996)
7		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: Agent Search in Uniform b-Ary Trees: Multiple Goals and Unequal Costs. Inf. Process. Lett. 58(6): 311-318 (1996)
6		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: Multiobjektive Heuristic Search in AND/OR Graphs. J. Algorithms 20(2): 282-311 (1996)
	1995
5		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors. FSTTCS 1995: 22-36
4		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening". Artif. Intell. 77(1): 173-176 (1995)
3		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: Utility of Pathmax in Partial Order Heuristic Search. Inf. Process. Lett. 55(6): 317-322 (1995)
	1994
2		Pallab Dasgupta, Prasenjit Mitra, P. P. Chakrabarti, S. C. De Sarkar: Multiobjective Search in VLSI Design. VLSI Design 1994: 395-400
1		Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: Agent Searching in a Tree and the Optimality of Iterative Deepening. Artif. Intell. 71(1): 195-208 (1994)

Coauthor Index

1	Antara Ain	[61]
2	Roy Armoni	[33] [39]
3	Ansuman Banerjee	[25] [27] [30] [31] [33] [35] [37] [39] [42] [45] [47] [52] [54] [55] [56] [57]
4	Prasenjit Basu	[29] [33] [34] [36] [37] [38] [39] [44] [46] [59]
5	Indrajit Bhattacharya	[22]
6	P. Bhattacharya	[10]
7	Wolfgang Bibel	[23]
8	Mrinal Bose	[15]
9	S. Chaki	[19]
10	Arindam Chakrabarti	[21] [24] [25]
11	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [38] [39] [40] [41] [42] [43] [44] [46] [47] [48] [49] [50] [51] [53] [54] [55] [57] [59] [60]
12	Diganchal Chakraborty	[41]
13	Krishnendu Chatterjee	[26] [28] [32]
14	Pankaj Chauhan	[13]
15	Dibyendu Das	[11] [16]
16	Partha Pratim Das	[15]
17	Prashanti Das	[11] [16]
18	Samik Das	[40]
19	Sayantan Das	[33] [34] [37] [38] [39] [43] [44] [45] [46] [59]
20	Anirban Dasgupta	[22]
21	Kausik Datta	[56]
22	Jatindra Kumar Deka	[14] [17] [18] [19]
23	Arnab Dey	[23]
24	Limor Fix	[33] [34] [37] [39]
25	P. Vignesh V. Ganesan	[57]
26	Sujoy Ghose	[23]
27	Priyankar Ghosh	[60]
28	John Gough	[58]
29	Aritra Hazra	[55] [60]
30	Sekar Krishna	[21]
31	Abhijeet Kumar	[45]
32	Shuvendu K. Lahiri	[15]
33	A. K. Majumder	[10]
34	Prasenjit Mitra	[2]
35	Srobona Mitra	[55]
36	Chunduri Rama Mohan	[29] [33] [34] [37] [39] [55]
37	Rizi Mohanty	[43]
38	Arijit Mondal	[41] [51]
39	Subhankar Mukherjee	[61]
40	Rajdeep Mukhopadhyay	[58] [61]
41	Amit Nandi	[21]
42	Bhaskar Pal	[31] [45] [47] [52] [59]
43	S. K. Panda	[58] [61]
44	Anindya C. Patthak	[22]
45	S. Ramesh (Sethu Ramesh)	[57]
46	Sayak Ray	[49] [57]
47	Arnob Roy	[15]
48	Suchismita Roy	[38] [48] [50] [53]
49	Sriram Sankaranarayanan	[18]
50	S. C. De Sarkar	[1] [2] [3] [4] [5] [6] [7] [8] [9]
51	Arnab Sinha	[52] [59]
52	S. Sriram	[20]
53	R. Tandon	[20]

Colors in the list of coauthors