Pallab Dasgupta 个人学术档案

引用次数

	总计	2019 年至今
引用	1944	759
h 指数	20	13
i10 指数	57	17

200

100

150

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 5 5 4 13 5 16 24 29 27 28 47 29 49 57 84 57 102 109 81 82 120 81 77 84 130 116 146 187 96

开放获取的出版物数量

查看全部

5 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Ansuman BanerjeeProfessor, Indian Statistical Institute在 isical.ac.in 的电子邮件经过验证
Aritra HazraAssistant Professor, Department of Computer Science and Engineering, IIT Kharagpur在 cse.iitkgp.ac.in 的电子邮件经过验证
soumyajit deyAssistant Professor, Computer Science, IIT Kharagpur在 cse.iitkgp.ernet.in 的电子邮件经过验证
Soumya K. GhoshIndian Institute of Technology Kharagpur, India在 cse.iitkgp.ac.in 的电子邮件经过验证
Debdeep MukhopadhyayProfessor, Dept of Computer Science and Engineering, IIT Kharagpur, India在 cse.iitkgp.ac.in 的电子邮件经过验证
Antara AinIndian Institute of Technology Kharagpur在 atdc.iitkgp.ernet.in 的电子邮件经过验证
Subhankar MukherjeeSoftware Architect, Cadence Design Systems, Inc.在 cadence.com 的电子邮件经过验证
Padmalochan BeraAssistant Professor, School of Electrical Sciences and Computer Engineering在 iitbbs.ac.in 的电子邮件经过验证
Prasenjit BasuSamsung Research Institute, Bangalore在 samsung.com 的电子邮件经过验证
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D在 iitbombay.org 的电子邮件经过验证
RAJDEEP MUKHERJEEAmazon在 amazon.com 的电子邮件经过验证
Sumana GhoshAssistant Professor, Indian Statistical Institute Kolkata在 isical.ac.in 的电子邮件经过验证
Sudipa MandalPh.D student of Computer Science and Engineering Department, IIT Kharagpur在 cse.iitkgp.ernet.in 的电子邮件经过验证
Siddhartha MukhopadhyayProfessor of Electrical Engineering, Indian Institute of Technology Kharagpur在 ee.iitkgp.ac.in 的电子邮件经过验证
Krothapalli Sreenivasa RaoProfessor, Department of Computer Science and Engineering, IIT Kharagpur在 iitkgp.ac.in 的电子邮件经过验证
Rajorshee RahaSenior Technical Lead - Mercedes Benz Research and Development India, PhD - IIT Kharagpur在 cse.iitkgp.ernet.in 的电子邮件经过验证
Jatindra Kumar DekaProfessor, CSE Department, IIT Guwahati在 iitg.ernet.in 的电子邮件经过验证
Dr Rajkumar P.V.University of Central Missouri在 ucmo.edu 的电子邮件经过验证
Sikhar PatranabisIBM Research India在 ibm.com 的电子邮件经过验证
Subrat PandaIndian institute of Technology, Kharagpur在 alumnimail.iitkgp.ac.in 的电子邮件经过验证

关注

Pallab Dasgupta

Indian Institute of Technology Kharagpur

在 cse.iitkgp.ac.in 的电子邮件经过验证 - 首页

Formal Methods Design Automation Artificial Intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	79	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	67	2019
A roadmap for formal property verification P Dasgupta, P DasGupta A Roadmap for Formal Property Verification, 217-241, 2006	57	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	46	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
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	35	2018
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	32	2021
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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用