Concepedia

Pallab Dasgupta

PD

48

Publications

973

Citations

18

H-Index

1994

Active since

Affiliations

Indian Institute of Technology Kharagpur(Current)

Indian Association for the Cultivation of Science

Israel Electric (Israel)

Intel (United States)

Pallab Dasgupta is an author at Indian Institute of Technology Kharagpur specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal VerificationFormal MethodsVerificationSystems EngineeringSoftware AnalysisAutomated ReasoningProgram Analysis

Publications per year

1994–2023

48

Publications

48

Significant enhancement of magnetoresistance with the reduction of particle size in nanometer scale

Kalipada Das, Pallab Dasgupta, A. Poddar et al. · Scientific Reports · 2016 · 67 citations · Full text

Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization

Briti Gangopadhyay, Siddartha Khastgir, Sumanta Dey et al. · 2019 · 56 citations

Automotive Industry, Engineering, Safety Science +21

Synthesis of System Verilog Assertions

S.R. Das, Ramanarayan Mohanty, Pallab Dasgupta et al. · 2006 · 55 citations

Engineering, Hardware Verification Language, Verification +21

Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving

Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta · IEEE Transactions on Intelligent Transportation Systems · 2021 · 43 citations · Full text

Policy Based Security Analysis in Enterprise Networks: A Formal Approach

Parthasarathi Bera, Soumya K. Ghosh, Pallab Dasgupta · IEEE Transactions on Network and Service Management · 2010 · 38 citations

Engineering, Information Security, Formal Approach +20

Rows per page

1–5 of 48