Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Pallab Dasgupta
Observed names:
DASGUPTA, PALLAB,
Dasgupta, Pallab,
P Dasgupta,
P. DASGUPTA,
P. Dasgupta,
P.R. Dasgupta,
Pallab DasGupta
show all 7
Institutions:
Indian Institute of Technology Kharagpur,
Synopsys (United States)
Observed institutions:
Indian Institute of Technology Kharagpur,
Saha Institute of Nuclear Physics,
Indian Association for the Cultivation of Science,
Jadavpur University,
Synopsys (United States),
École Polytechnique Fédérale de Lausanne,
Indian Institute of Technology Indore,
Texas A&M University
show all 8
ORCID:
0000-0002-2178-8154
Observed ORCID:
0000-0002-2178-8154
OpenAlex ID:
A5033329960
Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization
2019
·
Briti Gangopadhyay
, Siddartha Khastgir
, et al.
·
IEEE International Conference on Intelligent Transportation Systems (ITSC)
·
68
Significant enhancement of magnetoresistance with the reduction of particle size in nanometer scale
2016
·
Kalipada Das
, P. Dasgupta
, et al.
·
Scientific Reports
·
67
PDF
Synthesis of System Verilog Assertions
2006
·
S. Das
, R. Mohanty
, et al.
·
Design, Automation, and Test in Europe
·
59
Multiobjective Heuristic Search
1999
·
Pallab Dasgupta
, P. P. Chakrabarti
, et al.
·
Vieweg+Teubner eBooks
·
49
Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving
2021
·
Briti Gangopadhyay
, Harshit Soora
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
46
PDF
Policy Based Security Analysis in Enterprise Networks: A Formal Approach
2010
·
P. Bera
, S. K. Ghosh
, et al.
·
IEEE Transactions on Network and Service Management
·
36
Low-temperature measurements of magnetic susceptibility and specific heat of Eu2Ti2O7—An XY pyrochlore
2007
·
P. Dasgupta
, Y.M. Jana
, et al.
·
Journal of Physics and Chemistry of Solids
·
34
Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions
2022
·
Briti Gangopadhyay
, Pallab Dasgupta
, et al.
·
IEEE Transactions on Intelligent Vehicles
·
31
A Roadmap for Formal Property Verification
2006
·
Dasgupta, Pallab
·
Springer eBooks
·
31
Spin-glass-like magnetic ground state of the geometrically frustrated pyrochlore niobate Tb2Nb2O7
2003
·
Y. M. Jana
, O. Sakai
, et al.
·
Physical review. B, Condensed matter
·
31
Instrumenting AMS assertion verification on commercial platforms
2009
·
Rajdeep Mukhopadhyay
, S. K. Panda
, et al.
·
ACM Transactions on Design Automation of Electronic Systems
·
29
A study on crystal field effect and single ion anisotropy in pyrochlore europium titanate (Eu2Ti2O7)
2004
·
A.Nag Chattopadhyay
, P. Dasgupta
, et al.
·
Journal of Alloys and Compounds
·
28
Automatic Characterization of Exploitable Faults: A Machine Learning Approach
2018
·
Sayandeep Saha
, Dirmanto Jap
, et al.
·
IEEE Transactions on Information Forensics and Security
·
27
ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers
2018
·
Sayandeep Saha
, Debdeep Mukhopadhyay
, et al.
·
IACR Transactions on Cryptographic Hardware and Embedded Systems
·
26
PDF
Solving constraint optimization problems from CLP-style specifications using heuristic search techniques
2002
·
P. Dasgupta
, P.P. Chakrabarti
, et al.
·
IEEE Transactions on Knowledge and Data Engineering
·
26
Feature Indented Assertions for Analog and Mixed-Signal Validation
2016
·
Antara Ain
, Antonio Anastasio Bruto da Costa
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
24
Multiobjective Heuristic Search: An Introduction to intelligent Search Methods for Multicriteria Optimization
1999
·
Pallab Dasgupta
, P. P. Chakrabarti
, et al.
·
24
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model
2005
·
Sayanlan Das
, Ansuman Banerjee
, et al.
·
International Conference on VLSI Design
·
23
Formal Verification of Architectural Power Intent
2012
·
Aritra Hazra
, Sahil Goyal
, et al.
·
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
·
22
Have I Written Enough Properties?
2007
·
Pallab DasGupta
·
Springer eBooks
·
22
A Roadmap for Formal Property Verification
2007
·
Pallab DasGupta
·
Springer eBooks
·
21
Quantified Computation Tree Logic
2002
·
A.C. Patthak
, I. Bhattacharya
, et al.
·
Information Processing Letters
·
21
Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers
2023
·
Shalini Mukhopadhyay
, Swarnava Dey
, et al.
·
IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
·
19
ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers
2018
·
Saha, Sayandeep
, Mukhopadhyay, Debdeep
, et al.
·
DOAJ (DOAJ: Directory of Open Access Journals)
·
19
Agreement under faulty interfaces
1998
·
Pallab Dasgupta
·
Information Processing Letters
·
19
Show more works
View as search
Works count:
327
Citation count:
1,876
H-index:
21
I10-index:
59
Year
Topic
Type
