Follow
Pallab Dasgupta
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
772006
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
622019
A roadmap for formal property verification
P Dasgupta, P DasGupta
A Roadmap for Formal Property Verification, 217-241, 2006
572006
Multiobjective heuristic search
P Dasgupta, PP Chakrabarti, SC DeSarkar
Vieweg, Braunschweig/Wiesbaden, 1999
531999
Multiobjective heuristic search: An introduction to intelligent search methods for multicriteria optimization
P Dasgupta, PP Chakrabarti, SC DeSarkar
Springer Science & Business Media, 1999
451999
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
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
342018
Agreement under faulty interfaces
P Dasgupta
Information Processing Letters 65 (3), 125-129, 1998
311998
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
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
282021
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
271994
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
252016
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
Quantified computation tree logic
AC Patthak, I Bhattacharya, A Dasgupta, P Dasgupta, PP Chakrabarti
Information processing letters 82 (3), 123-129, 2002
242002
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
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
232010
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
The system can't perform the operation now. Try again later.
Articles 1–20