Pallab Dasgupta

Citado por

	Total	Desde 2020
Citas	2073	800
Índice h	21	13
Índice i10	67	19

200

100

150

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 5 5 4 13 5 16 24 29 27 28 47 29 49 57 84 57 102 109 83 80 121 85 76 84 131 118 154 189 188 20

Acceso público

Ver todo

5 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ansuman BanerjeeProfessor, Indian Statistical InstituteDirección de correo verificada de isical.ac.in
Aritra HazraDepartment of Computer Science and Engineering, IIT KharagpurDirección de correo verificada de cse.iitkgp.ac.in
soumyajit deyAssistant Professor, Computer Science, IIT KharagpurDirección de correo verificada de cse.iitkgp.ernet.in
Soumya K. GhoshIndian Institute of Technology Kharagpur, IndiaDirección de correo verificada de cse.iitkgp.ac.in
Debdeep MukhopadhyayProfessor, Dept of Computer Science and Engineering, IIT Kharagpur, IndiaDirección de correo verificada de cse.iitkgp.ac.in
Subhankar MukherjeeSoftware Architect, Cadence Design Systems, Inc.Dirección de correo verificada de cadence.com
Antara AinIndian Institute of Technology KharagpurDirección de correo verificada de atdc.iitkgp.ernet.in
Padmalochan BeraAssociate Professor, Dept of Computer Science and EngineeringDirección de correo verificada de iitbbs.ac.in
Prasenjit BasuSamsung Research Institute, BangaloreDirección de correo verificada de samsung.com
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DDirección de correo verificada de iitbombay.org
RAJDEEP MUKHERJEEAmazonDirección de correo verificada de amazon.com
Sumana GhoshAssistant Professor, Indian Statistical Institute KolkataDirección de correo verificada de isical.ac.in
Sudipa MandalPh.D student of Computer Science and Engineering Department, IIT KharagpurDirección de correo verificada de cse.iitkgp.ernet.in
Siddhartha MukhopadhyayProfessor of Electrical Engineering, Indian Institute of Technology KharagpurDirección de correo verificada de ee.iitkgp.ac.in
Krothapalli Sreenivasa RaoProfessor, Department of Computer Science and Engineering, IIT KharagpurDirección de correo verificada de iitkgp.ac.in
Sikhar PatranabisIBM Research IndiaDirección de correo verificada de ibm.com
Dr Rajkumar P.V.University of Central MissouriDirección de correo verificada de ucmo.edu
Rajorshee RahaPrincipal Engineer - Mercedes Benz Research and Development India, PhD - IIT KharagpurDirección de correo verificada de cse.iitkgp.ernet.in
Jatindra Kumar DekaProfessor, CSE Department, IIT GuwahatiDirección de correo verificada de iitg.ernet.in
Subrat PandaIndian institute of Technology, KharagpurDirección de correo verificada de alumnimail.iitkgp.ac.in

Seguir

Pallab Dasgupta

Indian Institute of Technology Kharagpur

Dirección de correo verificada de cse.iitkgp.ac.in - Página principal

Formal Methods Design Automation Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	76	2019
A roadmap for formal property verification P Dasgupta, P DasGupta A Roadmap for Formal Property Verification, 217-241, 2006	60	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	48	2010
Multiobjective heuristic search: An introduction to intelligent search methods for multicriteria optimization P Dasgupta, PP Chakrabarti, SC DeSarkar Springer Science & Business Media, 1999	46	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	41	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	41	2018
Agreement under faulty interfaces P Dasgupta Information Processing Letters 65 (3), 125-129, 1998	33	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	28	2012
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	27	2022
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
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
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores