Pallab Dasgupta
Titel
Geciteerd door
Geciteerd door
Jaar
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
592006
A roadmap for formal property verification
P Dasgupta
A Roadmap for Formal Property Verification, 217-241, 2006
532006
Multiobjective heuristic search
P Dasgupta, PP Chakrabarti, SC DeSarkar
Vieweg, Braunschweig/Wiesbaden, 1999
521999
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
372009
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
272010
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
252005
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
241996
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
232012
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
202002
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
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
182010
Formal verification of security policy implementations in enterprise networks
P Bera, SK Ghosh, P Dasgupta
International Conference on Information Systems Security, 117-131, 2009
182009
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
182006
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
172016
Utility of pathmax in partial order heuristic search
P Dasgupta, PP Chakrabarti, SC DeSarkar
Information Processing Letters 55 (6), 317-322, 1995
171995
Formal verification coverage: computing the coverage gap between temporal specifications
A Das, P Basu, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ...
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004
162004
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20