P. P. Chakrabarti

发表

Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection

Satya Gautam Vadlamudi, P. P. Chakrabarti, 2014, IEEE Transactions on Dependable and Secure Computing.

Post-compilation optimization for multiple gains with pattern matching

P. P. Chakrabarti, Amit Gupta, Rajeev Kumar, 2005, SIGP.

Simulation Based Verification using Temporally Attributed Boolean Logic

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).

A new approach for factorizing FSM's

P. P. Chakrabarti, Chunduri Rama Mohan, 1994, ICCAD '94.

A design space exploration scheme for data-path synthesis

Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose, 1999, IEEE Trans. Very Large Scale Integr. Syst..

Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips

Krishnendu Chakrabarty, P. P. Chakrabarti, Sudip Roy, 2019, ASP-DAC.

BUSpec: A framework for generation of verification aids for standard bus protocol specifications

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2007, Integr..

Anytime Contract Search

Satya Gautam Vadlamudi, P. P. Chakrabarti, Sunandita Patra, 2013, SGAI Conf..

Bounded delay timing analysis and power estimation using SAT

Pallab Dasgupta, P. P. Chakrabarti, Suchismita Roy, 2010, Microelectron. J..

A dynamic assertion-based verification platform for validation of UML designs

Sayak Ray, Ansuman Banerjee, Pallab Dasgupta, 2012, SOEN.

A Simple 0.5-Bounded Greedy Algorithm for the 0/1 Knapsack Problem

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1992, Inf. Process. Lett..

A model-based hybrid evolutionary algorithm for fast yield-inclusive design space exploration of analog circuits

Amit Patra, P. P. Chakrabarti, Abhishek Somani, 2006, 2006 IEEE International Symposium on Circuits and Systems.

A new approach to synthesis of PLA-based FSM's

P. P. Chakrabarti, Chunduri Rama Mohan, 1994, Proceedings of 7th International Conference on VLSI Design.

Thermal analysis of multiprocessor SoC applications by simulation and verification

P. P. Chakrabarti, Rajeev Kumar, Dipankar Das, 2010, TODE.

Searching Game Trees under a Partial Order

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1996, Artif. Intell..

Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips

Krishnendu Chakrabarty, P. P. Chakrabarti, Sudip Roy, 2015, TODE.

Inline Assertions - Embedding Formal Properties in a Test Bench

Pallab Dasgupta, P. P. Chakrabarti, Priyankar Ghosh, 2009, 2009 22nd International Conference on VLSI Design.

A hierarchical cost tree mutation approach to optimization of analog circuits

Amit Patra, P. P. Chakrabarti, Abhishek Somani, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Combining State Assignment with PLA Folding

P. P. Chakrabarti, Chunduri Rama Mohan, Sujoy Ghose, 1993, The Sixth International Conference on VLSI Design.

Migration Aware Low Overhead ERfair Scheduler

Arnab Sarkar, P. P. Chakrabarti, Anshuman Tripathi, 2017, 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID).

Demand-driven mixture preparation and droplet streaming using digital microfluidic biochips

Krishnendu Chakrabarty, P. P. Chakrabarti, Sudip Roy, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

Online Dynamic Voltage Scaling using Task Graph Mapping Analysis for Multiprocessors

P. P. Chakrabarti, Rajeev Kumar, Pravanjan Choudhury, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).

Open computation tree logic for formal verification of modules

Pallab Dasgupta, P. P. Chakrabarti, Arindam Chakrabarti, 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.

Agent Searching in a Tree and the Optimality of Iterative Deepening

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1994, J. Int. Comput. Games Assoc..

Anytime Pack Heuristic Search

Satya Gautam Vadlamudi, P. P. Chakrabarti, Sandip Aine, 2013, PReMI.

An analysis of breadth-first beam search using uniform cost trees

P. P. Chakrabarti, Sandip Aine, 2010, ISAIM.

Algorithms for On-Chip Solution Preparation Using Digital Microfluidic Biochips

P. P. Chakrabarti, Sudip Roy, Bhargab B. Bhattacharya, 2012, 2012 IEEE Computer Society Annual Symposium on VLSI.

Abstraction of word-level linear arithmetic functions from bit-level component descriptions

Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

Controlling state explosion in static simulation by selective composition

Shuvendu K. Lahiri, Pallab Dasgupta, Partha Pratim Das, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

An efficiently checkable subset of TCTL for formal verification of transition systems with delays

Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures

Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti, 2004, IWDC.

A framework for systematic validation and debugging of pipeline simulators

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2005, TODE.

Cohesive Coverage Management for Simulation and Formal Property Verification

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2008, 2008 IEEE Computer Society Annual Symposium on VLSI.

Open computation tree logic with fairness

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..

An Automated Meta-Level Control Framework for Optimizing the Quality–Time Tradeoff of VLSI Algorithms

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A new approach to timing analysis using event propagation and temporal logic

Chittaranjan A. Mandal, P. P. Chakrabarti, Arijit Mondal, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Learning while solving problems in best first search

Sudeshna Sarkar, P. P. Chakrabarti, Sujoy Ghose, 1998, IEEE Trans. Syst. Man Cybern. Part A.

Hardware accelerated constrained random test generation

Pallab Dasgupta, P. P. Chakrabarti, Kaushik De, 2007, IET Comput. Digit. Tech..

Complexity of Scheduling in High Level Synthesis

Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose, 1998, VLSI Design.

Panel Discussion: SoC Realization - A Bridge to New Horizons or a Bridge to Nowhere?

Seer Akademi, P. P. Chakrabarti, Sathyam K. Pattanam, 2012, VLSI Design.

Algorithms for Searching Explicit AND/OR Graphs and their Applications to Problem Reduction Search

P. P. Chakrabarti, 1994, Artif. Intell..

Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures

Debdeep Mukhopadhyay, Sikhar Patranabis, P. P. Chakrabarti, 2015, IACR Cryptol. ePrint Arch..

SAT based solutions for consistency problems in formal property specifications for open systems

Pallab Dasgupta, P. P. Chakrabarti, Suchismita Roy, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

A synthesis system for analog circuits based on evolutionary search and topological reuse

P. P. Chakrabarti, Partha Ray, Tathagato Rai Dastidar, 2005, IEEE Transactions on Evolutionary Computation.

Partial Precedence Constrained Scheduling

P. P. Chakrabarti, P. Chakrabarti, 1999, IEEE Trans. Computers.

Formal verification of circuits and systems

P. P. Chakrabarti, 2002 .

Agent Searching in a Tree and the Optimality of Iterative Deepening

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1994, Artif. Intell..

What lies between Design Intent Coverage and Model Checking?

Pallab Dasgupta, P. P. Chakrabarti, Prasenjit Basu, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Auxiliary state machines + context-triggered properties in verification

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2008, TODE.

Instruction-set-extension exploration using decomposable heuristic search

Pallab Dasgupta, P. P. Chakrabarti, Samik Das, 2006, 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06).

Distance functions in digital geometry

Partha Pratim Das, P. P. Chakrabarti, Biswanath N. Chatterji, 1987, Inf. Sci..

Dictionary based code compression for variable length instruction encodings

P. P. Chakrabarti, Rajeev Kumar, Dipankar Das, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Quantified Computation Tree Logic

Anirban Dasgupta, Pallab Dasgupta, P. P. Chakrabarti, 2002, Inf. Process. Lett..

A framework for early stage quality-fault tolerance analysis of embedded control systems

Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).

A verification system for transient response of analog circuits using model checking

P. P. Chakrabarti, Tathagato Rai Dastidar, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Adaptive Control of Anytime Algorithm Parameters

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2005, IICAI.

Simulation Based Verification using Temporally Attributed Boolean Logic

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2007, VLSI Design.

Execution Ordering in AND/OR Graphs with Failure Probabilities

Pallab Dasgupta, P. P. Chakrabarti, Priyankar Ghosh, 2012, SOCS.

A General Best First Search Algorithm in AND/OR Graphs

P. P. Chakrabarti, Sujoy Ghose, 1992, J. Algorithms.

A Framework for Learning in Search-Based Systems

Sudeshna Sarkar, P. P. Chakrabarti, Sujoy Ghose, 1998, IEEE Trans. Knowl. Data Eng..

Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors

P. P. Chakrabarti, Rajeev Kumar, Pravanjan Choudhury, 2012, IEEE Transactions on Parallel and Distributed Systems.

Incremental Beam search

Satya Gautam Vadlamudi, P. P. Chakrabarti, Sandip Aine, 2013, Inf. Process. Lett..

Anytime pack search

Satya Gautam Vadlamudi, P. P. Chakrabarti, Sandip Aine, 2015, Natural Computing.

Abstractions for model checking of event timings

Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, 2001, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).

Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults

Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, 2012, 2012 International Symposium on Electronic System Design (ISED).

HEURISTIC SEARCH UNDER CONTRACT

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2010, Comput. Intell..

Contract Search: Heuristic Search under Node Expansion Constraints

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2010, ECAI.

Anytime Algorithms for Biobjective Heuristic Search

Pallab Dasgupta, P. P. Chakrabarti, Priyankar Ghosh, 2012, Australasian Conference on Artificial Intelligence.

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow

Pallab Dasgupta, Samarjit Chakraborty, Martin Becker, 2015, 2015 Asia-Pacific Software Engineering Conference (APSEC).

Multiobjective Genetic Search for Spanning Tree Problem

P. P. Chakrabarti, Rajeev Kumar, Pramod Kumar Singh, 2004, ICONIP.

Timing analysis of tree-like RLC circuits

Chittaranjan A. Mandal, Abhishek Das, P. P. Chakrabarti, 2002, 2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353).

Robust embedded software design through early analysis of quality faults

P. P. Chakrabarti, Dipankar Das, Purnendu Sinha, 2011, ISEC.

The BUSpec platform for automated generation of verification aids for standard bus protocols

Pallab Dasgupta, P. P. Chakrabarti, Bhaskar Pal, 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

Heuristic Search Through Islands

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1986, Artif. Intell..

Increasing Search Efficiency Using Multiple Heuristics

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1989, Inf. Process. Lett..

Exploiting isomorphism for compaction and faster simulation of binary decision diagrams

Pallab Dasgupta, P. P. Chakrabarti, Pankaj Chauhan, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

Synthesis of System Verilog Assertions

Pallab Dasgupta, P. P. Chakrabarti, Sayantan Das, 2006, Proceedings of the Design Automation & Test in Europe Conference.

A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1995, FSTTCS.

An Adaptive Framework for Solving Multiple Hard Problems Under Time Constraints

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2005, CIS.

Design-Intent Coverage - A New Paradigm for Formal Property Verification

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2006, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Formal assessment of reliability specifications in embedded cyber-physical systems

Pallab Dasgupta, P. P. Chakrabarti, Aritra Hazra, 2016, J. Appl. Log..

Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1991, Artif. Intell..

Generalized distances in digital geometry

Partha Pratim Das, P. P. Chakrabarti, Biswanath N. Chatterji, 1987, Inf. Sci..

Ordered Solution Generation for Implicit AND/OR Search Spaces

Pallab Dasgupta, P. P. Chakrabarti, Priyankar Ghosh, 2013, PReMI.

A New algorithm for combined PLA folding

P. P. Chakrabarti, Chunduri Rama Mohan, Sujoy Ghose, 1992, The Fifth International Conference on VLSI Design.

Interconnect Optimization Techniques in Data Path Synthesis

Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose, 1992, The Fifth International Conference on VLSI Design.

Satisfiability Models for Maximum Transition Power

Pallab Dasgupta, P. P. Chakrabarti, Suchismita Roy, 2008, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis

Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).

A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening"

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1995, Artif. Intell..

AWA* - A Window Constrained Anytime Heuristic Search Algorithm

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2007, IJCAI.

Mixing global and local competition in genetic optimization based design space exploration of analog circuits

Amit Patra, P. P. Chakrabarti, Abhishek Somani, 2005, Design, Automation and Test in Europe.

Distributed Evolutionary Algorithm Search for Multiobjective Spanning Tree Problem

P. P. Chakrabarti, Rajeev Kumar, Pramod Kumar Singh, 2004, IWDC.

Routing-aware resource allocation for mixture preparation in digital microfluidic biochips

Krishnendu Chakrabarty, P. P. Chakrabarti, Sudip Roy, 2013, 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Pruning by Upperbounds in Heuristic Search: Use of Approximate Algorithms

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1989, KBCS.

Accelerating Synchronous Sequential Circuits Using an Adaptive Clock

Pallab Dasgupta, P. P. Chakrabarti, Arijit Mondal, 2010, 2010 23rd International Conference on VLSI Design.

Improved Quality of Solutions for Multiobjective Spanning Tree Problem Using Distributed Evolutionary Algorithm

P. P. Chakrabarti, Rajeev Kumar, Pramod Kumar Singh, 2004, HiPC.

Frame based fair multiprocessor scheduler: a fast fair algorithm for real-time embedded systems

Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar, 2006, 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06).

Solving multiple processor and multiple resource constrained scheduling problems using a genetic algorithm approach

P. P. Chakrabarti, S. A. Hussain, V. U. K. Sastry, 2000, Int. J. Comput. Math..

Heuristic Search in Restricted Memory

P. P. Chakrabarti, Arup Acharya, Sujoy Ghose, 1989, Artif. Intell..

A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems

Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose, 2011, IEEE Embedded Systems Letters.

Joint Seat Allocation 2018: An algorithmic perspective pdf

Yashodhan Kanoria, P. P. Chakrabarti, Sharat Chandran, 2019, ArXiv.

Statistical static timing analysis using symbolic event propagation

Pallab Dasgupta, P. P. Chakrabarti, Arijit Mondal, 2007, IET Circuits Devices Syst..

Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks

Amit Patra, P. P. Chakrabarti, Dipankar Das, 2013, 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems.

Cohesive Coverage Management: Simulation Meets Formal Methods

Pallab Dasgupta, P. P. Chakrabarti, Priyankar Ghosh, 2012, J. Electron. Test..

Handling fault detection latencies in automata-based scheduling for embedded control software

Pallab Dasgupta, P. P. Chakrabarti, Aritra Hazra, 2013, 2013 IEEE Conference on Computer Aided Control System Design (CACSD).

Sticky-ERfair: a task-processor affinity aware proportional fair scheduler

Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose, 2011, Real-Time Systems.

Combined optimization of area and testability during state assignment of PLA-based FSM's

P. P. Chakrabarti, Chunduri Rama Mohan, 1995, Proceedings of the 8th International Conference on VLSI Design.

Multiobjektive Heuristic Search in AND/OR Graphs

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1996, J. Algorithms.

Discovering the input assumptions in specification refinement coverage

Pallab Dasgupta, P. P. Chakrabarti, Prasenjit Basu, 2006, Asia and South Pacific Conference on Design Automation, 2006..

New Approaches to Design and Control of Time Limited Search Algorithms

P. P. Chakrabarti, Sandip Aine, P. Chakrabarti, 2009, PReMI.

Demand-Driven Single- and Multitarget Mixture Preparation Using Digital Microfluidic Biochips

Krishnendu Chakrabarty, P. P. Chakrabarti, Sudip Roy, 2018, ACM Trans. Design Autom. Electr. Syst..

Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips

Krishnendu Chakrabarty, P. P. Chakrabarti, Sudip Roy, 2015, Integr..

GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths

Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose, 2000, IEEE Trans. Very Large Scale Integr. Syst..

$\hbox{MAWA}^{\ast}$—A Memory-Bounded Anytime Heuristic-Search Algorithm

Satya Gautam Vadlamudi, P. P. Chakrabarti, Sandip Aine, 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

Bounded Delay Timing Analysis Using Boolean Satisfiability

Pallab Dasgupta, P. P. Chakrabarti, Suchismita Roy, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).

Coverage Management with Inline Assertions and Formal Test Points

Pallab Dasgupta, P. P. Chakrabarti, Priyankar Ghosh, 2010, 2010 23rd International Conference on VLSI Design.

SAT based timing analysis for fixed and rise/fall gate delay models

Pallab Dasgupta, P. P. Chakrabarti, Suchismita Roy, 2012, Integr..

A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

Sayak Ray, Ansuman Banerjee, Pallab Dasgupta, 2008, ATVA.

A Branching Time Temporal Framework for Quantitative Reasoning

Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti, 2004, Journal of Automated Reasoning.

Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults

Pallab Dasgupta, P. P. Chakrabarti, Arijit Mondal, 2012, TODE.

A verification system for transient response of analog circuits using model checking

P. P. Chakrabarti, Tathagato Rai Dastidar, T. R. Dastidar, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Formal verification of modules under real time environment constraints

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2004, 17th International Conference on VLSI Design. Proceedings..

EARTH: combined state assignment of PLA-based FSM's targeting area and testability

P. P. Chakrabarti, Chunduri Rama Mohan, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A New Competitive Algorithm for Agent Searching in Unknown Streets

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1996, FSTTCS.

A Corrigendum to: “Sticky-ERfair: a task-processor affinity aware proportional fair scheduler”

Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose, 2011, Real-Time Systems.

Generalized best first search using single and multiple heuristics

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1992, Inf. Sci..

Formal verification coverage: computing the coverage gap between temporal specifications

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Property refinement techniques for enhancing coverage of formal property verification

Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, 2004, 17th International Conference on VLSI Design. Proceedings..

Anytime Algorithms for Mining Groups with Maximum Coverage

Sudeshna Sarkar, Satya Gautam Vadlamudi, P. P. Chakrabarti, 2012, AusDM.

Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications

P. P. Chakrabarti, Rajeev Kumar, Dipankar Das, 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

Formal verification of module interfaces against real time specifications

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2002, DAC '02.

Agent Search in Uniform b-Ary Trees: Multiple Goals and Unequal Costs

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1996, Inf. Process. Lett..

Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic

P. P. Chakrabarti, Arijit Mondal, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Functional verification of task partitioning for multiprocessor embedded systems

P. P. Chakrabarti, Rajeev Kumar, Dipankar Das, 2007, TODE.

Design intent coverage revisited

Pallab Dasgupta, P. P. Chakrabarti, Arnab Sinha, 2009, TODE.

Utility of Pathmax in Partial Order Heuristic Search

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1995, Inf. Process. Lett..

Improving the performance of CAD optimization algorithms using on-line meta-level control

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2006, 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06).

ERfair Scheduler with Processor Shutdown

Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose, 2009, 2009 International Conference on High Performance Computing (HiPC).

Effective Use of Memory in Iterative Deepening Search

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1992, Inf. Process. Lett..

Searching Game Trees under a Partial Order

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1996, Artif. Intell..

Multiobjective search in VLSI design

Pallab Dasgupta, P. P. Chakrabarti, Prasenjit Mitra, 1994, Proceedings of 7th International Conference on VLSI Design.

Event propagation for accurate circuit delay calculation using SAT

Pallab Dasgupta, P. P. Chakrabarti, Suchismita Roy, 2008, TODE.

Best first search in and/or graphs

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1988, CSC '88.

Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization

Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar, 1999, Computational intelligence.

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications

Pallab Dasgupta, Satya Gautam Vadlamudi, P. P. Chakrabarti, 2013, IEEE Embedded Systems Letters.

Synthesis of sampling modes for adaptive control

Pallab Dasgupta, P. P. Chakrabarti, Akash Mondal, 2014, 2014 IEEE International Conference on Control System, Computing and Engineering (ICCSCE 2014).

Allocation and binding in data path synthesis using a genetic algorithm approach

Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose, 1996, Proceedings of 9th International Conference on VLSI Design.

Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques

Wolfgang Bibel, Pallab Dasgupta, P. P. Chakrabarti, 2002, IEEE Trans. Knowl. Data Eng..

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract

Pallab Dasgupta, Amit Sharma, P. P. Chakrabarti, 2012, IJCAI.

Partition oriented frame based fair scheduler

Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose, 2010, J. Parallel Distributed Comput..

Admissibility of A0* when Heuristics Overestimate

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1987, Artif. Intell..

An Evolutionary Algorithm-Based Approach to Automated Design of Analog and RF Circuits Using Adaptive Normalized Cost Functions

Amit Patra, P. P. Chakrabarti, Abhishek Somani, 2007, IEEE Transactions on Evolutionary Computation.

Multiobjective Heuristic Search

Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar, 1999, Computational Intelligence.

Min-max Computation Tree Logic

Sriram Sankaranarayanan, Pallab Dasgupta, P. P. Chakrabarti, 2001, Artif. Intell..

Anytime Column Search

Satya Gautam Vadlamudi, P. P. Chakrabarti, Sandip Aine, 2012, Australasian Conference on Artificial Intelligence.

Frame-Based Proportional Round-Robin

Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar, 2006, IEEE Transactions on Computers.

Increasing Search Efficiency Using Multiple Heuristics

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1989, Inf. Process. Lett..

Syntactic transformation of assume-guarantee assertions: from sub-modules to modules

Pallab Dasgupta, P. P. Chakrabarti, Prasenjit Basu, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Formal methods for analyzing the completeness of an assertion suite against a high-level fault model

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

Formal methods for checking realizability of coalitions in 3-party systems

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems

Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose, 2016, TODE.

Design space exploration for data path synthesis

Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose, 1997, Proceedings Tenth International Conference on VLSI Design.

Formal verification coverage: are the RTL-properties covering the design's architectural intent?

Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

A Framework for Estimating Peak Power in Gate-Level Circuits

Pallab Dasgupta, P. P. Chakrabarti, Arijit Mondal, 2006, PATMOS.

Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off

P. P. Chakrabarti, Rajeev Kumar, Sandip Aine, 2009, Appl. Soft Comput..

A Mobility Simulation Framework Of Humans With Group Behavior Modeling

Tridib Mukherjee, Sudeshna Sarkar, Satya Gautam Vadlamudi, 2013, 2013 IEEE 13th International Conference on Data Mining.

RELSPEC: a framework for reliability aware design of component based embedded systems

Satya Gautam Vadlamudi, P. P. Chakrabarti, Saurav Kumar Ghosh, 2017, Des. Autom. Embed. Syst..

Hybrid Scheduling of Dynamic Task Graphs with Selective Duplication for Multiprocessors under Memory and Time Constraints

P. P. Chakrabarti, Rajeev Kumar, Pravanjan Choudhury, 2008, IEEE Transactions on Parallel and Distributed Systems.

Multiobjective EA Approach for Improved Quality of Solutions for Spanning Tree Problem

P. P. Chakrabarti, Rajeev Kumar, Pramod Kumar Singh, 2005, EMO.

Improving Greedy Algorithms by Lookahead-Search

P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar, 1994, J. Algorithms.

Model checking on timed-event structures

Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Qualitative Description of Three-Dimensional Scenes

Prabir Kumar Biswas, P. P. Chakrabarti, Jayanta Mukherjee, 1992, Int. J. Pattern Recognit. Artif. Intell..

Timing Analysis of Sequential Circuits Using Symbolic Event Propagation

Pallab Dasgupta, P. P. Chakrabarti, Arijit Mondal, 2007, 2007 International Conference on Computing: Theory and Applications (ICCTA'07).

Scenario-based timing verification of multiprocessor embedded applications

P. P. Chakrabarti, Rajeev Kumar, Dipankar Das, 2009, TODE.

SystemC Modeling and Validation of A RISC Processor System

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2006, FDL.

Multi-mode Sampling Period Selection for Embedded Real Time Control pdf

Pallab Dasgupta, P. P. Chakrabarti, Soumyajit Dey, 2015, ArXiv.

A Method-based Whole-Program Watermarking Scheme For Java Class Files

P. P. Chakrabarti, Rajeev Kumar, Anshuman Mishra, .