Concepedia

Author

Bhaskar Pal

Indian Institute of Technology Kharagpur

Also Known As

B. Pal, Bhaskar Pal

10

Publications

43

Citations

4

H-Index

21

Concepts

All Affiliations

Indian Institute of Technology Kharagpur
BP

About

Bhaskar Pal is an author at Indian Institute of Technology Kharagpur specializing in test generation, automated reasoning, and systems engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

27

2

Computer Engineering

2

2

27

3

Computer Science

2

2

27

4

Systems Engineering

2

2

27

5

Arts

1

1

13

Bhaskar Pal

×

2

Publications

27

Citations

2

H-Index

YearCitations

Accelerating Assertion Coverage With Adaptive Testbenches

Bhaskar Pal, Ansuman Banerjee, Arnab Sinha,

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

2008

14

Test generation games from formal specifications

Ansuman Banerjee, Bhaskar Pal, Sayantan Das,

2006

13

Page 1