Pallab Dasgupta

Cited by

	All	Since 2019
Citations	1992	805
h-index	20	13
i10-index	63	21

200

100

150

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 5 5 4 12 5 16 24 28 27 28 47 29 49 59 84 57 102 109 81 82 121 81 77 84 130 117 148 188 136

Public access

View all

5 articles

available

not available

Based on funding mandates

Co-authors

Ansuman BanerjeeProfessor, Indian Statistical InstituteVerified email at isical.ac.in
Aritra HazraDepartment of Computer Science and Engineering, IIT KharagpurVerified email at cse.iitkgp.ac.in
soumyajit deyAssistant Professor, Computer Science, IIT KharagpurVerified email at cse.iitkgp.ernet.in
Soumya K. GhoshIndian Institute of Technology Kharagpur, IndiaVerified email at cse.iitkgp.ac.in
Debdeep MukhopadhyayProfessor, Dept of Computer Science and Engineering, IIT Kharagpur, IndiaVerified email at cse.iitkgp.ac.in
Subhankar MukherjeeSoftware Architect, Cadence Design Systems, Inc.Verified email at cadence.com
Antara AinIndian Institute of Technology KharagpurVerified email at atdc.iitkgp.ernet.in
Padmalochan BeraAssociate Professor, Dept of Computer Science and EngineeringVerified email at iitbbs.ac.in
Prasenjit BasuSamsung Research Institute, BangaloreVerified email at samsung.com
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Sumana GhoshAssistant Professor, Indian Statistical Institute KolkataVerified email at isical.ac.in
Sudipa MandalPh.D student of Computer Science and Engineering Department, IIT KharagpurVerified email at cse.iitkgp.ernet.in
Siddhartha MukhopadhyayProfessor of Electrical Engineering, Indian Institute of Technology KharagpurVerified email at ee.iitkgp.ac.in
Krothapalli Sreenivasa RaoProfessor, Department of Computer Science and Engineering, IIT KharagpurVerified email at iitkgp.ac.in
Rajorshee RahaSenior Technical Lead - Mercedes Benz Research and Development India, PhD - IIT KharagpurVerified email at cse.iitkgp.ernet.in
Jatindra Kumar DekaProfessor, CSE Department, IIT GuwahatiVerified email at iitg.ernet.in
Dr Rajkumar P.V.University of Central MissouriVerified email at ucmo.edu
Sikhar PatranabisIBM Research IndiaVerified email at ibm.com
Subrat PandaIndian institute of Technology, KharagpurVerified email at alumnimail.iitkgp.ac.in

Pallab Dasgupta

Indian Institute of Technology Kharagpur

Verified email at cse.iitkgp.ac.in - Homepage

Formal Methods Design Automation Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Synthesis of system verilog assertions S Das, R Mohanty, P Dasgupta, PP Chakrabarti Proceedings of the Design Automation & Test in Europe Conference 2, 1-6, 2006	80	2006
Identification of test cases for automated driving systems using bayesian optimization B Gangopadhyay, S Khastgir, S Dey, P Dasgupta, G Montana, P Jennings 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 1961-1967, 2019	72	2019
A roadmap for formal property verification P Dasgupta, P DasGupta A Roadmap for Formal Property Verification, 217-241, 2006	59	2006
Multiobjective heuristic search P Dasgupta, PP Chakrabarti, SC DeSarkar Vieweg, Braunschweig/Wiesbaden, 1999	53	1999
Policy based security analysis in enterprise networks: A formal approach P Bera, SK Ghosh, P Dasgupta IEEE Transactions on Network and Service Management 7 (4), 231-243, 2010	47	2010
Multiobjective heuristic search: An introduction to intelligent search methods for multicriteria optimization P Dasgupta, PP Chakrabarti, SC DeSarkar Springer Science & Business Media, 1999	45	1999
Instrumenting AMS assertion verification on commercial platforms R Mukhopadhyay, SK Panda, P Dasgupta, J Gough ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (2 …, 2009	44	2009
Hierarchical program-triggered reinforcement learning agents for automated driving B Gangopadhyay, H Soora, P Dasgupta IEEE Transactions on Intelligent Transportation Systems 23 (8), 10902-10911, 2021	38	2021
ExpFault: an automated framework for exploitable fault characterization in block ciphers S Saha, D Mukhopadhyay, P Dasgupta IACR Transactions on Cryptographic Hardware and Embedded Systems, 242-276, 2018	37	2018
Agreement under faulty interfaces P Dasgupta Information Processing Letters 65 (3), 125-129, 1998	31	1998
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model S Das, A Banerjee, P Basu, P Dasgupta, PP Chakrabarti, CR Mohan, ... 18th International Conference on VLSI Design held jointly with 4th …, 2005	29	2005
Formal verification of architectural power intent A Hazra, S Goyal, P Dasgupta, A Pal IEEE Transactions on Very Large Scale Integration (VLSI) Systems 21 (1), 78-91, 2012	27	2012
Multiobjective search in VLSI design P Dasgupta, P Mitra, PP Chakrabarti, SC DeSarkar Proceedings of 7th International Conference on VLSI Design, 395-400, 1994	27	1994
Feature indented assertions for analog and mixed-signal validation A Ain, AAB da Costa, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016	26	2016
Agent searching in a tree and the optimality of iterative deepening P Dasgupta, PP Chakrabarti, SC DeSarkar Artificial Intelligence 71 (1), 195-208, 1994	26*	1994
Quantified computation tree logic AC Patthak, I Bhattacharya, A Dasgupta, P Dasgupta, PP Chakrabarti Information processing letters 82 (3), 123-129, 2002	24	2002
Concurrent usage control implementation verification using the spin model checker PV Rajkumar, SK Ghosh, P Dasgupta Recent Trends in Network Security and Applications: Third International …, 2010	23	2010
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent A Hazra, S Mitra, P Dasgupta, A Pal, D Bagchi, K Guha Proceedings of the 47th Design Automation Conference, 773-776, 2010	22	2010
Design-intent coverage—A new paradigm for formal property verification P Basu, S Das, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006	21	2006
Multiobjective heuristic search in AND/OR graphs P Dasgupta, PP Chakrabarti, SC DeSarkar Journal of algorithms 20 (2), 282-311, 1996	21	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors