| 2025 | ASPDAC | SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2025 | IJCAI | Incentivizing Safer Actions in Policy Optimization for Constrained Reinforcement Learning. | Somnath Hazra, Pallab Dasgupta, Soumyajit Dey |
| 2025 | VLSID | PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2024 | AAAI | P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. | Sumanta Dey, Pallab Dasgupta, Soumyajit Dey |
| 2024 | DATE | PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain |
| 2024 | NetSoft | Towards Adaptive Networks - Generalized utility functions in Multi-Agent Frameworks. | Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta |
| 2023 | AAAI | Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. | Sumanta Dey, Pallab Dasgupta, Soumyajit Dey |
| 2023 | AAAI | Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). | Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey |
| 2023 | DATE | Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits. | Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman |
| 2023 | IJCNN | DietCNN: Multiplication-free Inference for Quantized CNNs. | Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2023 | NetSoft | Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. | Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das |
| 2023 | PERCOM | Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers. | Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Pragya Singh, Pallab Dasgupta |
| 2023 | VLSID | Accelerating Defect Simulation in Analog and Mixed-Signal Circuits by Parallel Defect Injection. | Sayandeep Sanyal, Mayukh Bhattacharya, Pallab Dasgupta, Amit Patra |
| 2022 | CVPR | SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. | Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2022 | PRICAI | PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. | Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey |
| 2022 | VLSID | Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. | Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian |
| 2021 | VLSID | An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. | Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra |
| 2020 | ASPDAC | The Notion of Cross Coverage in AMS Design Verification. | Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian |
| 2020 | IJCAI | Safety Augmentation in Decision Trees. | Sumanta Dey, Pallab Dasgupta, Briti Gangopadhyay |
| 2020 | VLSID | CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. | Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian |
| 2019 | DAC | ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures. | Sayandeep Saha, S. Nishok Kumar, Sikhar Patranabis, Debdeep Mukhopadhyay, Pallab Dasgupta |
| 2019 | VLSID | Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. | Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta |
| 2018 | FDTC | Breaking Redundancy-Based Countermeasures with Random Faults and Power Side Channel. | Sayandeep Saha, Dirmanto Jap, Jakub Breier, Shivam Bhasin, Debdeep Mukhopadhyay, Pallab Dasgupta |
| 2018 | VLSID | AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. | Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta |
| 2018 | VLSID | Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. | Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan |
| 2017 | ATVA | ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
| 2017 | CHES | An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. | Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta |
| 2017 | VLSID | Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. | Antara Ain, Akshay Mambakam, Pallab Dasgupta, Siddhartha Mukhopadhyay |
| 2017 | VLSID | Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
| 2017 | VLSID | Formal Verification of Power Management Logic with Mixed-Signal Domains. | Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu |
| 2016 | Interspeech | A Robust Non-Parametric and Filtering Based Approach for Glottal Closure Instant Detection. | Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta |
| 2016 | MEMOCODE | Formal feature analysis of hybrid automata. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |
| 2015 | APSEC | Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. | Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta |
| 2015 | VLSID | Monitoring AMS Simulation: From Assertions to Features. | Antara Ain, Pallab Dasgupta |
| 2015 | VLSID | Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. | Sumana Ghosh, Pallab Dasgupta |
| 2014 | DATE | Acceptance and random generation of event sequences under real time calculus constraints. | Kajori Banerjee, Pallab Dasgupta |
| 2013 | IJCAI | Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. | Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta |
| 2013 | VLSID | Formal Verification of Hardware / Software Power Management Strategies. | Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee |
| 2013 | VLSID | Model Checking Controllers with Predicate Inputs. | M. Santhosh Prabhu, Pallab Dasgupta |
| 2012 | ASPDAC | Formal methods for coverage analysis of architectural power states in power-managed designs. | Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer |
| 2012 | DATE | Formal methods for ranking counterexamples through assumption mining. | Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta |
| 2012 | FDL | Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta |
| 2012 | VLSID | A Library for Passive Online Verification of Analog and Mixed-Signal Circuits. | Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay |
| 2012 | SoCS | Execution Ordering in AND/OR Graphs with Failure Probabilities. | Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta |
| 2011 | VLSID | Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. | Subhankar Mukherjee, Pallab Dasgupta |
| 2010 | DAC | Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. | Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha |
| 2010 | DATE | Taming the component timing: A CBD methodology for real-time embedded systems. | Manoj G. Dixit, Pallab Dasgupta, S. Ramesh |
| 2010 | VLSID | Coverage Management with Inline Assertions and Formal Test Points. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2010 | VLSID | Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. | Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta |
| 2009 | DATE | A formal approach for specification-driven AMS behavioral model generation. | Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta |
| 2009 | ICISS | Formal Verification of Security Policy Implementations in Enterprise Networks. | Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta |
| 2009 | VLSID | Inline Assertions - Embedding Formal Properties in a Test Bench. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2008 | ATVA | CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
| 2008 | ATVA | A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan |
| 2007 | VLSID | A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. | Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti |
| 2007 | VLSID | Bounded Delay Timing Analysis Using Boolean Satisfiability. | Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta |
| 2006 | ASPDAC | Discovering the input assumptions in specification refinement coverage. | Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2006 | DAC | Test generation games from formal specifications. | Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta |
| 2006 | DATE | What lies between design intent coverage and model checking? | Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti |
| 2006 | DATE | Synthesis of system verilog assertions. | Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti |
| 2006 | MEMOCODE | Formal methods for checking realizability of coalitions in 3-party systems. | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2006 | VLSID | Instruction-Set-Extension Exploration Using Decomposable Heuristic Search. | Samik Das, P. P. Chakrabarti, Pallab Dasgupta |
| 2005 | ICCAD | SAT based solutions for consistency problems in formal property specifications for open systems. | Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2005 | VLSID | Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. | Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti |
| 2005 | VLSID | Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. | Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix |
| 2004 | DATE | Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? | Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix |
| 2004 | ICCAD | Formal verification coverage: computing the coverage gap between temporal specifications. | Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni |
| 2004 | MEMOCODE | The BUSpec platform for automated generation of verification aids for standard bus protocols. | Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2004 | VLSID | Formal Verification of Modules under Real Time Environment Constraints. | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2004 | VLSID | Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. | Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan |
| 2003 | ISCAS | Open computation tree logic with fairness. | Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2002 | DAC | Formal verification of module interfaces against real time specifications. | Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee |
| 2002 | VLSID | Open Computation Tree Logic for Formal Verification of Modules. | Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti |
| 2001 | DATE | Abstraction of word-level linear arithmetic functions from bit-level component descriptions. | Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti |
| 2001 | ISCAS | Abstractions for model checking of event timings. | Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti |
| 2001 | ISCAS | Symbolic verification of Boolean constraints over partially specified functions. | S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti |
| 1999 | HiPC | Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems. | Prashanti Das, Dibyendu Das, Pallab Dasgupta |
| 1999 | VLSID | Controlling State Explosion in Static Simulation by Selective Composition. | Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose |
| 1999 | VLSID | Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. | Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti |
| 1999 | VLSID | An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. | Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti |
| 1994 | VLSID | Multiobjective Search in VLSI Design. | Pallab Dasgupta, Prasenjit Mitra, P. P. Chakrabarti, S. C. De Sarkar |