Computer Science and Engineering

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

Book Chapter/Section
• Advances in Mechanical Engineering (Lecture Notes in Mechanical Engineering) by Chakraborty S., Misra R. D., Patowari P. K., Chakrabarti P. P. Advances in Mechanical Engineering (Lecture Notes in Mechanical Engineering) - (2025)
Conferences
• Guardian of the Ensembles: Introducing Pairwise Adversarially Robust Loss for Resisting Adversarial Attacks in DNN Ensembles by Shukla S., Dalui S. , Alam M. , Datta S. , Mondal A. , Mukhopadhyay D. , Chakrabarti P. P. IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) 7205-7214 (2025)
• Hierarchical Classification of Frontotemporal Dementia Subtypes Utilizing Tabular-to-Image Data Conversion with Deep Learning Methods by Poonam K., Kotra V.S., Guha R., Chakrabarti P.P. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15311 LNCS 386-401 (2025)
• ReFrame: Rectification Framework for Image Explaining Architectures by Das Adhikary D., Hazra A. , Chakrabarti P. P. 8th International Conference on Data Science and Management of Data (CODS-COMAD) 52-60 (2024)
• Exploring the Limits of VLMs: A Dataset for Evaluating Text-to-Video Generation by Srivastava A., Sista R. , Chakrabarti P. P., Sheet D. Indian Conference on Computer Vision Graphics and Image Processing (ICVGIP) 1-9 (2024)
• An Effective EEG-Based Image Classification Methodology Under Low Data and Resource Requirements Using Machine Learning by Banerjee A., Pal O., Mondal M., Mukherjee A., Chakrabarti P.P., Pal S.K., Misra S., Chakravarty D. ICCECE 2024 - International Conference on Computer, Electrical and Communication Engineering 1-8 (2024)
• Multimodal Target Prediction for Rapid Human-Robot Interaction by Mitra M., Patil A. A., Mothish G. , Kumar G. , Mukhopadhyay A. , Murthy L. , Chakrabarti P. P., Biswas P. IUI '24: Proceedings of the 29th International Conference on Intelligent User Interfaces 18-23 (2024)
• A Regression Framework for Predicting Cognitive Decline in Frontotemporal Dementia using Recurrent Neural Networks by Poonam K., Guha R., Chakrabarti P.P. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS - (2024)
• Artificial Intelligence Based Hierarchical Classification of Frontotemporal Dementia by Poonam K., Guha R., Chakrabarti P.P. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS - (2024)
• ICLNet: Stepping beyond Dates for Robust Issue-Commit Link Recovery by Kumar A., Pratim Das P., Chakrabarti P.P. Proceedings - International Conference on Software Engineering 408-409 (2024)
• Enhanced Human-Robot Collaboration with Intent Prediction using Deep Inverse Reinforcement Learning by Mitra M., Kumar G. , Chakrabarti P. P., Boswas P. International Conference on Robotics and Automation 7880-7887 (2024)
• Automated Deep Learning Based Answer Generation to Psychometric Questionnaire: Mimicking Personality Traits by Lahiri A., Raj S. , Mitra U. , Sen S. , Guha R. , Chakrabarti P. P., Mitra P. , Basu A. ICAART 2023 (15th International Conference on Agents and Artificial Intelligence 737-743 (2023)
• Emotion Detection in Social Robotics: Empath-Obscura - An Ensemble Approach with Novel Face Augmentation Using SPIGA by Dasgupta D., Mondal A. , Chakrabarti P. P. 2023 Seventh IEEE International Conference on Robotic Computing (IRC) 94-101 (2023)
• Comparison of Target Prediction in VR and MR using Inverse Reinforcement Learning by Mitra M., Pati P. , Sharma V. K., Raj S. , Chakrabarti P. P., Biswas P. ACM IUI Companion 2023 55-58 (2023)
• Accurate Prediction of Alzheimer's Disease Progression Trajectory via a Novel Encoder-Decoder LSTM Architecture by Poonam K., Guha R., Chakrabarti P.P. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 1-4 (2023)
• Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests by Poonam K., Prasad A., Guha R., Hazra A., Chakrabarti P.P. International Conference on Pattern Recognition and Machine Intelligence (PReMI) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14301 LNCS 241-251 (2023)
• Deep Learning-based Spatially Explicit Emulation of an Agent-Based Simulator for Pandemic in a City by Mitra A., Chakrabarti P. P. ACM AAMAS 1-2 (2023)
• Deep Learning-based Spatially Explicit Emulation of an Agent-Based Simulator for Pandemic in a City by Madhavan V., Mitra A., Chakrabarti P.P. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023-May 2733-2735 (2023)
• Analyzing Sentiment Polarity Reduction in News Presentation through Contextual Perturbation and Large Language Models by Kuila A., Jena S. , Sarkar S. , Chakrabarti P. P. 20th International Conference on Natural Language Processing (ICON-2023) 1- (2023)
• Frontotemporal Dementia Detection Model Based on Explainable Machine Learning Approach by Poonam K., Guha R., Chakrabarti P.P. International Conference on Computational Intelligence in Data Science 673 230-242 (2023)
• Frontotemporal Dementia Detection Model based on Explainable Machine Learning Approach by Poonam K., Guha R. , Chakrabarti P. P. SIXTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE IN DATA SCIENCE 1-12 (2023)
• DietCNN: Multiplication-free Inference for Quantized CNNs by Dey S., Dasgupta P., Chakrabarti P.P. Proceedings of the International Joint Conference on Neural Networks 2023-June 1-8 (2023)
• Summarize Me: The Future of Issue Thread Interpretation by Kumar A., Das P. P., Chakrabarti P. P. 13th The International Conference on Software Maintenance and Evolution 341-345 (2023)
• SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems by Dey S., Dasgupta P., Chakrabarti P.P. 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 by Raviteja S., Sathish R. , Agrawal R. , De U. , Chakrabarti P. P., Sheet D. 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 by Suryawanshi G., Madhavan V., Mitra A., Chakrabarti P.P. Proceedings - Winter Simulation Conference 2021-December 1-12 (2021)
• Centralized admissions for engineering colleges in India by Baswana S., Chakrabarti P.P., Chandran S., Kanoria Y., Patange U. ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation 323-324 (2019)
• Centralized Admissions for Engineering Colleges in India by Baswana S., Chakrabarti P. P., Chandran S. , Kanoria Y. , Patange U. ACM Conference on Economics and Computation (EC 2019) 323-324 (2019)
• Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips by Saha S., Kundu D. , Roy S. , Bhattacharjee S. , Chakrabarti K. , Chakrabarti P. P., Bhattacharya B. B. ASP DAC 462-467 (2019)
• Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips by Saha S., Kundu D., Roy S., Bhattacharjee S., Chakrabarty K., Chakrabarti P.P., Bhattacharya B.B. Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC 499-505 (2019)
• Demand-driven single- and multitarget mixture preparation using digital microfluidic biochips by Shalu, Kumar S., Singla A., Roy S., Chakrabarty K., Chakrabarti P.P., Bhattacharya B.B. ACM Transactions on Design Automation of Electronic Systems 23 - (2018)
• Migration Aware Low Overhead ERfair Scheduler by Tripathi A., Sarkar A. , Chakrabarti P. P. International Conference on VLSI Design 219-224 (2017)
• Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow by Becker M., Mohamad S. , Albers K. , Chakrabarti P. P., Chakraborty S. , Dasgupta P. , Dey S. , Metta R. ASPSEC 2015 385-392 (2015)
• Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures by Patrababis S., Chakrabarti A. , Mukhopadhyay D. , Chakrabarti P. P. IACR Cryptology - (2015)
• Synthesis of Sampling Modes for Adaptive Control by Raha R., Hazra A. , Mondal A. , Dey S. , Chakrabarti P. P., Dasgupta P. 4th IEEE International Conference on Control System, Computing and Engineering (ICCSCE) 294-299 (2014)
• Synthesis of Sampling Modes for Adaptive Control by Raha R., Hazra A. , Mondal A. , Dey S. , Chakrabarti P. P., Dasgupta P. International Conference on Control System, Computing and Engineering - (2014)
• Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips by Roy S., Kumar S. , Chakrabarti P. P., Bhattacharya B. B., Chakraborty K. Design Auromation Confereince (DAC) 1-6 (2014)
• Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures by Ghosh P., Sharma A. , Chakrabarti P. P., Dasgupta P. 23rd International Joint Conference on Artificial Intelligence (IJCAI) 3156-3160 (2013)
• A Mobility Simulation Framework Of Humans With Group Behavior Modeling by Gupta A., Mishra A. , Vadlamudi S. , Chakrabarti P. P., Sarkar S. Data Mining (ICDM), 2013 IEEE 13th International Conference on 1067-1072 (2013)
• Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software by Prabhu M S., Hazra A. , Dasgupta P. , Chakrabarti P. P. IEEE International Symposium on Computer-Aided Control System Design (CACSD) under IEEE Multi-Conference on Systems and Control (MSC) 1-6 (2013)
• Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software by M S. P., Hazra A. , Dasgupta P. , Chakrabarti P. P. Multi-Conference on Systems and Control (MSC) - (2013)
• Ordered Solution Generation for Implicit AND/OR Search Spaces by Ghosh P., Chakrabarti P. P., Dasgupta P. PReMI - (2013)
• Anytime Algorithms for Biobjective Heuristic Search by Ghosh P., Chakrabarti P. P., Dasgupta P. 25th Australasian Joint Conference on Artificial Intelligence - (2012)
• Anytime Algorithms for Mining Groups with Maximum Coverage by Vadlamudi S., Chakrabarti P. P., Sarkar S. 10th Australasian Data Mining Conference 209-220 (2012)
• Execution Ordering in AND/OR Graphs with Failure Probabilities by Ghosh P., Chakrabarti P. P., Dasgupta P. 5th Annual Symposium on Combinatorial Search (SOCS) - (2012)
• Accelerating Synchronous Sequential Circuits using an Adaptive Clock by Mandal A., Chakrabarti P. P., Dasgupta P. VLSI Design - (2010)
• Coverage Management with Inline Assertions and Formal Test Points by Hazra A., Ghosh P. , Dasgupta P. , Chakrabarti P. P. 23rd International Conference on VLSI Designs (VLSID) 140-145 (2010)
• Incremental Verification Techniques for an Updated Architectural Specification by Mitra S., Ghosh P. , Dasgupta P. , Chakrabarti P. P. INDICON - (2009)
• Inline Assertions -- Embedding Formal Properties in a Test Bench by Hazra A., Ghosh P. , Dasgupta P. , Chakrabarti P. P. 22nd International Conference on VLSI Designs (VLSID) 71-76 (2009)
• Cohesive Coverage Management for Simulation and Formal Property Verification by Hazra A., Banerjee A. , Mitra S. , Dasgupta P. , Chakrabarti P. P., Mohan C. R. IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 251-256 (2008)
• Dynamic Assertion-based Verification Platform for UML Statecharts over Rhapsody by Banerjee A., Ray S. , Dasgupta P. , Chakrabarti P. P., Ramesh S. , Ganesan P. Advanced Technology for Verification and Analysis (ATVA) 222-227 (2008)
• Quantified UML Collaboration Diagrams by Worah P., Banerjee A. , Chakrabarti P. P., Dasgupta P. VLSI Design and Test Symposium - (2008)
• On the realizability of specifications having auxiliary state machines and GR(1) LTL by Banerjee A., Dasgupta P. , Chakrabarti P. P. VDAT - (2007)
• Timing analysis of sequential circuits using symbolic event propagation by Mandal A., Dasgupta P. , Chakrabarti P. P. International Conference on Computing: Theory and Applications, Platinum Jubilee conference of ISI Kolkata - (2007)
• A New Pseudo-Boolean Satisfiability based Approach to Power Mode Schedulabity Analysis by Ray S., Dasgupta P. , Chakrabarti P. P. VLSI Design - (2007)
• Bounded Delay Timing Analysis using Boolean Satisfiability by Roy S., Chakrabarti P. P., Dasgupta P. VLSI Design - (2007)
• What lies between Design Intent Coverage and Model checking? by Das S., Basu P. , Dasgupta P. , Chakrabarti P. P. DATE 06 - (2006)
• A Debugging Utility for Assertion-based Protocol Verification by Pal B., Nandi A. , Dasgupta P. , Chakrabarti P. P. EAIT - (2006)
• A framework for estimating peak power in gate-level circuits by Chakrabarti D., Chakrabarti P. P., Mandal A. , Dasgupta P. 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 by Nandi A., Pal B. , Dasgupta P. , Chakrabarti P. P. VDAT - (2006)
• Detecting faults at the time they occur by Kumar A., Das S. , Dasgupta P. , Chakrabarti P. P. VDAT - (2006)
• Discovering input assumptions in specification refinement coverage by Basu P., Das S. , Dasgupta P. , Chakrabarti P. P. ASPDAC 06 - (2006)
• Exact method for estimating Expected Settling Power in Sequential Circuits by Chakraborty D., Chakrabarti P. P., Dasgupta P. VDAT - (2006)
• Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems by Ray S., Dasgupta P. , Chakrabarti P. P. INDICON 15-17 (2006)
• Instruction set extension exploration using Decomposable Heuristic Search by Das S., Chakrabarti P. P., Dasgupta P. VLSI Design - (2006)
• Property Driven Test Generation in Absence of Direct Interface by Pal B., Dasgupta P. , Chakrabarti P. P. INDICON 15-17 (2006)
• Synthesis of System Verilog Assertions by Das S., Mohanty R. , Dasgupta P. , Chakrabarti P. P. DATE 06 - (2006)
• Bounded Model Checking for OpenLTL by Roy S., Dasgupta P. , Chakrabarti P. P. VDAT - (2005)
• Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model by Das S., Banerjee A. , Basu P. , Dasgupta P. , Chakrabarti P. P., Mohan C. VLSI 05 - (2005)
• H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions by Nandi A., Pal B. , Chhetan N. , Dasgupta P. , Chakrabarti P. P. INDICON - (2005)
• SAT based solutions for Consistency Problems in Formal Property Specifications for Open Systems by Roy S., Basu P. , Das S. , Dasgupta P. , Chakrabarti P. P. ICCAD 05 885-888 (2005)
• Scoreboard Directed Dynamic Constraint Modification for Higher Simulation Coverage by Pal B., Nandi A. , Ray S. , Banerjee A. , Dasgupta P. , Chakrabarti P. P. SNUG - (2005)
• Syntactic Transformation of Assume-Guarantee Assertions: From Sub-modules to Modules by Basu P., Dasgupta P. , Chakrabarti P. P. VLSI 05 - (2005)
• Syntax-driven Approximate Coverage Analysis for an Assertion Suite against a High-Level Fault Model by Das S., Basu P. , Dasgupta P. , Chakrabarti P. P. VDAT - (2005)
• Test Plan Coverage by Formal Property Verification by Basu P., Das S. , Banerjee A. , Dasgupta P. , Chakrabarti P. P. VDAT - (2005)
• An Assertion-based Language for Generating Test Sequences for Complex Temporal Behavior by Roy P., Dasgupta P. , Chakrabarti P. P. VDAT - (2004)
• A Simulation Coverage Metric for Analyzing the Behavioral Coverage of an Assertion Based Verification IP by Pal B., Banerjee A. , Chaitanya K. , Dasgupta P. , Chakrabarti P. P. VDAT - (2004)
• Assertion-based Verification: Have I written Enough Properties? by Banerjee A., Pal B. , Chaitanya K. , Dasgupta P. , Chakrabarti P. P., Jha M. INDICON 04 - (2004)
• Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures by Chatterjee K., Dasgupta P. , Chakrabarti P. P. IWDC, 2004 102-113 (2004)
• Design Issues for Assertion-Based Verification IPs: The OVA Experience by Banerjee A., Pal B. , Dasgupta P. , Chakrabarti P. P., Jha M. , Cerny E. SNUG - (2004)
• Formal Verification Coverage: Are the RTL Properties Covering the Design's Architectural Intent? by Basu P., Das S. , Dasgupta P. , Chakrabarti P. P., Mandal C. , Fix L. DATE 2004 - (2004)
• Formal Verification Coverage: Computing the Coverage Gap between Temporal Specifications by Das S., Basu P. , Banerjee A. , Dasgupta P. , Chakrabarti P. P., Mohan C. , Fix L. , Armoni R. ICCAD 04 - (2004)
• Formal Verification of Modules under Real Time Environment Constraints by Banerjee A., Dasgupta P. , Chakrabarti P. P. VLSI, 2004 - (2004)
• Property Refinement Techniques for Enhancing Coverage of Formal Property Verification by Basu P., Dasgupta P. , Chakrabarti P. P., Mohan C. R. VLSI, 2004 - (2004)
• The BUSpec Platform for Automated Generation of Verification Aids for Standard Bus Protocols by Pal B., Banerjee A. , Dasgupta P. , Chakrabarti P. P. MEMOCODE 2004 - (2004)
• Open Computation Tree Logic With Fairness by Banerjee A., Dasgupta P. , Chakrabarti P. P. International Symposium on Circuits and Systems (ISCAS) - (2003)
• Formal Verification of Module Interfaces against Real Time Specifications by Chakrabarti A., Dasgupta P. , Chakrabarti P. P., Banerjee A. Design Automation Conference (DAC) - (2002)
• Open Computation Tree Logic for Formal Verification of Modules by Dasgupta P., Chakrabarti A. , Chakrabarti P. P. Asia Pacific Design Automation Conference - (2002)
• Abstraction of word-level linear arithmetic functions from bit-level component descriptions by Dasgupta P., Chakrabarti P. P., Nandi A. , Krishna S. , Chakrabarti A. Design Automation and Test in Europe (DATE) - (2001)
• Abstractions for Model Checking of Event Timings by Deka J. K., Chaki S. , Dasgupta P. , Chakrabarti P. P. IEEE International Symposium on Circuits and Systems (ISCAS 2001) - (2001)
• Symbolic verification of boolean constraints over partially specified functions by Sriram S., Tandon R. , Dasgupta P. , Chakrabarti P. P. . IEEE International Symposium on Circuits and Systems (ISCAS 2001) - (2001)
• Verification of Concurrent Communicating Systems in Boolean SDL by Pathak A., Bhattacharya I. , Dasgupta A. , Chakrabarti P. P., Dasgupta P. Intell. Comput and VLSI - (2001)
• Weighted Quantified Computation Tree Logic by Chatterjee K., Dasgupta P. , Chakrabarti P. P. Conf. On Information Technology (CIT'01) - (2001)
• Specification of Planning Goals in Branching Time Logics in Stochastic Systems by Sarkar S., Chakrabarti P. P., Niyogi R. , Dasgupta P. Knowledge Based Computer Systems (KBCS-2000) 422-433 (2000)
• A comparative analysis of BDD-based and rule-based reachability problems for Cellular Automata by Deka J. K., Dasgupta P. , Chakrabarti P. P. ICCCD 2000 - (2000)
• An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays by Deka J., Dasgupta P. , Chakrabarti P. P. IEEE VLSI Design'99 294-299 (1999)
• Controlling State Explosion in Static Simulation by Selective Composition by Chakrabarti P. P., Dasgupta P. , Das P. P., Roy A. , Lahiri S. , Bose M. ACM/IEEE Int. Conf. on VLSI Design, 1999 - (1999)
• Exploiting isomorphism for compaction and faster simulation of binary decision diagrams by Chauhan P., Dasgupta P. , Chakrabarti P. P. IEEE VLSI Design'99 - (1999)
• A Heuristic Search approach to effectively solve Constraint Optimization Problems from Logical Specifications by Dasgupta P., Chakrabarti P. P., Dey A. , Ghosh S. , Bibel W. KBCS-98 39-49 (1998)
• A new competitive algorithm for Agent Searching in Unknown Streets by Dasgupta P., Chakrabarti P. P., Desarkar S. 16th FST & TCS conference 147-155 (1996)
• A near optimal strategy for the extended cow-path problem in the presence of relative errors by Dasgupta P., Chakrabarti P. P., Desarkar S. 15th FST & TCS conference 22-36 (1995)
• Game Tree Search under a Partial Order by Dasgupta P., Chakrabarti P. P., Desarkar S. 4th National Seminar on Theoretical Computer Science 40-52 (1995)
• Heuristic search using multiple objectives by Dasgupta P., Chakrabarti P. P. 3rd National Seminar on Theoretical Computer Science 352-364 (1994)
• Multiobjective Search in VLSI Design by Dasgupta P., Mitra P. , Chakrabarti P. P. 7th IEEE Int. Conf. on VLSI Design - (1994)
Copyright
• Pre-Operative Review Reporting and Data System for Laparoscopic Cholecystectomy (L-158499/2024) by Bisht H., Sista R. , Agrawal R. , Hossain S. , De U. , Chakrabarti P. P., Sheet D. 1-4 (2024)
Journal
• Robust Deep Convolutional Solutions for Identifying Biotic Crop Stress in Wild Environments by Pal C., Mukherjee I. , Chatterji S. , Pratihar S. , Mitra P. , Chakrabarti P. P. IEEE Transactions on AgriFood Elecronics 2 497-508 (2024)
• DARSI: A Deep Auto-Regressive Time Series Inference Architecture for Forecasting of Aerodynamic Parameters by Pandey A., Mahajan J. , P S. , Rastogi A. , Roy A. , Chakrabarti P. P. Journal of Computational Science 82 10240101-10240119 (2024)
• Predicting Alzheimer's Disease Progression Using a Versatile Sequence-Length-Adaptive Encoder-Decoder LSTM Architecture by Poonam K., Guha R. , Chakrabarti P. P. IEEE Journal on Biomedical and Health Informatics 28 4184-4193 (2024)
• Decision Guided Robust DL Classification of Adversarial Images Combining Weaker Defenses by Datta S., Alam M., Mondal A., Mukhopadhyay D., Pratim Chakrabarti P. IEEE Journal on Emerging and Selected Topics in Circuits and Systems 14 758-772 (2024)
• "News has Various Shades": Quantifying and Analyzing Media Bias at Aspect-level Granularity. by Kuila A., Jena S. , Sarkar S. , Chakrabarti P. P. ACM Journal on Computing and Sustainable Societies Vol 2 1-51 (2024)
• Artificial Intelligence (AI) Based Model for Prediction of Adversity Outcome Following Laparoscopic Cholecystectomy a Preliminary Report by Agrawal R., Hossain S. , Bisht H. , Sista R. , Chakrabarti P. P., Sheet D. , De U. Indian Journal of Surgery 1-8 (2024)
• A critical review on applications of artificial intelligence in manufacturing by Mypati O., Mukherjee A. , Mishra D. , Pal S. K., Chakrabarti P. P., Pal A. Aritifical Intelligence Review 56(S1) 661-768 (2023)
• Mixing Models as Integer Factorization: A Key to Sample Preparation with Microfluidic Biochips by Kundu D., Roy S., Bhattacharjee S., Saha S., Chakrabarty K., Chakrabarti P.P., Bhattacharya B.B. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 558-570 (2022)
• National digital library of India: democratizing education in India by Bhowmick P. K., Das P. P., Chakrabarti P. P., Sanyal D. K. Communications of the ACM 65 58-61 (2022)
• Semisupervised Lexicon Generation Using Semantic Relations for Dream Content Analysis by Guha R., Chakrabarti P. P., Sood P. , Brahma K. Dreaming (APA) - (2022)
• Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability by Guha R., Chakrabarti P. P., Poonam K. arXiv preprint arXiv:2104.05235 - (2021)
• Resistive Analysis of Scattering-Dependent Electrical Transport in Single-Wall Carbon-Nanotube Networks by Tripathy S., Bose B. , Chakrabarti P. P., Bhattacharyya T. K. IEEE Transaction on Electron Devices 67 5676-5684 (2020)
• Centralized admissions for engineering colleges in India by Baswana S., Chakrabarti P.P., Chandran S., Kanoria Y., Patange U. Interfaces 49 338-354 (2019)
• Centralized Admissions for Engineering Colleges in India by Baswana S., Chakrabarti P. P., Chandran S. , Kanoria Y. , Patange U. Interfaces 49 338-354 (2019)
• Demand-Driven Single- and Multitarget Mixture Preparation Using Digital Microfluidic Biochips. by Kumar S. S., Singla A. , Roy S. , Chakrabarti K. , Chakrabarti P. P., Bhattacharya B. B. ACM Trans. Design Autom. Electr. Syst. 23 1-55 (2018)
• Fault Space Transformation: A Generic Approach to Counter Differential Fault Analysis and Differential Fault Intensity Analysis on AES-Like Block Ciphers by Patranabis S., Chakraborty A. , Mukhopadhyay D. , Chakrabarti P. P. IEEE Trans. Information Forensics and Security 12 1092-1102 (2017)
• RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems by Ghosh S. K., P V. , Vadlamudi S. G., Hazra A. , Dey S. , Chakrabarti P. P. Design Automation for Embedded Systems (DAES) Journal 21 37-87 (2017)
• National Digital Library: Building a National Asset, by Das P. P., Chakrabarti P. P., Bhowmick P. K., Sarkar S. Yojana 60 19-23 (2016)
• Formal Assessment of Reliability Specifications in Embedded Cyber-Physical Systems by Hazra A., Dasgupta P. , Chakrabarti P. P. Journal of Applied Logic (JAL) 18 71-104 (2016)
• Anytime pack search by Vadlamudi S. G., Aine S. , Chakrabarti P. P. Natural Computing 15 395-414 (2016)
• ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems by Nair P. P., Sarkar A. , Harsha N. M., Gandhi M. , Chakrabarti P. P., Ghose S. ACM Transactions on Design Automation of Electronic Systems (ACM TODAES) 22 1-25 (2016)
• ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems by Nair P. P., Sarkar A. , Harsha N. M., Gandhi M. , Chakrabarti P. P., Ghose S. ACM Transactions on Design Automation of Electronic Systems 22 1-19 (2016)
• National Digital Library: A Platform for Paradigm Shift in Education & Research in India by Das P. P., Bhowmick P. K., Sarkar S. , Sutradhar B. , Chattopadhyay S. , Basu A. , Ghosh S. K., Chattopadhyay N. G., Chakrabarti P. P. Science and Culture 82 4-11 (2016)
• Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips by Roy S., Chakrabarti P. P., Chakrabarti K. , Bhattacharya B. B. Integration 51 194-207 (2015)
• Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips by Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Krishnendu Chakrabarty, Bhargab B. Bhattacharya ACM Trans. Design Autom. Electr. Syst., 20(3) - (2015)
• Robustness Analysis of Embedded Control Systems with respect to Signal Perturbations: Finding Minimal Counterexamples using Fault Injection by S. G. Vadlamudi, P. P. Chakrabarti IEEE Transactions on Dependable and Secure Computing (TDSC) 48-58 (2014)
• Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications by Hazra A., Ghosh P. , Vadlamudi S. G., Chakrabarti P. P., Dasgupta P. IEEE Embedded Systems Letters (ESL) 5 8-11 (2013)
• Cohesive Coverage Management: Simulation Meets Formal Methods by Hazra A., Ghosh P. , Dasgupta P. , Chakrabarti P. P. Journal of Electronic Testing: Theory and Applications (JETTA) 28 449-468 (2012)
• Symbolic event propagation based minimal test set generation for robust path delay faults by Mondal A., Chakrabarti P. P., Dasgupta P. ACM Transactions on Design Automation of Electronic Systems 17(4) - (2012)
• A dynamic assertion-based verification platform for validation of UML designs by Banerjee A., Ray S. , Dasgupta P. , Chakrabarti P. P., Ramesh S. , Ganesan P. ACM SIGSOFT Software Engineering Notes 37(1) 1-14 (2012)
• Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures by Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta Journal of Artificial Intelligence Research 44 275-333 (2012)
• SAT based timing analysis for fixed and rise/fall gate delay models by Roy S., Chakrabarti P. P., Dasgupta P. Integration VLSI 40(4) 357-364 (2012)
• Sticky-ERfair: A Task-Processor Affinity Aware Proportional Fair Scheduler by Sarkar A., Ghose S. , Chakrabarti P. P. Real Time Systems Journal 47 356-377 (2011)
• A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler" by Sarkar A., Ghose S. , Chakrabarti P. P. Real Time Systems Journal 47 382-385 (2011)
• A Low Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems by Sarkar A., Shanker A. , Ghose S. , Chakrabarti P. P. IEEE Embedded Systems Letters 3 5-8 (2011)
• Partition Oriented Frame-Based Fair Scheduler by Sarkar A., Chakrabarti P. P., Ghose S. Journal of Parallel and Distributed Computing 70 707-718 (2010)
• Bounded Delay Timing Analysis and Power Estimation using SAT by Roy S., Chakrabarti P. P., Dasgupta P. Microelectronics Journal 41 (5) 317-324 (2010)
• Design Intent Coverage Revisited by Sinha A., Dasgupta P. , Pal B. , Das S. , Basu P. , Chakrabarti P. P. ACM Transactions on Design Automation of Electronic Systems 14 (1) 1-32 (2009)
• Satisfiability Models for Maximum Transition Power by Roy S., Chakrabarti P. P., Dasgupta P. IEEE Transactions on VLSI Systems 16(8) 941-951 (2008)
• Auxiliary state machines + context triggered properties in verification by Banerjee A., Dasgupta P. , Chakrabarti P. P. ACM Transactions on Design Automation of Electronic Systems 13 1-31 (2008)
• Event propagation for accurate circuit delay calculating using SAT by Roy S., Dasgupta P. , Chakrabarti P. P. ACM Transactions on Design Automation of Electronic Systems 12(3) 1-23 (2007)
• Statistical Timing Analysis using Symbolic Event Propagation by Mondal A., Chakrabarti P. P., Dasgupta P. IET Circuits, Devices & Systems 1(4) 283-291 (2007)
• Hardware Accelerated Constrained Random Test Generation by Pal B., Sinha A. , Dasgupta P. , Chakrabarti P. P., De K. IET Computers and Digital Techniques 1(4) 423-433 (2007)
• BUSpec: A framework for generation of verification aids for Standard Bus Protocol Specifications. Integration by Pal B., Banerjee A. , Dasgupta P. , Chakrabarti P. P. VLSI Journal 40 (13) 285-304 (2007)
• Design Intent Coverage A New Paradigm for Formal Property Verification by Basu P., Das S. , Banerjee A. , Dasgupta P. , Chakrabarti P. P., Mohan C. R., Fix L. , Armoni R. IEEE Transactions on CAD 25(10) 1922-1934 (2006)
• Frame-Based Proportional Round-Robin by Sarkar A., Chakrabarti P. P., Kumar R. IEEE Transactions on Computers 55 1121-1129 (2006)
• A synthesis system for analog circuits based on evolutionary search and topological reuse by T. R. Dastidar, P. P. Chakrabarti, P. Ray 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 by Chatterjee K., Dasgupta P. , Chakrabarti P. P. Information Processing Letters 91 201-210 (2004)
• A branching time temporal framework for Quantitative Reasoning by Chatterjee K., Dasgupta P. , Chakrabarti P. P. Journal of Automated Reasoning 30 205-232 (2003)
• Genetic Algorithms for High-Level Synthesis in VLSI Design by Mandal C., Chakrabarti P. P. Materials and Manufacturing Processes 18 355-383 (2003)
• Min-max event triggered computation tree logic by Dasgupta P., Chakrabarti P. P., Deka J. K. Sadhana 27 (2) 163-180 (2002)
• Quantified Computation Tree Logic by Patthak A. C., Bhattacharya I. , Dasgupta A. , Dasgupta P. , Chakrabarti P. P. Information Processing Letters 82(3) 123-129 (2002)
• Solving constraint optimization problems from CLP-style specifications using heuristic search techniques by Dasgupta P., Chakrabarti P. P., Dey A. , Ghose S. , Bibel W. IEEE Transactions in Knowledge and Data Engineering 14 (2) 353-368 (2002)
• Min-max Computation Tree Logic by Dasgupta P., Deka J. K., Chakrabarti P. P. Artificial Intelligence 127 137-162 (2001)
• Model checking on Timed Event Structures by Dasgupta P., Deka J. , Chakrabarti P. P. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems 19 601-611 (2000)
• Partial Precedence Constrained Scheduling by Chakrabarti, P.P. IEEE Transactions on Computers 48 (10) 1127 - 1130 (1999)
• A Framework for Learning in Search-Based Systems by Sarkar S., Chakrabarti P. P., Ghose S. IEEE Transactions on Knowledge and Data Engineering 10 (4) 563-575 (1998)
• Learning while solving problems in best first search by Sarkar S., Chakrabarti P. P., Ghose S. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 28 535-541 (1998)
• Agent Searching in Uniform b-ary Trees: Multiple Goals and Unequal Costs by Dasgupta P., Chakrabarti P. P., Desarkar S. . Information Processing Letters 58 311-318 (1996)
• Multiobjective Heuristic Search of AND/OR Graphs by Dasgupta P., Chakrabarti P. P., Desarkar S. Journal of Algorithms 20 282-311 (1996)
• New results on Multiobjective State Space Search by Dasgupta P., Chakrabarti P. P., Desarkar S. Sadhana 21(3) 263-290 (1996)
• Searching Game Trees under a Partial order by Dasgupta, P., Chakrabarti, P.P., De Sarkar, S.C. Artificial Intelligence 82 237 - 257 (1996)
• A correction to Agent Searching in a tree and the optimality of Iterative Deepening by Dasgupta P., Chakrabarti P. P., Desarkar S. Artificial Intelligence 77 173-176 (1995)
• Utility of Pathmax in Partial Order Heuristic Search by Dasgupta P., Chakrabarti P. P., Desarkar S. Information Processing Letters 55 317-322 (1995)
• Agent Searching in a tree and the optimality of Iterative Deepening by Dasgupta P., Chakrabarti P. P., Desarkar S. Artificial Intelligence 71 195-208 (1994)
• Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search by Chakrabarti, P.P. Artificial Intelligence 65 329 - 345 (1994)
• Heuristic search in restricted memory by Chakrabarti, P.P., Ghose, S., Acharya A. and DeSarkar, S.C Artificial Intelligence 41 197 - 221 (1989)
• Heuristic search through islands by Chakrabarti, P.P., Ghose, S., DeSarkar, S.C Artificial. Intelligence 29 339 - 347 (1986)
Workshop
• Can Synthetic Plant Images From Generative Models Facilitate Rare Species Identification and Classification? by Dasgupta D., Mondal A. , Chakrabarti P. P. IEEE/CVF Conference on Computer Vision and Pattern Recognition 7530-7540 (2024)
• Towards Adversarial Purification using Denoising AutoEncoders by Kalaria D., Hazra A. , Chakrabarti P. P. NeurIPS ML Safety Workshop - (2022)
• Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images by Kalaria D., Hazra A. , Chakrabarti P. P. 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 by Kalaria D., Hazra A. , Chakrabarti P. P. Workshop on Adversarial Machine Learning and Beyond (AdvML) at AAAI 2022 - (2022)
Patent
• An Efficient Mixture Preparation Method Using Digital Microfluidic Biochips by Kumar S., Chakrabarti P. P., Roy S. , Bhattacharya B. B. - (2023)
Report
• Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks by Kedia K., Jenamani R. K., Hazra A. , Chakrabarti P. P. - (2022)
• Antarjami: Exploring psychometric evaluation through a computer-based game by Lahiri A., Mitra U. , Sen S. , Chakraborty M. , Weiner M. K., Guha R. , Mitra P. , Basu A. , Chakrabarti P. P. 1-4 (2020)
• Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems by George G. V., Hazra A. , Dasgupta P. , Chakrabarti P. P. - (2020)
Monograph
• Cohesive Coverage Management Leveraging Formal Test Plans: A Design Intent Verification Perspective by Hazra A., Dasgupta P. , Chakrabarti P. P. - (2012)
Others
• Cohesive Coverage Management for Design Intent Verification (Poster) by Hazra A., Dasgupta P. , Chakrabarti P. P. - (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
• Architecture-aware timing analysis and optimization of safety-critical automotive software (AUTOSAFE)
• GENERAL MOTORS ECS CRL PROJECTS
• 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
• A deep validation study of Indian Language system based on patterns of a) comparative Philology, Phonology & Phonetics & b) Psycho-Physics of Varnamala
• Urban - design, planning & urban engineering exploration of Varanasi
• 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
• Intel embedded innovation lablet
• AI for Agriculture and Food Sustainability
• Socializing the Micro-Solar Dome: Empowering Marginalized Rural SC Communities through Solar Illumination and Solar Electricity
• Socializing the Micro-Solar Dome: Empowering Marginalized Rural ST and Tribal Communities through Solar Illumination and Solar Electricity

Co-Principal Investigator

• Aditya Choubey Centre for Re-Water Research
• 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
• Centre of Excellence in robotics
• DESIGN AND DEVELOPMENT OF MODELS AND TOOLS FOR VULNERABILITY ASSESSMENT OF EMBEDDED SYSTEMS
• DESIGN AUTOMATION OF ANALOG VLSI
• Design Review of the Automatic Kitchen System
• Design, Development, Verification and Reliability Analysis of Prototype Control Room HMI Software for Fast Breeder Reactors
• Fault Mapping and Facies Prediction using BIG Data Analytics
• 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
• Formal Methods for Verification of Power Management in Mixed Signal Designs
• FORMAL VERIFICATION OF POST SILICON BUG FIXES
• GAMES IN SYSTEM DESIGN AND VERIFICATION
• Integrated Information System and Knowledge Discovery Platform for ONGC
• INTEGRATED VEHICLE HEALTH MANAGEMENT (IVHM) FOR AUTOMOTIVE ENGINE APPLICATIONS
• LEVERAGING SIMULATION DUMPS AND FAILURE TRACES FOR FORMAL PROPERTY VERFICATION
• MINEKEY EXTENSION PROJECT
• Opened & Intelligent Plug-in Hybrid Electric Vehicle (PHEV) Technologies for Smart Indian Cities (UAY_I_IITKGP_019)
• Project Amplify - Improving AI Models through Community Feedback
• Quantification of Software Reliability for Computer-Based I & C Systems of Prototype Fast Breeder Reactor (PFBR)
• Research on AGV
• SANDHI, Science -Technology & Culture - Heritage Interface by IIT Kharagpur
• Setting up of centre for safety critical software at IRISET
• Smart Legal Consultant: AI-based Legal Analytics
• 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