팔로우
Pallab Dasgupta
제목
인용
인용
연도
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
752006
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
582019
A roadmap for formal property verification
P Dasgupta, P DasGupta
A Roadmap for Formal Property Verification, 217-241, 2006
562006
Multiobjective heuristic search
P Dasgupta, PP Chakrabarti, SC DeSarkar
Vieweg, Braunschweig/Wiesbaden, 1999
531999
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
442009
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
432010
Multiobjective heuristic search: An introduction to intelligent search methods for multicriteria optimization
P Dasgupta, PP Chakrabarti, SC DeSarkar
Springer Science & Business Media, 1999
411999
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
332018
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
292005
Agreement under faulty interfaces
P Dasgupta
Information Processing Letters 65 (3), 125-129, 1998
291998
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
282012
Multiobjective search in VLSI design
P Dasgupta, P Mitra, PP Chakrabarti, SC DeSarkar
Proceedings of 7th International Conference on VLSI Design, 395-400, 1994
261994
Agent searching in a tree and the optimality of iterative deepening
P Dasgupta, PP Chakrabarti, SC DeSarkar
Artificial Intelligence 71 (1), 195-208, 1994
25*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
242016
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
232021
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
232010
Quantified computation tree logic
AC Patthak, I Bhattacharya, A Dasgupta, P Dasgupta, PP Chakrabarti
Information processing letters 82 (3), 123-129, 2002
232002
Multiobjective heuristic search in AND/OR graphs
P Dasgupta, PP Chakrabarti, SC DeSarkar
Journal of algorithms 20 (2), 282-311, 1996
231996
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
222006
Formal verification of security policy implementations in enterprise networks
P Bera, SK Ghosh, P Dasgupta
Information Systems Security: 5th International Conference, ICISS 2009 …, 2009
202009
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20