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
682006
A roadmap for formal property verification
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
521999
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
422009
Multiobjective heuristic search: An introduction to intelligent search methods for multicriteria optimization
P Dasgupta, PP Chakrabarti, SC DeSarkar
Springer Science & Business Media, 1999
421999
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
392010
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
312019
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
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
272012
Agreement under faulty interfaces
P Dasgupta
Information Processing Letters 65 (3), 125-129, 1998
261998
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
252018
Quantified computation tree logic
AC Patthak, I Bhattacharya, A Dasgupta, P Dasgupta, PP Chakrabarti
Information processing letters 82 (3), 123-129, 2002
242002
Multiobjective search in VLSI design
P Dasgupta, P Mitra, PP Chakrabarti, SC DeSarkar
Proceedings of 7th International Conference on VLSI Design, 395-400, 1994
241994
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
Agent searching in a tree and the optimality of iterative deepening
P Dasgupta, PP Chakrabarti, SC DeSarkar
Artificial Intelligence 71 (1), 195-208, 1994
23*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
222016
V_THR: An adaptive load balancing algorithm
P Dasgupta, AK Majumder, P Bhattacharya
Journal of Parallel and Distributed Computing 42 (2), 101-108, 1997
221997
Multiobjective heuristic search in AND/OR graphs
P Dasgupta, PP Chakrabarti, SC DeSarkar
Journal of algorithms 20 (2), 282-311, 1996
211996
Formal verification of security policy implementations in enterprise networks
P Bera, SK Ghosh, P Dasgupta
International Conference on Information Systems Security, 117-131, 2009
202009
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
202006
The system can't perform the operation now. Try again later.
Articles 1–20