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
652006
A roadmap for formal property verification
P Dasgupta
A Roadmap for Formal Property Verification, 217-241, 2006
582006
Multiobjective heuristic search
P Dasgupta, PP Chakrabarti, SC DeSarkar
Vieweg, Braunschweig/Wiesbaden, 1999
541999
Public economics in an age of austerity
T Atkinson
Routledge, 2014
462014
Multiobjective heuristic search: An introduction to intelligent search methods for multicriteria optimization
P Dasgupta, PP Chakrabarti, SC DeSarkar
Springer Science & Business Media, 2013
402013
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
402009
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
302010
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
282005
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
262012
Agreement under faulty interfaces
P Dasgupta
Information Processing Letters 65 (3), 125-129, 1998
251998
Multiobjective heuristic search in AND/OR graphs
P Dasgupta, PP Chakrabarti, SC DeSarkar
Journal of algorithms 20 (2), 282-311, 1996
231996
Agent searching in a tree and the optimality of iterative deepening
P Dasgupta, PP Chakrabarti, SC DeSarkar
Artificial Intelligence 71 (1), 195-208, 1994
231994
Multiobjective search in VLSI design
P Dasgupta, P Mitra, PP Chakrabarti, SC DeSarkar
Proceedings of 7th International Conference on VLSI Design, 395-400, 1994
231994
Quantified computation tree logic
AC Patthak, I Bhattacharya, A Dasgupta, P Dasgupta, PP Chakrabarti
Information processing letters 82 (3), 123-129, 2002
222002
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
212016
Formal verification of security policy implementations in enterprise networks
P Bera, SK Ghosh, P Dasgupta
International Conference on Information Systems Security, 117-131, 2009
212009
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
202010
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
V_THR: an adaptive load balancing algorithm
P Dasgupta, AK Majumder, P Bhattacharya
Journal of Parallel and Distributed Computing 42 (2), 101-108, 1997
191997
Utility of pathmax in partial order heuristic search
P Dasgupta, PP Chakrabarti, SC DeSarkar
Information processing letters 55 (6), 317-322, 1995
181995
The system can't perform the operation now. Try again later.
Articles 1–20