Pallab Dasgupta

Dikutip oleh

	Semua	Sejak 2020
Kutipan	2104	823
indeks-h	21	14
indeks-i10	68	20

200

100

150

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 5 8 4 12 5 16 24 29 28 28 47 29 49 58 86 56 104 105 83 83 122 83 80 83 136 123 155 192 179 38

Akses publik

Lihat semua

5 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Ansuman BanerjeeProfessor, Indian Statistical InstituteEmail yang diverifikasi di isical.ac.in
Aritra HazraDepartment of Computer Science and Engineering, IIT KharagpurEmail yang diverifikasi di cse.iitkgp.ac.in
soumyajit deyAssistant Professor, Computer Science, IIT KharagpurEmail yang diverifikasi di cse.iitkgp.ernet.in
Soumya K. GhoshIndian Institute of Technology Kharagpur, IndiaEmail yang diverifikasi di cse.iitkgp.ac.in
Debdeep MukhopadhyayProfessor, Dept of Computer Science and Engineering, IIT Kharagpur, IndiaEmail yang diverifikasi di cse.iitkgp.ac.in
Subhankar MukherjeeSoftware Architect, Cadence Design Systems, Inc.Email yang diverifikasi di cadence.com
Antara AinIndian Institute of Technology KharagpurEmail yang diverifikasi di atdc.iitkgp.ernet.in
Padmalochan BeraAssociate Professor, Dept of Computer Science and EngineeringEmail yang diverifikasi di iitbbs.ac.in
Prasenjit BasuSamsung Research Institute, BangaloreEmail yang diverifikasi di samsung.com
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DEmail yang diverifikasi di iitbombay.org
RAJDEEP MUKHERJEEAmazonEmail yang diverifikasi di amazon.com
Sumana GhoshAssistant Professor, Indian Statistical Institute KolkataEmail yang diverifikasi di isical.ac.in
Siddhartha MukhopadhyayProfessor of Electrical Engineering, Indian Institute of Technology KharagpurEmail yang diverifikasi di ee.iitkgp.ac.in
Sudipa MandalPh.D student of Computer Science and Engineering Department, IIT KharagpurEmail yang diverifikasi di cse.iitkgp.ernet.in
Krothapalli Sreenivasa RaoProfessor, Department of Computer Science and Engineering, IIT KharagpurEmail yang diverifikasi di iitkgp.ac.in
Sikhar PatranabisIBM Research IndiaEmail yang diverifikasi di ibm.com
Dr Rajkumar P.V.University of Central MissouriEmail yang diverifikasi di ucmo.edu
Rajorshee RahaPrincipal Engineer - Mercedes Benz Research and Development India, PhD - IIT KharagpurEmail yang diverifikasi di cse.iitkgp.ernet.in
Jatindra Kumar DekaProfessor, CSE Department, IIT GuwahatiEmail yang diverifikasi di iitg.ernet.in
Subrat PandaIndian institute of Technology, KharagpurEmail yang diverifikasi di alumnimail.iitkgp.ac.in

Ikuti

Pallab Dasgupta

Indian Institute of Technology Kharagpur

Email yang diverifikasi di cse.iitkgp.ac.in - Beranda

Formal Methods Design Automation Artificial Intelligence


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	83	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	75	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	50	2010
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	45	2021
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
Expfault: An automated framework for exploitable fault characterization in block ciphers (revised version) S Saha, D Mukhopadhyay, P Dasgupta Cryptology ePrint Archive, 2018	44	2018
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
Agreement under faulty interfaces P Dasgupta Information Processing Letters 65 (3), 125-129, 1998	30	1998
Safe and Stable RL (S²RL) Driving Policies Using Control Barrier and Control Lyapunov Functions B Gangopadhyay, P Dasgupta, S Dey IEEE Transactions on Intelligent Vehicles 8 (2), 1889-1899, 2022	28	2022
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	28	2012
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	28	2005
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	25	2002
Automatic characterization of exploitable faults: A machine learning approach S Saha, D Jap, S Patranabis, D Mukhopadhyay, S Bhasin, P Dasgupta IEEE Transactions on Information Forensics and Security 14 (4), 954-968, 2018	23	2018
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
Multiobjective heuristic search in AND/OR graphs P Dasgupta, PP Chakrabarti, SC DeSarkar Journal of algorithms 20 (2), 282-311, 1996	23	1996

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama