P. Dasgupta

发表

Solar Irradiance Prediction from Historical Trends Using Deep Neural Networks

A. Mukherjee, Antara Ain, P. Dasgupta, 2018, 2018 IEEE International Conference on Smart Energy Grid Engineering (SEGE).

Raga identification based on Normalized Note Histogram features

R. Pradeep, Pallab Dasgupta, K. Sreenivasa Rao, 2015, 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

An Architectural Walkthrough Using 3 D Game Engine

Pallab Dasgupta, Mohammed Haque, P. Dasgupta, 2008 .

Heuristic search strategies for multiobjective state space search

P. Dasgupta, P. Chakrabarti, S. DeSarkar, 1996 .

A Function Dependent Concurrent Testing Technique for PLAs

P. Dasgupta, Abdul Mottalib, 1990 .

Exploitable Fault Space Characterization: A Complementary Approach

S. Bhasin, P. Dasgupta, Dirmanto Jap, 2019, Automated Methods in Cryptographic Fault Analysis.

Minimization of switching functions—an integrated approach

P. Dasgupta, 1980 .

Min-max event-triggered computation tree logic

J. K. Deka, P. Dasgupta, P. Chakrabarti, 2002 .

Formal Analysis of Hybrid Systems Using Feature Indented Assertions

Antonio Anastasio Bruto da Costa, P. Dasgupta, 2017, ArXiv.

Penalizing Proposals using Classifiers for Semi-Supervised Object Detection

P. Dasgupta, Somnath Hazra, 2022, ArXiv.

Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving pdf

Pallab Dasgupta, Briti Gangopadhyay, Harshit Soora, 2021, IEEE Transactions on Intelligent Transportation Systems.

Counterexample Guided RL Policy Refinement Using Bayesian Optimization

P. Dasgupta, Briti Gangopadhyay, 2021, NeurIPS.

A heuristic search approch to effectively solve constrained optimization problems from logical specifications

P. Dasgupta, Chakrabarti, Dey, 1998 .

Formal verification of module interfaces against real time specifications

A. Chakrabarti, P. Dasgupta, P. Chakrabarti, 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).

Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions

P. Dasgupta, Lakshmanan Balasubramanian, Aritra Hazra, 2022, 2022 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems (VLSID).

Automated Planning as an Early Verification Tool for Distributed Control

S. Ramesh, P. Dasgupta, K. Ghosh, 2014, Journal of Automated Reasoning.

SongF0: A Spectrum-Based Fundamental Frequency Estimation for Monophonic Songs

P. Dasgupta, Pradeep Rengaswamy, K. S. Rao, 2020, Circuits, Systems, and Signal Processing.

hf 0 : A Hybrid Pitch Extraction Method for Multimodal Voice

K. S. Rao, P. Dasgupta, Pradeep Rengaswamy, 2020 .

Formal assessment of reliability specifications in embedded cyber-physical systems

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

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures

Pallab Dasgupta, Amit Sharma, P. P. Chakrabarti, 2012, J. Artif. Intell. Res..

Automated Planning as an Early Verification Tool for Distributed Control

Pallab Dasgupta, S. Ramesh, Kamalesh Ghosh, 2014, Journal of Automated Reasoning.

Concurrent Usage Control Implementation Verification Using the SPIN Model Checker

Pallab Dasgupta, Soumya K. Ghosh, P. V. Rajkumar, 2010, CNSA.

Automatic Characterization of Exploitable Faults: A Machine Learning Approach

Debdeep Mukhopadhyay, Pallab Dasgupta, Sayandeep Saha, 2019, IEEE Transactions on Information Forensics and Security.

A fuzzy real-time temporal logic

Subhankar Mukherjee, Pallab Dasgupta, P. Dasgupta, 2013, Int. J. Approx. Reason..

A Roadmap for Formal Property Verification

Pallab Dasgupta, P. Dasgupta, 2006 .

The open family of temporal logics: Annotating temporal operators with input constraints

Ansuman Banerjee, Pallab Dasgupta, P. Dasgupta, 2005, TODE.

Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization

Pallab Dasgupta, Paul Jennings, Giovanni Montana, 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).

Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions

Soumyajit Dey, P. Dasgupta, Briti Gangopadhyay, 2023, IEEE Transactions on Intelligent Vehicles.

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

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

Workload Driven Power Domain Partitioning

Chittaranjan A. Mandal, Pallab Dasgupta, Arun Dobriyal, 2012, VDAT.

Abstractions for model checking of event timings

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

Model checking on timed-event structures

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

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

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

Planning based guided reconstruction of corner cases in architectural validation

Rakesh Kumar, Pallab Dasgupta, Soumyajit Dey, 2016, 2016 20th International Symposium on VLSI Design and Test (VDAT).

Formal Guarantees for Localized Bug Fixes

Ansuman Banerjee, Pallab Dasgupta, Harish Kumar, 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces

Ansuman Banerjee, Pallab Dasgupta, Anvesh Komuravelli, 2011, 2011 Asian Test Symposium.

APPLICATION SPECIFIC USAGE CONTROL IMPLEMENTATION VERIFICATION

Pallab Dasgupta, P. Dasgupta, S. K. Ghosh, 2009 .

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

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

An automated framework for exploitable fault identification in block ciphers

Debdeep Mukhopadhyay, Pallab Dasgupta, Sayandeep Saha, 2019, Journal of Cryptographic Engineering.

Multiobjektive Heuristic Search in AND/OR Graphs

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

A New Competitive Algorithm for Agent Searching in Unknown Streets

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

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

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

Searching Game Trees under a Partial Order

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

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

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

Agent Searching in a Tree and the Optimality of Iterative Deepening

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

A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation

Soumyajit Dey, P. Dasgupta, R. L. Jana, 2020, ACM Trans. Design Autom. Electr. Syst..

Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems

Sayak Ray, Pallab Dasgupta, P.P. Chakrabarti, 2006, 2006 Annual IEEE India Conference.

Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems pdf

Pallab Dasgupta, Aritra Hazra, Ginju V. George, 2020, ArXiv.

Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems

Pallab Dasgupta, Priyankar Ghosh, Aritra Hazra, 2012, Proceeding of the 2012 Forum on Specification and Design Languages.

Formal Feature Interpretation of Hybrid Systems

Pallab Dasgupta, Goran Frehse, Antonio Anastasio Bruto da Costa, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

V_THR: An Adaptive Load Balancing Algorithm

Pallab Dasgupta, P. Bhattacharya, A. K. Majumder, 1997, J. Parallel Distributed Comput..

Utility of Pathmax in Partial Order Heuristic Search

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

Anytime Algorithms for Biobjective Heuristic Search

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

Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture

Pallab Dasgupta, Ajit Pal, Rajdeep Mukherjee, 2012, ACITY.

Policy Based Security Analysis in Enterprise Networks: A Formal Approach

Pallab Dasgupta, Soumya K. Ghosh, Padmalochan Bera, 2010, IEEE Transactions on Network and Service Management.

Leakage Assessment in Fault Attacks: A Deep Learning Perspective

Pallab Dasgupta, Sayandeep Saha, Arnab Bag, 2020, IACR Cryptol. ePrint Arch..

Learn from Your Faults: Leakage Assessment in Fault Attacks Using Deep Learning

P. Dasgupta, Debdeep Mukhopadhyay, Arnab Bag, 2023, Journal of Cryptology.

ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures

Debdeep Mukhopadhyay, Pallab Dasgupta, Sikhar Patranabis, 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).

ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers

Debdeep Mukhopadhyay, Pallab Dasgupta, Sayandeep Saha, 2018, IACR Cryptol. ePrint Arch..

Breaking Redundancy-Based Countermeasures with Random Faults and Power Side Channel

Debdeep Mukhopadhyay, Pallab Dasgupta, Shivam Bhasin, 2018, 2018 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC).

CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs

Pallab Dasgupta, Sayandeep Sanyal, Lakshmanan Balasubramanian, 2020, 2020 33rd International Conference on VLSI Design and 2020 19th International Conference on Embedded Systems (VLSID).

A Structured Approach for Rapid Identification of Fault-Sensitive Nets in Analog Circuits

Amit Patra, Pallab Dasgupta, Sayandeep Sanyal, 2019, 2019 IEEE 28th Asian Test Symposium (ATS).

Feature Indented Assertions for Analog and Mixed-Signal Validation

Antara Ain, Pallab Dasgupta, Antonio Anastasio Bruto da Costa, 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Auxiliary state machines + context-triggered properties in verification

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

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control

Pallab Dasgupta, Souradeep Dutta, Soumyajit Dey, 2017, ACM Trans. Embed. Comput. Syst..

Comparative Study of ML Algorithms for Load Redistribution Attack Detection

C. Chakraborty, P. Dasgupta, P. Verma, 2022, 2022 IEEE 1st Industrial Electronics Society Annual On-Line Conference (ONCON).

Critical Load Identification for Load Redistribution Attacks

C. Chakraborty, P. Dasgupta, P. Verma, 2022, 2022 IEEE PES Innovative Smart Grid Technologies - Asia (ISGT Asia).

Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping

Soumyajit Dey, P. Dasgupta, A. Mujumdar, 2022, IEEE Transactions on Network and Service Management.

Post-silicon debugging of PMU integration errors using behavioral models

Subhankar Mukherjee, Antara Ain, Pallab Dasgupta, 2013, Integr..

A Framework for Automated Feature Based Mixed-Signal Equivalence Checking

Antara Ain, Pallab Dasgupta, Sayandeep Sanyal, 2017, VDAT.

An end to end correctness verification approach for application specific usage control

Pallab Dasgupta, S.K. Ghosh, P.V. Rajkumar, 2009, 2009 International Conference on Industrial and Information Systems (ICIIS).

Property refinement techniques for enhancing coverage of formal property verification

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

A BIST PLA design for high fault coverage and testing by an interleavingly crosspoint counting

P. Dasgupta, Md. Abdul Mottalib, P. Dasgupta, 1994, Proceedings of 7th International Conference on VLSI Design.

Algorithmic approaches for optimizing electronic control unit time using multi-rate sampling

Pallab Dasgupta, Soumyajit Dey, Rajorshee Raha, 2018, Control Theory and Technology.

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

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

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

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

Hardware accelerated constrained random test generation

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

Quantified Computation Tree Logic

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

Open computation tree logic for formal verification of modules

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

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

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

Acceptance and random generation of event sequences under real time calculus constraints

Pallab Dasgupta, Kajori Banerjee, P. Dasgupta, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Exploiting isomorphism for compaction and faster simulation of binary decision diagrams

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

Controlling state explosion in static simulation by selective composition

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

Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning

Soumyajit Dey, P. Dasgupta, Briti Gangopadhyay, 2023, AAMAS.

Computing Minimal Debugging Windows in Failure Traces of AMS Assertions

Subhankar Mukherjee, Pallab Dasgupta, P. Dasgupta, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

MAGNets: Micro-Architectured Group Neural Networks

P. Dasgupta, Briti Gangopadhyay, Sumanta Dey, 2024, AAMAS.

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series

Pallab Dasgupta, Antonio Anastasio Bruto da Costa, P. Dasgupta, 2019, J. Artif. Intell. Res..

Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers

Swarnava Dey, P. Dasgupta, Avik Ghose, 2023, 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops).