Computer Science and Engineering

• Shanti Swarup Bhatnagar Prize
• Swarnajayanti Fellowship
• INAE Young Engineer
• INSA Young Scientist Award
• President of India Gold Medal

Conferences
• Frontotemporal Dementia Detection Model based on Explainable Machine Learning Approach Poonam K., Guha R. , Chakrabarti P. P. By SIXTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE IN DATA SCIENCE 1-12 (2023)
• Automated Deep Learning Based Answer Generation to Psychometric Questionnaire: Mimicking Personality Traits Lahiri A., Raj S. , Mitra U. , Sen S. , Guha R. , Chakrabarti P. P., Mitra P. , Basu A. By ICAART 2023 (15th International Conference on Agents and Artificial Intelligence 737-743 (2023)
• Comparison of Target Prediction in VR and MR using Inverse Reinforcement Learning Mitra M., Pati P. , Sharma V. K., Raj S. , Chakrabarti P. P., Biswas P. By ACM IUI Companion 2023 55-58 (2023)
• Deep Learning-based Spatially Explicit Emulation of an Agent-Based Simulator for Pandemic in a City Mitra A., Chakrabarti P. P. By ACM AAMAS 1-2 (2023)
• SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems Dey S., Dasgupta P., Chakrabarti P.P. By IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops 2022-June 3598-3608 (2022)
• I m GROOT: a multi head multi GRaph netwOrk recognizing surgical actiOn Triplets Raviteja S., Sathish R. , Agrawal R. , De U. , Chakrabarti P. P., Sheet D. By Thirteenth Indian Conference on Computer Vision, Graphics and Image Processing 1-9 (2022)
• City-Scale Simulation of Covid-19 Pandemic Intervention Policies Using Agent-Based Modelling Suryawanshi G., Madhavan V., Mitra A., Chakrabarti P.P. By Proceedings - Winter Simulation Conference 2021-December 1-12 (2021)
• Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips Saha S., Kundu D. , Roy S. , Bhattacharjee S. , Chakrabarti K. , Chakrabarti P. P., Bhattacharya B. B. By ASP DAC 462-467 (2019)
• Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips Saha S., Kundu D., Roy S., Bhattacharjee S., Chakrabarty K., Chakrabarti P.P., Bhattacharya B.B. By Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC 499-505 (2019)
• Centralized admissions for engineering colleges in India Baswana S., Chakrabarti P.P., Chandran S., Kanoria Y., Patange U. By ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation 323-324 (2019)
• Centralized Admissions for Engineering Colleges in India Baswana S., Chakrabarti P. P., Chandran S. , Kanoria Y. , Patange U. By ACM Conference on Economics and Computation (EC 2019) 323-324 (2019)
• Demand-driven single- and multitarget mixture preparation using digital microfluidic biochips Shalu, Kumar S., Singla A., Roy S., Chakrabarty K., Chakrabarti P.P., Bhattacharya B.B. By ACM Transactions on Design Automation of Electronic Systems 23 - (2018)
• Migration Aware Low Overhead ERfair Scheduler Tripathi A., Sarkar A. , Chakrabarti P. P. By International Conference on VLSI Design 219-224 (2017)
• Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow Becker M., Mohamad S. , Albers K. , Chakrabarti P. P., Chakraborty S. , Dasgupta P. , Dey S. , Metta R. By ASPSEC 2015 385-392 (2015)
• Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures Patrababis S., Chakrabarti A. , Mukhopadhyay D. , Chakrabarti P. P. By IACR Cryptology - (2015)
• Synthesis of Sampling Modes for Adaptive Control Raha R., Hazra A. , Mondal A. , Dey S. , Chakrabarti P. P., Dasgupta P. By International Conference on Control System, Computing and Engineering - (2014)
• Synthesis of Sampling Modes for Adaptive Control Raha R., Hazra A. , Mondal A. , Dey S. , Chakrabarti P. P., Dasgupta P. By 4th IEEE International Conference on Control System, Computing and Engineering (ICCSCE) 294-299 (2014)
• Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips Roy S., Kumar S. , Chakrabarti P. P., Bhattacharya B. B., Chakraborty K. By Design Auromation Confereince (DAC) 1-6 (2014)
• Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software M S. P., Hazra A. , Dasgupta P. , Chakrabarti P. P. By Multi-Conference on Systems and Control (MSC) - (2013)
• Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software Prabhu M S., Hazra A. , Dasgupta P. , Chakrabarti P. P. By IEEE International Symposium on Computer-Aided Control System Design (CACSD) under IEEE Multi-Conference on Systems and Control (MSC) 1-6 (2013)
• Ordered Solution Generation for Implicit AND/OR Search Spaces Ghosh P., Chakrabarti P. P., Dasgupta P. By PReMI - (2013)
• Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures Ghosh P., Sharma A. , Chakrabarti P. P., Dasgupta P. By 23rd International Joint Conference on Artificial Intelligence (IJCAI) 3156-3160 (2013)
• A Mobility Simulation Framework Of Humans With Group Behavior Modeling Gupta A., Mishra A. , Vadlamudi S. , Chakrabarti P. P., Sarkar S. By Data Mining (ICDM), 2013 IEEE 13th International Conference on 1067-1072 (2013)
• Anytime Algorithms for Mining Groups with Maximum Coverage Vadlamudi S., Chakrabarti P. P., Sarkar S. By 10th Australasian Data Mining Conference 209-220 (2012)
• Execution Ordering in AND/OR Graphs with Failure Probabilities Ghosh P., Chakrabarti P. P., Dasgupta P. By 5th Annual Symposium on Combinatorial Search (SOCS) - (2012)
• Anytime Algorithms for Biobjective Heuristic Search Ghosh P., Chakrabarti P. P., Dasgupta P. By 25th Australasian Joint Conference on Artificial Intelligence - (2012)
• Coverage Management with Inline Assertions and Formal Test Points Hazra A., Ghosh P. , Dasgupta P. , Chakrabarti P. P. By 23rd International Conference on VLSI Designs (VLSID) 140-145 (2010)
• Accelerating Synchronous Sequential Circuits using an Adaptive Clock Mandal A., Chakrabarti P. P., Dasgupta P. By VLSI Design - (2010)
• Incremental Verification Techniques for an Updated Architectural Specification Mitra S., Ghosh P. , Dasgupta P. , Chakrabarti P. P. By INDICON - (2009)
• Inline Assertions -- Embedding Formal Properties in a Test Bench Hazra A., Ghosh P. , Dasgupta P. , Chakrabarti P. P. By 22nd International Conference on VLSI Designs (VLSID) 71-76 (2009)
• Cohesive Coverage Management for Simulation and Formal Property Verification Hazra A., Banerjee A. , Mitra S. , Dasgupta P. , Chakrabarti P. P., Mohan C. R. By IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 251-256 (2008)
• Dynamic Assertion-based Verification Platform for UML Statecharts over Rhapsody Banerjee A., Ray S. , Dasgupta P. , Chakrabarti P. P., Ramesh S. , Ganesan P. By Advanced Technology for Verification and Analysis (ATVA) 222-227 (2008)
• Quantified UML Collaboration Diagrams Worah P., Banerjee A. , Chakrabarti P. P., Dasgupta P. By VLSI Design and Test Symposium - (2008)
• A New Pseudo-Boolean Satisfiability based Approach to Power Mode Schedulabity Analysis Ray S., Dasgupta P. , Chakrabarti P. P. By VLSI Design - (2007)
• Bounded Delay Timing Analysis using Boolean Satisfiability Roy S., Chakrabarti P. P., Dasgupta P. By VLSI Design - (2007)
• On the realizability of specifications having auxiliary state machines and GR(1) LTL Banerjee A., Dasgupta P. , Chakrabarti P. P. By VDAT - (2007)
• Timing analysis of sequential circuits using symbolic event propagation Mandal A., Dasgupta P. , Chakrabarti P. P. By International Conference on Computing: Theory and Applications, Platinum Jubilee conference of ISI Kolkata - (2007)
• Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems Ray S., Dasgupta P. , Chakrabarti P. P. By INDICON 15-17 (2006)
• Instruction set extension exploration using Decomposable Heuristic Search Das S., Chakrabarti P. P., Dasgupta P. By VLSI Design - (2006)
• Property Driven Test Generation in Absence of Direct Interface Pal B., Dasgupta P. , Chakrabarti P. P. By INDICON 15-17 (2006)
• Synthesis of System Verilog Assertions Das S., Mohanty R. , Dasgupta P. , Chakrabarti P. P. By DATE 06 - (2006)
• What lies between Design Intent Coverage and Model checking? Das S., Basu P. , Dasgupta P. , Chakrabarti P. P. By DATE 06 - (2006)
• A Debugging Utility for Assertion-based Protocol Verification Pal B., Nandi A. , Dasgupta P. , Chakrabarti P. P. By EAIT - (2006)
• A framework for estimating peak power in gate-level circuits Chakrabarti D., Chakrabarti P. P., Mandal A. , Dasgupta P. By In International workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) - (2006)
• Automatic Test Generation for Temporal Coverage Points using a Stochastic Tree Model Nandi A., Pal B. , Dasgupta P. , Chakrabarti P. P. By VDAT - (2006)
• Detecting faults at the time they occur Kumar A., Das S. , Dasgupta P. , Chakrabarti P. P. By VDAT - (2006)
• Discovering input assumptions in specification refinement coverage Basu P., Das S. , Dasgupta P. , Chakrabarti P. P. By ASPDAC 06 - (2006)
• Exact method for estimating Expected Settling Power in Sequential Circuits Chakraborty D., Chakrabarti P. P., Dasgupta P. By VDAT - (2006)
• Bounded Model Checking for OpenLTL Roy S., Dasgupta P. , Chakrabarti P. P. By VDAT - (2005)
• Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model Das S., Banerjee A. , Basu P. , Dasgupta P. , Chakrabarti P. P., Mohan C. By VLSI 05 - (2005)
• H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions Nandi A., Pal B. , Chhetan N. , Dasgupta P. , Chakrabarti P. P. By INDICON - (2005)
• SAT based solutions for Consistency Problems in Formal Property Specifications for Open Systems Roy S., Basu P. , Das S. , Dasgupta P. , Chakrabarti P. P. By ICCAD 05 885-888 (2005)
• Scoreboard Directed Dynamic Constraint Modification for Higher Simulation Coverage Pal B., Nandi A. , Ray S. , Banerjee A. , Dasgupta P. , Chakrabarti P. P. By SNUG - (2005)
• Syntactic Transformation of Assume-Guarantee Assertions: From Sub-modules to Modules Basu P., Dasgupta P. , Chakrabarti P. P. By VLSI 05 - (2005)
• Syntax-driven Approximate Coverage Analysis for an Assertion Suite against a High-Level Fault Model Das S., Basu P. , Dasgupta P. , Chakrabarti P. P. By VDAT - (2005)
• Test Plan Coverage by Formal Property Verification Basu P., Das S. , Banerjee A. , Dasgupta P. , Chakrabarti P. P. By VDAT - (2005)
• Design Issues for Assertion-Based Verification IPs: The OVA Experience Banerjee A., Pal B. , Dasgupta P. , Chakrabarti P. P., Jha M. , Cerny E. By SNUG - (2004)
• Formal Verification Coverage: Are the RTL Properties Covering the Design's Architectural Intent? Basu P., Das S. , Dasgupta P. , Chakrabarti P. P., Mandal C. , Fix L. By DATE 2004 - (2004)
• Formal Verification Coverage: Computing the Coverage Gap between Temporal Specifications Das S., Basu P. , Banerjee A. , Dasgupta P. , Chakrabarti P. P., Mohan C. , Fix L. , Armoni R. By ICCAD 04 - (2004)
• Formal Verification of Modules under Real Time Environment Constraints Banerjee A., Dasgupta P. , Chakrabarti P. P. By VLSI, 2004 - (2004)
• Property Refinement Techniques for Enhancing Coverage of Formal Property Verification Basu P., Dasgupta P. , Chakrabarti P. P., Mohan C. R. By VLSI, 2004 - (2004)
• The BUSpec Platform for Automated Generation of Verification Aids for Standard Bus Protocols Pal B., Banerjee A. , Dasgupta P. , Chakrabarti P. P. By MEMOCODE 2004 - (2004)
• An Assertion-based Language for Generating Test Sequences for Complex Temporal Behavior Roy P., Dasgupta P. , Chakrabarti P. P. By VDAT - (2004)
• A Simulation Coverage Metric for Analyzing the Behavioral Coverage of an Assertion Based Verification IP Pal B., Banerjee A. , Chaitanya K. , Dasgupta P. , Chakrabarti P. P. By VDAT - (2004)
• Assertion-based Verification: Have I written Enough Properties? Banerjee A., Pal B. , Chaitanya K. , Dasgupta P. , Chakrabarti P. P., Jha M. By INDICON 04 - (2004)
• Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures Chatterjee K., Dasgupta P. , Chakrabarti P. P. By IWDC, 2004 102-113 (2004)
• Open Computation Tree Logic With Fairness Banerjee A., Dasgupta P. , Chakrabarti P. P. By International Symposium on Circuits and Systems (ISCAS) - (2003)
• Formal Verification of Module Interfaces against Real Time Specifications Chakrabarti A., Dasgupta P. , Chakrabarti P. P., Banerjee A. By Design Automation Conference (DAC) - (2002)
• Open Computation Tree Logic for Formal Verification of Modules Dasgupta P., Chakrabarti A. , Chakrabarti P. P. By Asia Pacific Design Automation Conference - (2002)
• Symbolic verification of boolean constraints over partially specified functions Sriram S., Tandon R. , Dasgupta P. , Chakrabarti P. P. By . IEEE International Symposium on Circuits and Systems (ISCAS 2001) - (2001)
• Verification of Concurrent Communicating Systems in Boolean SDL Pathak A., Bhattacharya I. , Dasgupta A. , Chakrabarti P. P., Dasgupta P. By Intell. Comput and VLSI - (2001)
• Weighted Quantified Computation Tree Logic Chatterjee K., Dasgupta P. , Chakrabarti P. P. By Conf. On Information Technology (CIT'01) - (2001)
• Abstraction of word-level linear arithmetic functions from bit-level component descriptions Dasgupta P., Chakrabarti P. P., Nandi A. , Krishna S. , Chakrabarti A. By Design Automation and Test in Europe (DATE) - (2001)
• Abstractions for Model Checking of Event Timings Deka J. K., Chaki S. , Dasgupta P. , Chakrabarti P. P. By IEEE International Symposium on Circuits and Systems (ISCAS 2001) - (2001)
• A comparative analysis of BDD-based and rule-based reachability problems for Cellular Automata Deka J. K., Dasgupta P. , Chakrabarti P. P. By ICCCD 2000 - (2000)
• Specification of Planning Goals in Branching Time Logics in Stochastic Systems Sarkar S., Chakrabarti P. P., Niyogi R. , Dasgupta P. By Knowledge Based Computer Systems (KBCS-2000) 422-433 (2000)
• An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays Deka J., Dasgupta P. , Chakrabarti P. P. By IEEE VLSI Design'99 294-299 (1999)
• Controlling State Explosion in Static Simulation by Selective Composition Chakrabarti P. P., Dasgupta P. , Das P. P., Roy A. , Lahiri S. , Bose M. By ACM/IEEE Int. Conf. on VLSI Design, 1999 - (1999)
• Exploiting isomorphism for compaction and faster simulation of binary decision diagrams Chauhan P., Dasgupta P. , Chakrabarti P. P. By IEEE VLSI Design'99 - (1999)
• A Heuristic Search approach to effectively solve Constraint Optimization Problems from Logical Specifications Dasgupta P., Chakrabarti P. P., Dey A. , Ghosh S. , Bibel W. By KBCS-98 39-49 (1998)
• A new competitive algorithm for Agent Searching in Unknown Streets Dasgupta P., Chakrabarti P. P., Desarkar S. By 16th FST & TCS conference 147-155 (1996)
• A near optimal strategy for the extended cow-path problem in the presence of relative errors Dasgupta P., Chakrabarti P. P., Desarkar S. By 15th FST & TCS conference 22-36 (1995)
• Game Tree Search under a Partial Order Dasgupta P., Chakrabarti P. P., Desarkar S. By 4th National Seminar on Theoretical Computer Science 40-52 (1995)
• Heuristic search using multiple objectives Dasgupta P., Chakrabarti P. P. By 3rd National Seminar on Theoretical Computer Science 352-364 (1994)
• Multiobjective Search in VLSI Design Dasgupta P., Mitra P. , Chakrabarti P. P. By 7th IEEE Int. Conf. on VLSI Design - (1994)
Journal
• Mixing Models as Integer Factorization: A Key to Sample Preparation with Microfluidic Biochips Kundu D., Roy S., Bhattacharjee S., Saha S., Chakrabarty K., Chakrabarti P.P., Bhattacharya B.B. By IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 558-570 (2022)
• Semisupervised Lexicon Generation Using Semantic Relations for Dream Content Analysis Guha R., Chakrabarti P. P., Sood P. , Brahma K. By Dreaming (APA) - (2022)
• National digital library of India: democratizing education in India Bhowmick P. K., Das P. P., Chakrabarti P. P., Sanyal D. K. By Communications of the ACM 65 58-61 (2022)
• Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability Guha R., Chakrabarti P. P., Poonam K. By arXiv preprint arXiv:2104.05235 - (2021)
• Resistive Analysis of Scattering-Dependent Electrical Transport in Single-Wall Carbon-Nanotube Networks Tripathy S., Bose B. , Chakrabarti P. P., Bhattacharyya T. K. By IEEE Transaction on Electron Devices 67 5676-5684 (2020)
• Centralized admissions for engineering colleges in India Baswana S., Chakrabarti P.P., Chandran S., Kanoria Y., Patange U. By Interfaces 49 338-354 (2019)
• Centralized Admissions for Engineering Colleges in India Baswana S., Chakrabarti P. P., Chandran S. , Kanoria Y. , Patange U. By Interfaces 49 338-354 (2019)
• Demand-Driven Single- and Multitarget Mixture Preparation Using Digital Microfluidic Biochips. Kumar S. S., Singla A. , Roy S. , Chakrabarti K. , Chakrabarti P. P., Bhattacharya B. B. By ACM Trans. Design Autom. Electr. Syst. 23 1-55 (2018)
• RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems Ghosh S. K., P V. , Vadlamudi S. G., Hazra A. , Dey S. , Chakrabarti P. P. By Design Automation for Embedded Systems (DAES) Journal 21 37-87 (2017)
• Fault Space Transformation: A Generic Approach to Counter Differential Fault Analysis and Differential Fault Intensity Analysis on AES-Like Block Ciphers Patranabis S., Chakraborty A. , Mukhopadhyay D. , Chakrabarti P. P. By IEEE Trans. Information Forensics and Security 12 1092-1102 (2017)
• ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems Nair P. P., Sarkar A. , Harsha N. M., Gandhi M. , Chakrabarti P. P., Ghose S. By ACM Transactions on Design Automation of Electronic Systems 22 1-19 (2016)
• ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems Nair P. P., Sarkar A. , Harsha N. M., Gandhi M. , Chakrabarti P. P., Ghose S. By ACM Transactions on Design Automation of Electronic Systems (ACM TODAES) 22 1-25 (2016)
• National Digital Library: A Platform for Paradigm Shift in Education & Research in India Das P. P., Bhowmick P. K., Sarkar S. , Sutradhar B. , Chattopadhyay S. , Basu A. , Ghosh S. K., Chattopadhyay N. G., Chakrabarti P. P. By Science and Culture 82 4-11 (2016)
• National Digital Library: Building a National Asset, Das P. P., Chakrabarti P. P., Bhowmick P. K., Sarkar S. By Yojana 60 19-23 (2016)
• Formal Assessment of Reliability Specifications in Embedded Cyber-Physical Systems Hazra A., Dasgupta P. , Chakrabarti P. P. By Journal of Applied Logic (JAL) 18 71-104 (2016)
• Anytime pack search Vadlamudi S. G., Aine S. , Chakrabarti P. P. By Natural Computing 15 395-414 (2016)
• Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Krishnendu Chakrabarty, Bhargab B. Bhattacharya By ACM Trans. Design Autom. Electr. Syst., 20(3) - (2015)
• Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips Roy S., Chakrabarti P. P., Chakrabarti K. , Bhattacharya B. B. By Integration 51 194-207 (2015)
• Robustness Analysis of Embedded Control Systems with respect to Signal Perturbations: Finding Minimal Counterexamples using Fault Injection S. G. Vadlamudi, P. P. Chakrabarti By IEEE Transactions on Dependable and Secure Computing (TDSC) 48-58 (2014)
• Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications Hazra A., Ghosh P. , Vadlamudi S. G., Chakrabarti P. P., Dasgupta P. By IEEE Embedded Systems Letters (ESL) 5 8-11 (2013)
• A dynamic assertion-based verification platform for validation of UML designs Banerjee A., Ray S. , Dasgupta P. , Chakrabarti P. P., Ramesh S. , Ganesan P. By ACM SIGSOFT Software Engineering Notes 37(1) 1-14 (2012)
• Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta By Journal of Artificial Intelligence Research 44 275-333 (2012)
• SAT based timing analysis for fixed and rise/fall gate delay models Roy S., Chakrabarti P. P., Dasgupta P. By Integration VLSI 40(4) 357-364 (2012)
• Symbolic event propagation based minimal test set generation for robust path delay faults Mondal A., Chakrabarti P. P., Dasgupta P. By ACM Transactions on Design Automation of Electronic Systems 17(4) - (2012)
• Cohesive Coverage Management: Simulation Meets Formal Methods Hazra A., Ghosh P. , Dasgupta P. , Chakrabarti P. P. By Journal of Electronic Testing: Theory and Applications (JETTA) 28 449-468 (2012)
• A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler" Sarkar A., Ghose S. , Chakrabarti P. P. By Real Time Systems Journal 47 382-385 (2011)
• A Low Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems Sarkar A., Shanker A. , Ghose S. , Chakrabarti P. P. By IEEE Embedded Systems Letters 3 5-8 (2011)
• Sticky-ERfair: A Task-Processor Affinity Aware Proportional Fair Scheduler Sarkar A., Ghose S. , Chakrabarti P. P. By Real Time Systems Journal 47 356-377 (2011)
• Partition Oriented Frame-Based Fair Scheduler Sarkar A., Chakrabarti P. P., Ghose S. By Journal of Parallel and Distributed Computing 70 707-718 (2010)
• Bounded Delay Timing Analysis and Power Estimation using SAT Roy S., Chakrabarti P. P., Dasgupta P. By Microelectronics Journal 41 (5) 317-324 (2010)
• Design Intent Coverage Revisited Sinha A., Dasgupta P. , Pal B. , Das S. , Basu P. , Chakrabarti P. P. By ACM Transactions on Design Automation of Electronic Systems 14 (1) 1-32 (2009)
• Satisfiability Models for Maximum Transition Power Roy S., Chakrabarti P. P., Dasgupta P. By IEEE Transactions on VLSI Systems 16(8) 941-951 (2008)
• Auxiliary state machines + context triggered properties in verification Banerjee A., Dasgupta P. , Chakrabarti P. P. By ACM Transactions on Design Automation of Electronic Systems 13 1-31 (2008)
• BUSpec: A framework for generation of verification aids for Standard Bus Protocol Specifications. Integration Pal B., Banerjee A. , Dasgupta P. , Chakrabarti P. P. By VLSI Journal 40 (13) 285-304 (2007)
• Statistical Timing Analysis using Symbolic Event Propagation Mondal A., Chakrabarti P. P., Dasgupta P. By IET Circuits, Devices & Systems 1(4) 283-291 (2007)
• Event propagation for accurate circuit delay calculating using SAT Roy S., Dasgupta P. , Chakrabarti P. P. By ACM Transactions on Design Automation of Electronic Systems 12(3) 1-23 (2007)
• Hardware Accelerated Constrained Random Test Generation Pal B., Sinha A. , Dasgupta P. , Chakrabarti P. P., De K. By IET Computers and Digital Techniques 1(4) 423-433 (2007)
• Design Intent Coverage A New Paradigm for Formal Property Verification Basu P., Das S. , Banerjee A. , Dasgupta P. , Chakrabarti P. P., Mohan C. R., Fix L. , Armoni R. By IEEE Transactions on CAD 25(10) 1922-1934 (2006)
• Frame-Based Proportional Round-Robin Sarkar A., Chakrabarti P. P., Kumar R. By IEEE Transactions on Computers 55 1121-1129 (2006)
• A synthesis system for analog circuits based on evolutionary search and topological reuse T. R. Dastidar, P. P. Chakrabarti, P. Ray By IEEE Transactions on Evolutionary Computation 9(2) 211-224 (2005)
• The power of first-order quantification over states in branching and linear time temporal logics Chatterjee K., Dasgupta P. , Chakrabarti P. P. By Information Processing Letters 91 201-210 (2004)
• A branching time temporal framework for Quantitative Reasoning Chatterjee K., Dasgupta P. , Chakrabarti P. P. By Journal of Automated Reasoning 30 205-232 (2003)
• Genetic Algorithms for High-Level Synthesis in VLSI Design Mandal C., Chakrabarti P. P. By Materials and Manufacturing Processes 18 355-383 (2003)
• Min-max event triggered computation tree logic Dasgupta P., Chakrabarti P. P., Deka J. K. By Sadhana 27 (2) 163-180 (2002)
• Quantified Computation Tree Logic Patthak A. C., Bhattacharya I. , Dasgupta A. , Dasgupta P. , Chakrabarti P. P. By Information Processing Letters 82(3) 123-129 (2002)
• Solving constraint optimization problems from CLP-style specifications using heuristic search techniques Dasgupta P., Chakrabarti P. P., Dey A. , Ghose S. , Bibel W. By IEEE Transactions in Knowledge and Data Engineering 14 (2) 353-368 (2002)
• Min-max Computation Tree Logic Dasgupta P., Deka J. K., Chakrabarti P. P. By Artificial Intelligence 127 137-162 (2001)
• Model checking on Timed Event Structures Dasgupta P., Deka J. , Chakrabarti P. P. By IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems 19 601-611 (2000)
• Partial Precedence Constrained Scheduling Chakrabarti, P.P. By IEEE Transactions on Computers 48 (10) 1127 - 1130 (1999)
• A Framework for Learning in Search-Based Systems Sarkar S., Chakrabarti P. P., Ghose S. By IEEE Transactions on Knowledge and Data Engineering 10 (4) 563-575 (1998)
• Learning while solving problems in best first search Sarkar S., Chakrabarti P. P., Ghose S. By IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 28 535-541 (1998)
• Multiobjective Heuristic Search of AND/OR Graphs Dasgupta P., Chakrabarti P. P., Desarkar S. By Journal of Algorithms 20 282-311 (1996)
• New results on Multiobjective State Space Search Dasgupta P., Chakrabarti P. P., Desarkar S. By Sadhana 21(3) 263-290 (1996)
• Searching Game Trees under a Partial order Dasgupta, P., Chakrabarti, P.P., De Sarkar, S.C. By Artificial Intelligence 82 237 - 257 (1996)
• Agent Searching in Uniform b-ary Trees: Multiple Goals and Unequal Costs Dasgupta P., Chakrabarti P. P., Desarkar S. By . Information Processing Letters 58 311-318 (1996)
• A correction to Agent Searching in a tree and the optimality of Iterative Deepening Dasgupta P., Chakrabarti P. P., Desarkar S. By Artificial Intelligence 77 173-176 (1995)
• Utility of Pathmax in Partial Order Heuristic Search Dasgupta P., Chakrabarti P. P., Desarkar S. By Information Processing Letters 55 317-322 (1995)
• Agent Searching in a tree and the optimality of Iterative Deepening Dasgupta P., Chakrabarti P. P., Desarkar S. By Artificial Intelligence 71 195-208 (1994)
• Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search Chakrabarti, P.P. By Artificial Intelligence 65 329 - 345 (1994)
• Heuristic search in restricted memory Chakrabarti, P.P., Ghose, S., Acharya A. and DeSarkar, S.C By Artificial Intelligence 41 197 - 221 (1989)
• Heuristic search through islands Chakrabarti, P.P., Ghose, S., DeSarkar, S.C By Artificial. Intelligence 29 339 - 347 (1986)
Report
• Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks Kedia K., Jenamani R. K., Hazra A. , Chakrabarti P. P. By - (2022)
• Antarjami: Exploring psychometric evaluation through a computer-based game Lahiri A., Mitra U. , Sen S. , Chakraborty M. , Weiner M. K., Guha R. , Mitra P. , Basu A. , Chakrabarti P. P. By 1-4 (2020)
• Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems George G. V., Hazra A. , Dasgupta P. , Chakrabarti P. P. By - (2020)
Workshop
• Towards Adversarial Purification using Denoising AutoEncoders Kalaria D., Hazra A. , Chakrabarti P. P. By NeurIPS ML Safety Workshop - (2022)
• Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images Kalaria D., Hazra A. , Chakrabarti P. P. By Workshop on Adversarial Machine Learning and Beyond (AdvML) at AAAI 2022 - (2022)
• Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images Kalaria D., Hazra A. , Chakrabarti P. P. By Workshop on Adversarial Machine Learning and Beyond (AdvML) at AAAI 2022 - (2022)
Monograph
• Cohesive Coverage Management Leveraging Formal Test Plans: A Design Intent Verification Perspective Hazra A., Dasgupta P. , Chakrabarti P. P. By - (2012)
Others
• Cohesive Coverage Management for Design Intent Verification (Poster) Hazra A., Dasgupta P. , Chakrabarti P. P. By - (2011)

Principal Investigator

• IND-AMERICAN FRONTIERS OF ENGINEERING SYMPOSIUM - 2010
• ROADMAP FOR ERP IMPLEMENTATION FOR DVC
• BRIDGE PROJECT - TEA RESEARCH BOARD
• DESIGN AND IMPLEMENTATION OF INDIGENOUS ENCRYPTION ALGORITHM FOR SDH-16
• INAE VISVESVARYA CHAIR PROFESSOR SHIP
• COMPUTERIZATION OF DVC
• Roadmap for ERP Solutions at Kolkata Port Trust, Phase-1
• CREATING ACCESSIBLE STUDY MATERIAL FOR PRINT IMPAIRED STUDENTS
• Modelling, Design & Verification of Circuits and Systems
• ANALYTICS OF GROUP DYNAMICS OF MOBILE USERS
• BUILDING RELIABLE ENBEDDED REAL A TIME SYSTEM AN APPROACH COMBINING FORMAL METHODS & TESTING
• GENERAL MOTORS ECS CRL PROJECTS
• Architecture-aware timing analysis and optimization of safety-critical automotive software (AUTOSAFE)
• J C Bose Fellowship
• To develop a scientific rationale of IELS (Indo-European Langauge Systems) applying a) Computational Linguistics & b) Cognitive Geo-spatial mapping approaches
• Urban - design, planning & urban engineering exploration of Varanasi
• A deep validation study of Indian Language system based on patterns of a) comparative Philology, Phonology & Phonetics & b) Psycho-Physics of Varnamala
• AI for Physical Marketplace Management
• Development of national digital library (NDL) of India - towards building a national asset
• AWS:NAIRP:Creating a Collateral for Supporting Popular ML Applications on AWS Infrastructure through National AI Resource Platform
• Socializing the Micro-Solar Dome: Empowering Marginalized Rural ST and Tribal Communities through Solar Illumination and Solar Electricity
• Socializing the Micro-Solar Dome: Empowering Marginalized Rural SC Communities through Solar Illumination and Solar Electricity
• Intel embedded innovation lablet
• Development of National Digital Library of India as a Digital Knowledge Asset of the Nation

Co-Principal Investigator

• AI driven real time traffic incident prediction and traffic management
• Artificial intelligence for societal needs: knowledge discovery and intelligent decision making for solving problems in Indian context related to energy, climate, water, disaster management and traffic
• AVLSI CONSORTIUM
• Campus Rakshak: An Agent-based Simulation Framework for Assessment of Intervention Strategy against Covid-19 Spreading in Campuses
• DESIGN AND DEVELOPMENT OF MODELS AND TOOLS FOR VULNERABILITY ASSESSMENT OF EMBEDDED SYSTEMS
• DESIGN AUTOMATION OF ANALOG VLSI
• Design, Development, Verification and Reliability Analysis of Prototype Control Room HMI Software for Fast Breeder Reactors
• FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems
• FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems at IIT Kharagpur
• FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems at IIT Kharagpur
• GAMES IN SYSTEM DESIGN AND VERIFICATION
• INTEGRATED VEHICLE HEALTH MANAGEMENT (IVHM) FOR AUTOMOTIVE ENGINE APPLICATIONS
• LEVERAGING SIMULATION DUMPS AND FAILURE TRACES FOR FORMAL PROPERTY VERFICATION
• MINEKEY EXTENSION PROJECT
• Quantification of Software Reliability for Computer-Based I & C Systems of Prototype Fast Breeder Reactor (PFBR)
• Research on AGV
• Setting up of centre for safety critical software at IRISET
• TCG-HPL Sponsored Artificial Intelligence Research and Training at Centre of Excellence in Centre for AI at IIT Kharagpur
• User emotion classification from keyboard keystroke