Pallab Dasgupta

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 101

Top Venues

CoRR

VLSI Design

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

IACR Cryptol. ePrint Arch.

Publications

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE (2024)
Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta
Towards Adaptive IMFs - Generalization of utility functions in Multi-Agent Frameworks. CoRR (2024)
Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. AAMAS (2024)
Sumanta Dey, Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
MAGNets: Micro-Architectured Group Neural Networks. AAMAS (2024)
Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta
Towards Adaptive Networks - Generalized utility functions in Multi-Agent Frameworks. NetSoft (2024)
Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. AAAI (2024)
Somnath Hazra, Pallab Dasgupta
Penalizing proposals using classifiers for semi-supervised object detection. Comput. Vis. Image Underst. 235 (2023)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. AAMAS (2023)
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman
Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits. DATE (2023)
Sayandeep Saha, Manaar Alam, Arnab Bag, Debdeep Mukhopadhyay, Pallab Dasgupta
Learn from Your Faults: Leakage Assessment in Fault Attacks Using Deep Learning. J. Cryptol. 36 (3) (2023)
Sourav Das, Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta
CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. ACM Trans. Design Autom. Electr. Syst. 28 (1) (2023)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). AAAI (2023)
Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das
Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. NetSoft (2023)
Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti
DietCNN: Multiplication-free Inference for Quantized CNNs. IJCNN (2023)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
RL) Driving Policies Using Control Barrier and Control Lyapunov Functions. IEEE Trans. Intell. Veh. 8 (2) (2023)
Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. SafeAI@AAAI (2023)
Sumanta Dey, Sharat Bhat, Pallab Dasgupta, Soumyajit Dey
Imperative Action Masking for Safe Exploration in Reinforcement Learning. EXTRAAMAS (2023)
Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Pragya Singh, Pallab Dasgupta
Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers. PerCom Workshops (2023)
Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das
Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. CoRR (2023)
Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti
DietCNN: Multiplication-free Inference for Quantized CNNs. CoRR (2023)
Sayandeep Sanyal, Mayukh Bhattacharya, Pallab Dasgupta, Amit Patra
Accelerating Defect Simulation in Analog and Mixed-Signal Circuits by Parallel Defect Injection. VLSID (2023)
Praveen Verma, Sagar Gupta, Pallab Dasgupta, Chandan Chakraborty
Critical Load Identification for Load Redistribution Attacks. ISGT Asia (2022)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. PRICAI (1) (2022)
Sudipa Mandal, Pallab Dasgupta
Migrating Assertions From Dense to Discrete Time. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (7) (2022)
Sumanta Dey, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey
Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. IEEE Trans. Netw. Serv. Manag. 19 (4) (2022)
Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Sourav Das, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (12) (2022)
Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. VLSID (2022)
Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta
Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Somnath Hazra, Pallab Dasgupta
Penalizing Proposals using Classifiers for Semi-Supervised Object Detection. CoRR (2022)
Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti
SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. CVPR Workshops (2022)
Sudipa Mandal, Aritra Hazra, Pallab Dasgupta
Usage-Driven Personalization of Power Management Logic. IEEE Embed. Syst. Lett. 13 (3) (2021)
Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta, Aritra Hazra
Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs. CoRR (2021)
Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta
Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision. Pattern Recognit. Lett. 152 (2021)
Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra
An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. VLSI Design (2021)
Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta
Hierarchical Program-Triggered Reinforcement Learning Agents For Automated Driving. CoRR (2021)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
. CoRR (2021)
Pradeep Rengaswamy, K. Sreenivasa Rao, Pallab Dasgupta
SongF0: A Spectrum-Based Fundamental Frequency Estimation for Monophonic Songs. Circuits Syst. Signal Process. 40 (2) (2021)
Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Recurrence in Dense-Time AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (11) (2021)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. J. Artif. Intell. Res. 70 (2021)
Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. 13 (3) (2021)
Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta
: A Hybrid Pitch Extraction Method for Multimodal Voice. Circuits Syst. Signal Process. 40 (1) (2021)
Praveen Verma, Pallab Dasgupta, Chandan Chakraborty
ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties. ISGT Asia (2021)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Performance-Driven Post-Processing of Control Loop Execution Schedules. ACM Trans. Design Autom. Electr. Syst. 26 (2) (2021)
Briti Gangopadhyay, Pallab Dasgupta
Counterexample Guided RL Policy Refinement Using Bayesian Optimization. NeurIPS (2021)
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. VLSI Design (2020)
Pradeep Rengaswamy, Mittapalle Kiran Reddy, Krothapalli Sreenivasa Rao, Pallab Dasgupta
extraction from monophonic signals using adaptive sub-band filtering. Speech Commun. 116 (2020)
Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR (2020)
Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan
Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. IEEE Trans. Very Large Scale Integr. Syst. 28 (8) (2020)
Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta
A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. ACM Trans. Design Autom. Electr. Syst. 25 (4) (2020)
Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Recurrence in Dense-time AMS Assertions. CoRR (2020)
Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta
Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision. CoRR (2020)
Sayandeep Saha, Manaar Alam, Arnab Bag, Debdeep Mukhopadhyay, Pallab Dasgupta
Leakage Assessment in Fault Attacks: A Deep Learning Perspective. IACR Cryptol. ePrint Arch. 2020 (2020)
Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta
Automated planning for finding alternative bug traces. IET Comput. Digit. Tech. 14 (6) (2020)
Sumanta Dey, Pallab Dasgupta, Briti Gangopadhyay
Safety Augmentation in Decision Trees. AISafety@IJCAI (2020)
Sayandeep Sanyal, Mayukh Bhattacharya, Amit Patra, Pallab Dasgupta
A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits. J. Electron. Test. 36 (6) (2020)
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
The Notion of Cross Coverage in AMS Design Verification. ASP-DAC (2020)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. ACM Trans. Embed. Comput. Syst. 19 (2) (2020)
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR (2019)
Sayandeep Saha, Dirmanto Jap, Sikhar Patranabis, Debdeep Mukhopadhyay, Shivam Bhasin, Pallab Dasgupta
Automatic Characterization of Exploitable Faults: A Machine Learning Approach. IEEE Trans. Inf. Forensics Secur. 14 (4) (2019)
Sayandeep Sanyal, Amit Patra, Pallab Dasgupta, Mayukh Bhattacharya
A Structured Approach for Rapid Identification of Fault-Sensitive Nets in Analog Circuits. ATS (2019)
Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
An automated framework for exploitable fault identification in block ciphers. J. Cryptogr. Eng. 9 (3) (2019)
Sayandeep Sanyal, Shan Pavan Pani Krishna Garapati, Amit Patra, Pallab Dasgupta, Mayukh Bhattacharya
Fault Classification and Coverage of Analog Circuits using DC Operating Point and Frequency Response Analysis. ACM Great Lakes Symposium on VLSI (2019)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. VLSI Design (2019)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Performance and energy aware robust specification of control execution patterns under dropped samples. IET Comput. Digit. Tech. 13 (6) (2019)
Antara Ain, Pallab Dasgupta
Interpreting Local Variables in AMS Assertions During Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (5) (2019)
Sayandeep Saha, S. Nishok Kumar, Sikhar Patranabis, Debdeep Mukhopadhyay, Pallab Dasgupta
ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures. DAC (2019)
Briti Gangopadhyay, Siddartha Khastgir, Sumanta Dey, Pallab Dasgupta, Giovanni Montana, Paul A. Jennings
Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization. ITSC (2019)
Sayandeep Saha, Debdeep Mukhopadhyay, Pallab Dasgupta
ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. IACR Cryptol. ePrint Arch. 2018 (2018)
Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan
Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. VLSI Design (2018)
Sayandeep Saha, Debdeep Mukhopadhyay, Pallab Dasgupta
ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018 (2) (2018)
Antara Ain, Akshay Mambakam, Pallab Dasgupta
Feature Based Coverage Analysis of AMS Circuits. ISVLSI (2018)
Sayandeep Saha, Dirmanto Jap, Jakub Breier, Shivam Bhasin, Debdeep Mukhopadhyay, Pallab Dasgupta
Breaking Redundancy-Based Countermeasures with Random Faults and Power Side Channel. FDTC (2018)
Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. VLSI Design (2018)
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
Formal Feature Interpretation of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. IEEE Embed. Syst. Lett. 10 (4) (2018)
Antara Ain, Akshay Mambakam, Pallab Dasgupta, Siddhartha Mukhopadhyay
Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. VLSI Design (2017)
Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
Differential Fault Analysis Automation. IACR Cryptol. ePrint Arch. 2017 (2017)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. VLSI Design (2017)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Formal Analysis of Hybrid Systems Using Feature Indented Assertions. CoRR (2017)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ATVA (2017)
Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. PROOFS (2017)
Antara Ain, Sayandeep Sanyal, Pallab Dasgupta
A Framework for Automated Feature Based Mixed-Signal Equivalence Checking. VDAT (2017)
Sayandeep Saha, Dirmanto Jap, Sikhar Patranabis, Debdeep Mukhopadhyay, Shivam Bhasin, Pallab Dasgupta
Automatic Characterization of Exploitable Faults: A Machine Learning Approach. IACR Cryptol. ePrint Arch. 2017 (2017)
Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Shiladitya Ghosh, Arindam Das, Nirvik Basak, Pallab Dasgupta, Alok Katiyar
Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic. IEEE Trans. Intell. Transp. Syst. 18 (3) (2017)
Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu
Formal Verification of Power Management Logic with Mixed-Signal Domains. VLSI Design (2017)
Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta
A Robust Non-Parametric and Filtering Based Approach for Glottal Closure Instant Detection. INTERSPEECH (2016)
Antara Ain, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Feature Indented Assertions for Analog and Mixed-Signal Validation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (11) (2016)
Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. 8 (4) (2016)
Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, Rakesh Kumar
Planning based guided reconstruction of corner cases in architectural validation. VDAT (2016)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
Formal feature analysis of hybrid automata. MEMOCODE (2016)
Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. 18 (2016)
Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS (2016)
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
Automated Planning as an Early Verification Tool for Distributed Control. J. Autom. Reason. 54 (1) (2015)
Sumana Ghosh, Pallab Dasgupta
Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. VLSI Design (2015)
Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta
A New Approach for Minimal Environment Construction for Modular Property Verification. ATS (2015)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Formal Interpretation of Assertion-Based Features on AMS Designs. IEEE Des. Test 32 (1) (2015)
Antara Ain, Pallab Dasgupta
Monitoring AMS Simulation: From Assertions to Features. VLSI Design (2015)
R. Pradeep, Prasenjit Dhara, K. Sreenivasa Rao, Pallab Dasgupta
Raga identification based on Normalized Note Histogram features. ICACCI (2015)
Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR (2015)

Pallab Dasgupta.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pallab Dasgupta