Pallab Dasgupta

246 papers A* 9A 16B 7C 7Misc 33Journal 120Unranked 51

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bias-variance games for tiny model synthesis in resource-constrained Earth Observation systems. J. Syst. Archit. Swarnava Dey, Pallab Dasgupta, Partha P. Chakrabarti
2026	J	`jnl`	DeepLR: Deep Learning Assisted Load Redistribution Attack on Cyber-Physical Power System. IEEE Trans. Smart Grid Praveen Verma, Pallab Dasgupta, Chandan Chakraborty
2025	A*	`conf`	Incentivizing Safer Actions in Policy Optimization for Constrained Reinforcement Learning. IJCAI Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2025	J	`jnl`	Incentivizing Safer Actions in Policy Optimization for Constrained Reinforcement Learning. CoRR Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2025	J	`jnl`	OPF $k$NN: Congestion Aware Real-Time Optimal Power Flow With Uncertain Solar Generation. IEEE Trans. Ind. Informatics Praveen Verma, Pallab Dasgupta, Chandan Chakraborty
2025	Misc	`conf`	PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. VLSID Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu
2025	—	`conf`	SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. ASP-DAC Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu
2025	A	`conf`	Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics. AAMAS Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2025	J	`jnl`	Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics. CoRR Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2024	A	`conf`	Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. AAMAS Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2024	—	`conf`	An Adaptive Interpretable Safe-RL Approach for Addressing Smart Grid Supply-Side Uncertainties. EXTRAAMAS Sumanta Dey, Praveen Verma, Pallab Dasgupta, Soumyajit Dey
2024	J	`jnl`	Efficient Low-Memory Implementation of Sparse CNNs Using Encoded Partitioned Hybrid Sparse Format. ACM Trans. Embed. Comput. Syst. Barnali Basak, Pallab Dasgupta, Arpan Pal
2024	A	`conf`	MAGNets: Micro-Architectured Group Neural Networks. AAMAS Sumanta Dey, Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2024	A*	`conf`	P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. AAAI Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
2024	A	`conf`	PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
2024	J	`jnl`	Towards Adaptive IMFs - Generalization of utility functions in Multi-Agent Frameworks. CoRR Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta
2024	B	`conf`	Towards Adaptive Networks - Generalized utility functions in Multi-Agent Frameworks. NetSoft Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta
2023	Misc	`conf`	Accelerating Defect Simulation in Analog and Mixed-Signal Circuits by Parallel Defect Injection. VLSID Sayandeep Sanyal, Mayukh Bhattacharya, Pallab Dasgupta, Amit Patra
2023	A	`conf`	Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits. DATE Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman
2023	J	`jnl`	CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. ACM Trans. Design Autom. Electr. Syst. Sourav Das, Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta
2023	A	`conf`	Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. AAMAS Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2023	B	`conf`	DietCNN: Multiplication-free Inference for Quantized CNNs. IJCNN Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti
2023	J	`jnl`	DietCNN: Multiplication-free Inference for Quantized CNNs. CoRR Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti
2023	B	`conf`	Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. NetSoft Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das
2023	J	`jnl`	Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. CoRR Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das
2023	—	`conf`	Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers. PerCom Workshops Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Pragya Singh, Pallab Dasgupta
2023	—	`conf`	Imperative Action Masking for Safe Exploration in Reinforcement Learning. EXTRAAMAS Sumanta Dey, Sharat Bhat, Pallab Dasgupta, Soumyajit Dey
2023	J	`jnl`	Learn from Your Faults: Leakage Assessment in Fault Attacks Using Deep Learning. J. Cryptol. Sayandeep Saha, Manaar Alam, Arnab Bag, Debdeep Mukhopadhyay, Pallab Dasgupta
2023	J	`jnl`	Penalizing proposals using classifiers for semi-supervised object detection. Comput. Vis. Image Underst. Somnath Hazra, Pallab Dasgupta
2023	—	`conf`	Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. SafeAI@AAAI Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
2023	J	`jnl`	Safe and Stable RL (S IEEE Trans. Intell. Veh. Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2023	A*	`conf`	Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). AAAI Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2022	J	`jnl`	Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. IEEE Trans. Netw. Serv. Manag. Sumanta Dey, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey
2022	—	`conf`	Critical Load Identification for Load Redistribution Attacks. ISGT Asia Praveen Verma, Sagar Gupta, Pallab Dasgupta, Chandan Chakraborty
2022	J	`jnl`	Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving. IEEE Trans. Intell. Transp. Syst. Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta
2022	J	`jnl`	Migrating Assertions From Dense to Discrete Time. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sudipa Mandal, Pallab Dasgupta
2022	J	`jnl`	Penalizing Proposals using Classifiers for Semi-Supervised Object Detection. CoRR Somnath Hazra, Pallab Dasgupta
2022	—	`conf`	PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. PRICAI (1) Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2022	—	`conf`	SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. CVPR Workshops Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti
2022	J	`jnl`	The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Sourav Das, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2022	Misc	`conf`	Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. VLSID Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2021	Misc	`conf`	An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. VLSID Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra
2021	A*	`conf`	Counterexample Guided RL Policy Refinement Using Bayesian Optimization. NeurIPS Briti Gangopadhyay, Pallab Dasgupta
2021	J	`jnl`	Hierarchical Program-Triggered Reinforcement Learning Agents For Automated Driving. CoRR Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta
2021	J	`jnl`	Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. J. Artif. Intell. Res. Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2021	—	`conf`	ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties. ISGT Asia Praveen Verma, Pallab Dasgupta, Chandan Chakraborty
2021	J	`jnl`	Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs. CoRR Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta, Aritra Hazra
2021	J	`jnl`	Performance-Driven Post-Processing of Control Loop Execution Schedules. ACM Trans. Design Autom. Electr. Syst. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2021	J	`jnl`	Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET CoRR Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
2021	J	`jnl`	Recurrence in Dense-Time AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2021	J	`jnl`	SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
2021	J	`jnl`	Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision. Pattern Recognit. Lett. Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta
2021	J	`jnl`	SongF0: A Spectrum-Based Fundamental Frequency Estimation for Monophonic Songs. Circuits Syst. Signal Process. Pradeep Rengaswamy, K. Sreenivasa Rao, Pallab Dasgupta
2021	J	`jnl`	Usage-Driven Personalization of Power Management Logic. IEEE Embed. Syst. Lett. Sudipa Mandal, Aritra Hazra, Pallab Dasgupta
2021	J	`jnl`	hf Circuits Syst. Signal Process. Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta
2020	J	`jnl`	A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. ACM Trans. Design Autom. Electr. Syst. Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta
2020	J	`jnl`	A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits. J. Electron. Test. Sayandeep Sanyal, Mayukh Bhattacharya, Amit Patra, Pallab Dasgupta
2020	J	`jnl`	Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. IEEE Trans. Very Large Scale Integr. Syst. Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan
2020	J	`jnl`	Automated planning for finding alternative bug traces. IET Comput. Digit. Tech. Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta
2020	Misc	`conf`	CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. VLSID Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2020	J	`jnl`	Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
2020	J	`jnl`	Leakage Assessment in Fault Attacks: A Deep Learning Perspective. IACR Cryptol. ePrint Arch. Sayandeep Saha, Manaar Alam, Arnab Bag, Debdeep Mukhopadhyay, Pallab Dasgupta
2020	J	`jnl`	Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. ACM Trans. Embed. Comput. Syst. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2020	J	`jnl`	Recurrence in Dense-time AMS Assertions. CoRR Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2020	J	`jnl`	Robust Speech Commun. Pradeep Rengaswamy, Mittapalle Kiran Reddy, Krothapalli Sreenivasa Rao, Pallab Dasgupta
2020	—	`conf`	Safety Augmentation in Decision Trees. AISafety@IJCAI Sumanta Dey, Pallab Dasgupta, Briti Gangopadhyay
2020	J	`jnl`	Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision. CoRR Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta
2020	—	`conf`	The Notion of Cross Coverage in AMS Design Verification. ASP-DAC Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
2019	—	`conf`	A Structured Approach for Rapid Identification of Fault-Sensitive Nets in Analog Circuits. ATS Sayandeep Sanyal, Amit Patra, Pallab Dasgupta, Mayukh Bhattacharya
2019	A*	`conf`	ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures. DAC Sayandeep Saha, S. Nishok Kumar, Sikhar Patranabis, Debdeep Mukhopadhyay, Pallab Dasgupta
2019	J	`jnl`	An automated framework for exploitable fault identification in block ciphers. J. Cryptogr. Eng. Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
2019	J	`jnl`	Automatic Characterization of Exploitable Faults: A Machine Learning Approach. IEEE Trans. Inf. Forensics Secur. Sayandeep Saha, Dirmanto Jap, Sikhar Patranabis, Debdeep Mukhopadhyay, Shivam Bhasin, Pallab Dasgupta
2019	—	`conf`	Fault Classification and Coverage of Analog Circuits using DC Operating Point and Frequency Response Analysis. ACM Great Lakes Symposium on VLSI Sayandeep Sanyal, Shan Pavan Pani Krishna Garapati, Amit Patra, Pallab Dasgupta, Mayukh Bhattacharya
2019	J	`jnl`	Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
2019	—	`conf`	Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization. ITSC Briti Gangopadhyay, Siddartha Khastgir, Sumanta Dey, Pallab Dasgupta, Giovanni Montana, Paul A. Jennings
2019	J	`jnl`	Interpreting Local Variables in AMS Assertions During Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Antara Ain, Pallab Dasgupta
2019	J	`jnl`	Performance and energy aware robust specification of control execution patterns under dropped samples. IET Comput. Digit. Tech. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2019	Misc	`conf`	Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. VLSID Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2018	Misc	`conf`	AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. VLSID Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta
2018	C	`conf`	Breaking Redundancy-Based Countermeasures with Random Faults and Power Side Channel. FDTC Sayandeep Saha, Dirmanto Jap, Jakub Breier, Shivam Bhasin, Debdeep Mukhopadhyay, Pallab Dasgupta
2018	J	`jnl`	Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. IEEE Embed. Syst. Lett. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2018	J	`jnl`	ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. IACR Cryptol. ePrint Arch. Sayandeep Saha, Debdeep Mukhopadhyay, Pallab Dasgupta
2018	J	`jnl`	ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. IACR Trans. Cryptogr. Hardw. Embed. Syst. Sayandeep Saha, Debdeep Mukhopadhyay, Pallab Dasgupta
2018	—	`conf`	Feature Based Coverage Analysis of AMS Circuits. ISVLSI Antara Ain, Akshay Mambakam, Pallab Dasgupta
2018	J	`jnl`	Formal Feature Interpretation of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
2018	Misc	`conf`	Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. VLSID Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan
2018	—	`ch.`	On the Deep Structure of Ragas and Analytic Rating of Music Scores. Heritage Preservation Sudipa Mandal, Shilpi Chaudhuri, Antonio Anastasio Bruto da Costa, Gouri Karambelkar, Pallab Dasgupta
2017	—	`conf`	A Framework for Automated Feature Based Mixed-Signal Equivalence Checking. VDAT Antara Ain, Sayandeep Sanyal, Pallab Dasgupta
2017	J	`jnl`	A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
2017	—	`conf`	An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. PROOFS Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
2017	J	`jnl`	Automatic Characterization of Exploitable Faults: A Machine Learning Approach. IACR Cryptol. ePrint Arch. Sayandeep Saha, Dirmanto Jap, Sikhar Patranabis, Debdeep Mukhopadhyay, Shivam Bhasin, Pallab Dasgupta
2017	J	`jnl`	Differential Fault Analysis Automation. IACR Cryptol. ePrint Arch. Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
2017	Misc	`conf`	Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. VLSID Antara Ain, Akshay Mambakam, Pallab Dasgupta, Siddhartha Mukhopadhyay
2017	B	`conf`	ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ATVA Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2017	J	`jnl`	Formal Analysis of Hybrid Systems Using Feature Indented Assertions. CoRR Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2017	J	`jnl`	Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic. IEEE Trans. Intell. Transp. Syst. Shiladitya Ghosh, Arindam Das, Nirvik Basak, Pallab Dasgupta, Alok Katiyar
2017	Misc	`conf`	Formal Verification of Power Management Logic with Mixed-Signal Domains. VLSID Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu
2017	Misc	`conf`	Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. VLSID Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2016	A	`conf`	A Robust Non-Parametric and Filtering Based Approach for Glottal Closure Instant Detection. INTERSPEECH Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta
2016	J	`jnl`	Feature Indented Assertions for Analog and Mixed-Signal Validation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Antara Ain, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2016	J	`jnl`	Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
2016	C	`conf`	Formal feature analysis of hybrid automata. MEMOCODE Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
2016	J	`jnl`	Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
2016	—	`conf`	Planning based guided reconstruction of corner cases in architectural validation. VDAT Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, Rakesh Kumar
2016	—	`conf`	Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
2015	—	`conf`	A New Approach for Minimal Environment Construction for Modular Property Verification. ATS Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta
2015	J	`jnl`	Automated Planning as an Early Verification Tool for Distributed Control. J. Autom. Reason. Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
2015	J	`jnl`	Formal Interpretation of Assertion-Based Features on AMS Designs. IEEE Des. Test Antonio Anastasio Bruto da Costa, Pallab Dasgupta
2015	Misc	`conf`	Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. VLSID Sumana Ghosh, Pallab Dasgupta
2015	Misc	`conf`	Monitoring AMS Simulation: From Assertions to Features. VLSID Antara Ain, Pallab Dasgupta
2015	J	`jnl`	Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
2015	—	`conf`	Raga identification based on Normalized Note Histogram features. ICACCI R. Pradeep, Prasenjit Dhara, K. Sreenivasa Rao, Pallab Dasgupta
2015	C	`conf`	Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
2014	A	`conf`	Acceptance and random generation of event sequences under real time calculus constraints. DATE Kajori Banerjee, Pallab Dasgupta
2014	J	`jnl`	Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. CoRR Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
2014	—	`ch.`	Early Time-Budgeting for Component-Based Embedded Control Systems. Embedded Systems Development, From Functional Models to Implementations Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
2014	J	`jnl`	Formal Hardware/Software Co-Verification of Embedded Power Controllers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee
2014	—	`conf`	Synthesis of sampling modes for adaptive control. ICCSCE Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
2014	J	`jnl`	Time-budgeting: a component based development methodology for real-time embedded systems. Formal Aspects Comput. Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
2013	J	`jnl`	A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture CoRR Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
2013	J	`jnl`	A fuzzy real-time temporal logic. Int. J. Approx. Reason. Subhankar Mukherjee, Pallab Dasgupta
2013	A*	`conf`	Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. IJCAI Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta
2013	J	`jnl`	An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis. J. Low Power Electron. Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
2013	J	`jnl`	Counterexample Ranking Using Mined Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Harish Kumar
2013	—	`conf`	Debugging assertion failures in software controllers using a reference model. ISEC Kajori Banerjee, M. Santhosh Prabhu, Pallab Dasgupta
2013	J	`jnl`	Formal Guarantees for Localized Bug Fixes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar
2013	J	`jnl`	Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta
2013	J	`jnl`	Formal Verification of Architectural Power Intent. IEEE Trans. Very Large Scale Integr. Syst. Aritra Hazra, Sahil Goyal, Pallab Dasgupta, Ajit Pal
2013	Misc	`conf`	Formal Verification of Hardware / Software Power Management Strategies. VLSI Design Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee
2013	—	`conf`	Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
2013	Misc	`conf`	Model Checking Controllers with Predicate Inputs. VLSI Design M. Santhosh Prabhu, Pallab Dasgupta
2013	—	`conf`	Model checking of global power management strategies in software with temporal logic properties. ISEC Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta
2013	—	`conf`	Ordered Solution Generation for Implicit AND/OR Search Spaces. PReMI Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta
2013	J	`jnl`	POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee
2013	J	`jnl`	Post-silicon debugging of PMU integration errors using behavioral models. Integr. Antara Ain, Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay
2013	J	`jnl`	Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. IEEE Embed. Syst. Lett. M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta
2012	—	`conf`	A Generalized Theory for Formal Assertion Coverage. Asian Test Symposium Sourasis Das, Ansuman Banerjee, Pallab Dasgupta
2012	Misc	`conf`	A Library for Passive Online Verification of Analog and Mixed-Signal Circuits. VLSI Design Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay
2012	J	`jnl`	A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2012	J	`jnl`	Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. J. Artif. Intell. Res. Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
2012	—	`conf`	Anytime Algorithms for Biobjective Heuristic Search. Australasian Conference on Artificial Intelligence Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta
2012	J	`jnl`	Assertion Aware Sampling Refinement: A Mixed-Signal Perspective. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Subhankar Mukherjee, Pallab Dasgupta
2012	J	`jnl`	Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
2012	J	`jnl`	Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Subhankar Mukherjee, Pallab Dasgupta
2012	J	`jnl`	Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sourasis Das, Ansuman Banerjee, Pallab Dasgupta
2012	B	`conf`	Execution Ordering in AND/OR Graphs with Failure Probabilities. SOCS Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta
2012	—	`conf`	Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer
2012	A	`conf`	Formal methods for ranking counterexamples through assumption mining. DATE Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
2012	—	`conf`	Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework. ISED Rajdeep Mukherjee, Priyankar Ghosh, N. Sravan Kumar, Pallab Dasgupta, Ajit Pal
2012	—	`conf`	Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. ACITY (3) Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal
2012	J	`jnl`	POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. J. Low Power Electron. Priyankar Ghosh, Aritra Hazra, Rahul Gonnabhaktula, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul
2012	—	`conf`	Planning with Action Prioritization and New Benchmarks for Classical Planning. Australasian Conference on Artificial Intelligence Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
2012	C	`conf`	Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. FDL Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta
2012	J	`jnl`	SAT based timing analysis for fixed and rise/fall gate delay models. Integr. Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2012	J	`jnl`	Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults. ACM Trans. Design Autom. Electr. Syst. Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta
2012	J	`jnl`	Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. ACM Trans. Design Autom. Electr. Syst. Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran
2012	J	`jnl`	Verification by parts: reusing component invariant checking results. IET Comput. Digit. Tech. Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta
2012	—	`conf`	Workload Driven Power Domain Partitioning. VDAT Arun Dobriyal, Rahul Gonnabattula, Pallab Dasgupta, Chittaranjan A. Mandal
2011	J	`jnl`	A WLAN security management framework based on formal spatio-temporal RBAC model. Secur. Commun. Networks Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta
2011	J	`jnl`	Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay
2011	Misc	`conf`	Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. VLSI Design Subhankar Mukherjee, Pallab Dasgupta
2011	—	`conf`	Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. Asian Test Symposium Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
2011	J	`jnl`	Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models. ACM Trans. Design Autom. Electr. Syst. Antara Ain, Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough
2011	—	`conf`	POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. ISED Priyankar Ghosh, Aritra Hazra, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul
2011	J	`jnl`	Some results on Parametric Temporal Logic. Inf. Process. Lett. Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
2010	C	`conf`	A Query based Formal Security Analysis Framework for Enterprise LAN. CIT Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh, Pallab Dasgupta
2010	—	`conf`	A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model. CNSA Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh, Pallab Dasgupta
2010	—	`conf`	A Spatio-Temporal Role-Based Access Control Model for Wireless LAN Security Policy Management. ICISTM Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta
2010	J	`jnl`	A static verification approach for architectural integration of mixed-signal integrated circuits. Integr. Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, Subrat Kumar Panda, Siddhartha Mukhopadhyay
2010	Misc	`conf`	Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. VLSI Design Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta
2010	J	`jnl`	Bounded delay timing analysis and power estimation using SAT. Microelectron. J. Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2010	—	`conf`	Concurrent Usage Control Implementation Verification Using the SPIN Model Checker. CNSA P. V. Rajkumar, Soumya Kanti Ghosh, Pallab Dasgupta
2010	Misc	`conf`	Coverage Management with Inline Assertions and Formal Test Points. VLSI Design Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
2010	J	`jnl`	Detecting Ontological Conflicts in Protocols between Semantic Web Services CoRR Priyankar Ghosh, Pallab Dasgupta
2010	J	`jnl`	Integrated security analysis framework for an enterprise network - a formal approach. IET Inf. Secur. Padmalochan Bera, Santosh K. Ghosh, Pallab Dasgupta
2010	A*	`conf`	Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. DAC Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha
2010	J	`jnl`	Policy Based Security Analysis in Enterprise Networks: A Formal Approach. IEEE Trans. Netw. Serv. Manag. Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta
2010	A	`conf`	Taming the component timing: A CBD methodology for real-time embedded systems. DATE Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
2009	A	`conf`	A formal approach for specification-driven AMS behavioral model generation. DATE Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta
2009	J	`jnl`	Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti
2009	—	`conf`	Fault Analysis of Security Policy Implementations in Enterprise Networks. NetCoM Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta
2009	Misc	`conf`	Formal Verification of Security Policy Implementations in Enterprise Networks. ICISS Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta
2009	Misc	`conf`	Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
2009	J	`jnl`	Instrumenting AMS assertion verification on commercial platforms. ACM Trans. Design Autom. Electr. Syst. Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough
2008	B	`conf`	A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2008	J	`jnl`	Accelerating Assertion Coverage With Adaptive Testbenches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta
2008	J	`jnl`	Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2008	B	`conf`	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA Ansuman Banerjee, Kausik Datta, Pallab Dasgupta
2008	—	`conf`	Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan
2008	J	`jnl`	Satisfiability Models for Maximum Transition Power. IEEE Trans. Very Large Scale Integr. Syst. Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2007	Misc	`conf`	A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti
2007	J	`jnl`	BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2007	Misc	`conf`	Bounded Delay Timing Analysis Using Boolean Satisfiability. VLSI Design Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2007	J	`jnl`	Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Design Autom. Electr. Syst. Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
2007	J	`jnl`	Hardware accelerated constrained random test generation. IET Comput. Digit. Tech. Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De
2007	J	`jnl`	Statistical static timing analysis using symbolic event propagation. IET Circuits Devices Syst. Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta
2007	—	`conf`	Timing Analysis of Sequential Circuits Using Symbolic Event Propagation. ICCTA Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta
2006	—	`conf`	A Framework for Estimating Peak Power in Gate-Level Circuits. PATMOS Diganchal Chakraborty, P. P. Chakrabarti, Arijit Mondal, Pallab Dasgupta
2006	J	`jnl`	Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2006	—	`conf`	Discovering the input assumptions in specification refinement coverage. ASP-DAC Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti
2006	C	`conf`	Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2006	Misc	`conf`	Instruction-Set-Extension Exploration Using Decomposable Heuristic Search. VLSI Design Samik Das, P. P. Chakrabarti, Pallab Dasgupta
2006	—	`conf`	Synthesis of system verilog assertions. DATE Designers' Forum Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti
2006	A*	`conf`	Test generation games from formal specifications. DAC Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta
2006	A	`conf`	What lies between design intent coverage and model checking? DATE Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
2005	Misc	`conf`	Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2005	A	`conf`	SAT based solutions for consistency problems in formal property specifications for open systems. ICCAD Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti
2005	Misc	`conf`	Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. VLSI Design Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
2005	J	`jnl`	The open family of temporal logics: Annotating temporal operators with input constraints. ACM Trans. Design Autom. Electr. Syst. Ansuman Banerjee, Pallab Dasgupta
2004	—	`conf`	Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2004	A	`conf`	Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2004	Misc	`conf`	Formal Verification of Modules under Real Time Environment Constraints. VLSI Design Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2004	A	`conf`	Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004	Misc	`conf`	Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. VLSI Design Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan
2004	C	`conf`	The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
2004	J	`jnl`	The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2003	J	`jnl`	A Branching Time Temporal Framework for Quantitative Reasoning. J. Autom. Reason. Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
2003	—	`conf`	Open computation tree logic with fairness. ISCAS (5) Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti
2002	A*	`conf`	Formal verification of module interfaces against real time specifications. DAC Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee
2002	—	`conf`	Open Computation Tree Logic for Formal Verification of Modules. ASP-DAC/VLSI Design Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti
2002	J	`jnl`	Quantified Computation Tree Logic. Inf. Process. Lett. Anindya C. Patthak, Indrajit Bhattacharya, Anirban Dasgupta, Pallab Dasgupta, P. P. Chakrabarti
2002	J	`jnl`	Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. IEEE Trans. Knowl. Data Eng. Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel
2001	A	`conf`	Abstraction of word-level linear arithmetic functions from bit-level component descriptions. DATE Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti
2001	—	`conf`	Abstractions for model checking of event timings. ISCAS (5) Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti
2001	J	`jnl`	Min-max Computation Tree Logic. Artif. Intell. Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan
2001	—	`conf`	Symbolic verification of Boolean constraints over partially specified functions. ISCAS (5) S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti
2000	J	`jnl`	Model checking on timed-event structures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Pallab Dasgupta, Jatindra Kumar Deka, Partha Pratim Chakrabarti
1999	Misc	`conf`	Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems. HiPC Prashanti Das, Dibyendu Das, Pallab Dasgupta
1999	Misc	`conf`	An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. VLSI Design Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti
1999	Misc	`conf`	Controlling State Explosion in Static Simulation by Selective Composition. VLSI Design Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose
1999	Misc	`conf`	Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. VLSI Design Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti
1999	—	`book`	Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1998	J	`jnl`	A Heuristic for the Maximum Processor Requirement for Scheduling Layered Task Graphs with Coloring. J. Parallel Distributed Comput. Dibyendu Das, Pallab Dasgupta, Prashanti Das
1998	J	`jnl`	Agreement under Faulty Interfaces. Inf. Process. Lett. Pallab Dasgupta
1997	J	`jnl`	V_THR: An Adaptive Load Balancing Algorithm. J. Parallel Distributed Comput. Pallab Dasgupta, A. K. Majumder, P. Bhattacharya
1996	—	`conf`	A New Competitive Algorithm for Agent Searching in Unknown Streets. FSTTCS Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996	J	`jnl`	Agent Search in Uniform b-Ary Trees: Multiple Goals and Unequal Costs. Inf. Process. Lett. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996	J	`jnl`	Multiobjektive Heuristic Search in AND/OR Graphs. J. Algorithms Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996	J	`jnl`	Searching Game Trees under a Partial Order. Artif. Intell. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1996	J	`jnl`	Searching Game Trees under a Partial Order. ICCA J. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1995	J	`jnl`	A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening". Artif. Intell. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1995	—	`conf`	A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors. FSTTCS Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1995	J	`jnl`	Utility of Pathmax in Partial Order Heuristic Search. Inf. Process. Lett. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1994	J	`jnl`	Agent Searching in a Tree and the Optimality of Iterative Deepening. Artif. Intell. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1994	J	`jnl`	Agent Searching in a Tree and the Optimality of Iterative Deepening. ICCA J. Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
1994	Misc	`conf`	Multiobjective Search in VLSI Design. VLSI Design Pallab Dasgupta, Prasenjit Mitra, P. P. Chakrabarti, S. C. De Sarkar