Ministry of Education
Aritra Hazra
VIDWAN ID: 158123

Dr Aritra Hazra

Male Doctor of Philosophy
Assistant Professor (Grade-I) | Department of Computer Science and Engineering
Indian Institute of Technology, Kharagpur
West Bengal
Expertise: Computer Science Artificial Intelligence
Scopus 24824598200 Google Scholar nYazw20AAAAJ
View older version My Dashboard
42 Publications
0 Projects
255 Scopus Citations
204 CrossRef
9 Years 1 Month Total Experience
Publications
42 Total
Articles
17
Chapters
1
Proceedings
24
Activity

No publication activity to display.

Scopus Scopus
255 Citations
11 h-index
CrossRef CrossRef
204 Citations
10 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
N/A
Assistant Professor (Grade-I)
Aug 2017 – Present
Indian Institute of Technology, Kharagpur | Department of Computer Science and Engineering
Engineering and Technology
Computer Science Artificial Intelligence

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent

Conference Paper
Year: 2010. Pages: 773-776 .
Authors: Aritra Hazra; Srobona Mitra; Pallab Dasgupta; Ajit Pal; Debabrata Bagchi; Kaustav Guha
DOI 10.1145/1837274.1837469 Crossref Crossref: 14 Scopus Scopus: 15

Formal methods for coverage analysis of architectural power states in power-managed designs

Conference Paper
Year: 2012. Pages: 585-590 .
Authors: Aritra Hazra; Pallab Dasgupta; Ansuman Banerjee; Kevin Harer
DOI 10.1109/ASPDAC.2012.6165024 Crossref Crossref: 3 Scopus Scopus: 3

Dimensionality reduction of morphological features of tomato leaves and fruiting habits

Conference Paper
Year: 2012. Pages: 608-611 .
Authors: S. Kundu; A. Hazra; K. Deb; P. Hazra
DOI 10.1109/CODIS.2012.6422276 Crossref Crossref: 2 Scopus Scopus: 2

Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems

Conference Paper
Year: 2012. Pages: 36-43 .

POWER-TRUCTOR: An integrated tool flow for formal verification and coverage of architectural power intent

Journal Article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Year: 2013. Volume: 32 , Issue: 11 , Pages: 1801-1813 .
Authors: Aritra Hazra; Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Kevin M. Harer; Ansuman Banerjee; Subhankar Mukherjee
DOI 10.1109/TCAD.2013.2267454 Crossref Crossref: 12 Scopus Scopus: 12

XFC: A Framework for eXploitable Fault Characterization in Block Ciphers

Conference Paper
Year: 2017. Pages: 1-6 .
Authors: Khanna, P.; Rebeiro, C.; Hazra, A.
DOI 10.1145/3061639.3062340 Crossref Crossref: 26 Scopus Scopus: 32

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management

Journal Article
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. Year: 2020. Volume: 28 , Issue: 8 , Pages: 1745-1756 .
Authors: Sudipa Mandal; Pallab Dasgupta; Aritra Hazra; Chunduri Rama Mohan
DOI 10.1109/TVLSI.2020.3002481 Crossref Crossref: 1 Scopus Scopus: 1

The Notion of Cross Coverage in AMS Design Verification

Conference Paper
Year: 2020. Volume: 2020-January , Pages: 217-222 .
Authors: Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian
DOI 10.1109/ASP-DAC47756.2020.9045131 Crossref Crossref: 2 Scopus Scopus: 2
Showing 1 to 8 of 42 publications