Multiobjective Search in VLSI Design. - Pallab Dasgupta; Prasenjit Mitra; P. P. Chakrabarti 001; S. C. De Sarkar (VLSI Design, 1994)

Agent Searching in a Tree and the Optimality of Iterative Deepening. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (Artif. Intell., 1994)

A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (FSTTCS, 1995)

A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening". - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (Artif. Intell., 1995)

Utility of Pathmax in Partial Order Heuristic Search. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (Inf. Process. Lett., 1995)

A New Competitive Algorithm for Agent Searching in Unknown Streets. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (FSTTCS, 1996)

Searching Game Trees under a Partial Order. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (Artif. Intell., 1996)

Agent Search in Uniform b-Ary Trees: Multiple Goals and Unequal Costs. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (Inf. Process. Lett., 1996)

Multiobjektive Heuristic Search in AND/OR Graphs. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (J. Algorithms, 1996)

V_THR: An Adaptive Load Balancing Algorithm. - Pallab Dasgupta; A. K. Majumder; P. Bhattacharya (J. Parallel Distributed Comput., 1997)

Agreement under Faulty Interfaces. - Pallab Dasgupta (Inf. Process. Lett., 1998)

A Heuristic for the Maximum Processor Requirement for Scheduling Layered Task Graphs with Coloring. - Dibyendu Das 003; Pallab Dasgupta; Prashanti Das (J. Parallel Distributed Comput., 1998)

Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization. - Pallab Dasgupta; P. P. Chakrabarti 001; S. C. De Sarkar (Vieweg, 1999)

Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems. - Prashanti Das; Dibyendu Das 003; Pallab Dasgupta (HiPC, 1999)

Controlling State Explosion in Static Simulation by Selective Composition. - Partha Pratim Chakrabarti; Pallab Dasgupta; Partha Pratim Das 001; Arnob Roy; Shuvendu K. Lahiri; Mrinal Bose (VLSI Design, 1999)

Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. - Pankaj Chauhan; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 1999)

An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. - Jatindra Kumar Deka; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 1999)

Model checking on timed-event structures. - Pallab Dasgupta; Jatindra Kumar Deka; Partha Pratim Chakrabarti (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Abstraction of word-level linear arithmetic functions from bit-level component descriptions. - Pallab Dasgupta; P. P. Chakrabarti 001; Amit Nandi; Sekar Krishna; Arindam Chakrabarti (DATE, 2001)

Abstractions for model checking of event timings. - Jatindra Kumar Deka; S. Chaki; Pallab Dasgupta; P. P. Chakrabarti 001 (ISCAS (5), 2001)

Symbolic verification of Boolean constraints over partially specified functions. - S. Sriram; R. Tandon; Pallab Dasgupta; P. P. Chakrabarti 001 (ISCAS (5), 2001)

Min-max Computation Tree Logic. - Pallab Dasgupta; P. P. Chakrabarti 001; Jatindra Kumar Deka; Sriram Sankaranarayanan 001 (Artif. Intell., 2001)

Formal verification of module interfaces against real time specifications. - Arindam Chakrabarti; Pallab Dasgupta; P. P. Chakrabarti 001; Ansuman Banerjee (DAC, 2002)

Open Computation Tree Logic for Formal Verification of Modules. - Pallab Dasgupta; Arindam Chakrabarti; P. P. Chakrabarti 001 (ASP-DAC/VLSI Design, 2002)

Quantified Computation Tree Logic. - Anindya C. Patthak; Indrajit Bhattacharya; Anirban Dasgupta 001; Pallab Dasgupta; P. P. Chakrabarti 001 (Inf. Process. Lett., 2002)

Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. - Pallab Dasgupta; P. P. Chakrabarti 001; Arnab Dey; Sujoy Ghose; Wolfgang Bibel (IEEE Trans. Knowl. Data Eng., 2002)

Open computation tree logic with fairness. - Ansuman Banerjee; Pallab Dasgupta; Partha Pratim Chakrabarti (ISCAS (5), 2003)

A Branching Time Temporal Framework for Quantitative Reasoning. - Krishnendu Chatterjee; Pallab Dasgupta; P. P. Chakrabarti 001 (J. Autom. Reason., 2003)

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? - Prasenjit Basu; Sayantan Das 001; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (DATE, 2004)

Formal verification coverage: computing the coverage gap between temporal specifications. - Sayantan Das 001; Prasenjit Basu; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (ICCAD, 2004)

Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. - Krishnendu Chatterjee; Pallab Dasgupta; P. P. Chakrabarti 001 (IWDC, 2004)

The BUSpec platform for automated generation of verification aids for standard bus protocols. - Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (MEMOCODE, 2004)

Formal Verification of Modules under Real Time Environment Constraints. - Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 2004)

Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. - Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan (VLSI Design, 2004)

The power of first-order quantification over states in branching and linear time temporal logics. - Krishnendu Chatterjee; Pallab Dasgupta; P. P. Chakrabarti 001 (Inf. Process. Lett., 2004)

SAT based solutions for consistency problems in formal property specifications for open systems. - Suchismita Roy; Sayantan Das 001; Prasenjit Basu; Pallab Dasgupta; Partha Pratim Chakrabarti (ICCAD, 2005)

Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. - Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 2005)

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. - Sayantan Das 001; Ansuman Banerjee; Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (VLSI Design, 2005)

The open family of temporal logics: Annotating temporal operators with input constraints. - Ansuman Banerjee; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2005)

Discovering the input assumptions in specification refinement coverage. - Prasenjit Basu; Sayantan Das 001; Pallab Dasgupta; Partha Pratim Chakrabarti (ASP-DAC, 2006)

Test generation games from formal specifications. - Ansuman Banerjee; Bhaskar Pal; Sayantan Das; Abhijeet Kumar; Pallab Dasgupta (DAC, 2006)

What lies between design intent coverage and model checking? - Sayantan Das 001; Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001 (DATE, 2006)

Synthesis of system verilog assertions. - Sayantan Das 001; Rizi Mohanty; Pallab Dasgupta; P. P. Chakrabarti 001 (DATE Designers' Forum, 2006)

Formal methods for checking realizability of coalitions in 3-party systems. - Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (MEMOCODE, 2006)

A Framework for Estimating Peak Power in Gate-Level Circuits. - Diganchal Chakraborty; P. P. Chakrabarti 001; Arijit Mondal; Pallab Dasgupta (PATMOS, 2006)

Instruction-Set-Extension Exploration Using Decomposable Heuristic Search. - Samik Das; P. P. Chakrabarti 001; Pallab Dasgupta (VLSI Design, 2006)

Design-Intent Coverage - A New Paradigm for Formal Property Verification. - Prasenjit Basu; Sayantan Das 001; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Timing Analysis of Sequential Circuits Using Symbolic Event Propagation. - Arijit Mondal; P. P. Chakrabarti 001; Pallab Dasgupta (ICCTA, 2007)

A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. - Sayak Ray; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 2007)

Bounded Delay Timing Analysis Using Boolean Satisfiability. - Suchismita Roy; P. P. Chakrabarti 001; Pallab Dasgupta (VLSI Design, 2007)

Statistical static timing analysis using symbolic event propagation. - Arijit Mondal; Partha Pratim Chakrabarti; Pallab Dasgupta (IET Circuits Devices Syst., 2007)

Hardware accelerated constrained random test generation. - Bhaskar Pal; Arnab Sinha; Pallab Dasgupta; P. P. Chakrabarti 001; Kaushik De (IET Comput. Digit. Tech., 2007)

BUSpec: A framework for generation of verification aids for standard bus protocol specifications. - Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (Integr., 2007)

Event propagation for accurate circuit delay calculation using SAT. - Suchismita Roy; P. P. Chakrabarti 001; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2007)

CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. - Ansuman Banerjee; Kausik Datta; Pallab Dasgupta (ATVA, 2008)

Cohesive Coverage Management for Simulation and Formal Property Verification. - Aritra Hazra; Ansuman Banerjee; Srobona Mitra; Pallab Dasgupta; Partha Pratim Chakrabarti; Chunduri Rama Mohan (ISVLSI, 2008)

Accelerating Assertion Coverage With Adaptive Testbenches. - Bhaskar Pal; Ansuman Banerjee; Arnab Sinha; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Auxiliary state machines + context-triggered properties in verification. - Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (ACM Trans. Design Autom. Electr. Syst., 2008)

Satisfiability Models for Maximum Transition Power. - Suchismita Roy; P. P. Chakrabarti 001; Pallab Dasgupta (IEEE Trans. Very Large Scale Integr. Syst., 2008)

A formal approach for specification-driven AMS behavioral model generation. - Subhankar Mukherjee 001; Antara Ain; Subrat Kumar Panda; Rajdeep Mukhopadhyay; Pallab Dasgupta (DATE, 2009)

Formal Verification of Security Policy Implementations in Enterprise Networks. - Padmalochan Bera; Soumya Kanti Ghosh 001; Pallab Dasgupta (ICISS, 2009)

Fault Analysis of Security Policy Implementations in Enterprise Networks. - Padmalochan Bera; Soumya Kanti Ghosh 001; Pallab Dasgupta (NetCoM, 2009)

Inline Assertions - Embedding Formal Properties in a Test Bench. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta; Partha Pratim Chakrabarti (VLSI Design, 2009)

Instrumenting AMS assertion verification on commercial platforms. - Rajdeep Mukhopadhyay; Subrat Kumar Panda; Pallab Dasgupta; John Gough (ACM Trans. Design Autom. Electr. Syst., 2009)

Design intent coverage revisited. - Arnab Sinha; Pallab Dasgupta; Bhaskar Pal; Sayantan Das 001; Prasenjit Basu; P. P. Chakrabarti 001 (ACM Trans. Design Autom. Electr. Syst., 2009)

A Query based Formal Security Analysis Framework for Enterprise LAN. - Padmalochan Bera; Soumya Maity; Soumya Kanti Ghosh 001; Pallab Dasgupta (CIT, 2010)

A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model. - Padmalochan Bera; Soumya Maity; Soumya Kanti Ghosh 001; Pallab Dasgupta (CNSA, 2010)

Concurrent Usage Control Implementation Verification Using the SPIN Model Checker. - P. V. Rajkumar; Soumya Kanti Ghosh 001; Pallab Dasgupta (CNSA, 2010)

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 (DAC, 2010)

Taming the component timing: A CBD methodology for real-time embedded systems. - Manoj G. Dixit; Pallab Dasgupta; S. Ramesh 002 (DATE, 2010)

A Spatio-Temporal Role-Based Access Control Model for Wireless LAN Security Policy Management. - Padmalochan Bera; Soumya Kanti Ghosh 001; Pallab Dasgupta (ICISTM, 2010)

Coverage Management with Inline Assertions and Formal Test Points. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta; Partha Pratim Chakrabarti (VLSI Design, 2010)

Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. - Arijit Mondal; Partha Pratim Chakrabarti; Pallab Dasgupta (VLSI Design, 2010)

Detecting Ontological Conflicts in Protocols between Semantic Web Services - Priyankar Ghosh; Pallab Dasgupta (CoRR, 2010)

Integrated security analysis framework for an enterprise network - a formal approach. - Padmalochan Bera; Santosh K. Ghosh; Pallab Dasgupta (IET Inf. Secur., 2010)

A static verification approach for architectural integration of mixed-signal integrated circuits. - Rajdeep Mukhopadhyay; Anvesh Komuravelli; Pallab Dasgupta; Subrat Kumar Panda; Siddhartha Mukhopadhyay (Integr., 2010)

Bounded delay timing analysis and power estimation using SAT. - Suchismita Roy; P. P. Chakrabarti 001; Pallab Dasgupta (Microelectron. J., 2010)

Policy Based Security Analysis in Enterprise Networks: A Formal Approach. - Padmalochan Bera; Soumya Kanti Ghosh 001; Pallab Dasgupta (IEEE Trans. Netw. Serv. Manag., 2010)

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. - Anvesh Komuravelli; Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2011)

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. - Priyankar Ghosh; Aritra Hazra; Niraj Bhilegaonkar; Pallab Dasgupta; Chittaranjan A. Mandal; Krishna Paul (ISED, 2011)

Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. - Subhankar Mukherjee 001; Pallab Dasgupta (VLSI Design, 2011)

Some results on Parametric Temporal Logic. - Manoj G. Dixit; S. Ramesh 002; Pallab Dasgupta (Inf. Process. Lett., 2011)

A WLAN security management framework based on formal spatio-temporal RBAC model. - Padmalochan Bera; Soumya Kanti Ghosh 001; Pallab Dasgupta (Secur. Commun. Networks, 2011)

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. - Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models. - Antara Ain; Debjit Pal; Pallab Dasgupta; Siddhartha Mukhopadhyay; Rajdeep Mukhopadhyay; John Gough (ACM Trans. Design Autom. Electr. Syst., 2011)

Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. - Rajdeep Mukherjee; Priyankar Ghosh; Pallab Dasgupta; Ajit Pal (ACITY (3), 2012)

Formal methods for coverage analysis of architectural power states in power-managed designs. - Aritra Hazra; Pallab Dasgupta; Ansuman Banerjee; Kevin Harer (ASP-DAC, 2012)

A Generalized Theory for Formal Assertion Coverage. - Sourasis Das; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2012)

Anytime Algorithms for Biobjective Heuristic Search. - Priyankar Ghosh; Partha Pratim Chakrabarti; Pallab Dasgupta (Australasian Conference on Artificial Intelligence, 2012)

Planning with Action Prioritization and New Benchmarks for Classical Planning. - Kamalesh Ghosh; Pallab Dasgupta; S. Ramesh 002 (Australasian Conference on Artificial Intelligence, 2012)

Formal methods for ranking counterexamples through assumption mining. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (DATE, 2012)

Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta (FDL, 2012)

Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework. - Rajdeep Mukherjee; Priyankar Ghosh; N. Sravan Kumar; Pallab Dasgupta; Ajit Pal (ISED, 2012)

Execution Ordering in AND/OR Graphs with Failure Probabilities. - Priyankar Ghosh; P. P. Chakrabarti 001; Pallab Dasgupta (SOCS, 2012)

Workload Driven Power Domain Partitioning. - Arun Dobriyal; Rahul Gonnabattula; Pallab Dasgupta; Chittaranjan A. Mandal (VDAT, 2012)

A Library for Passive Online Verification of Analog and Mixed-Signal Circuits. - Debjit Pal; Pallab Dasgupta; Siddhartha Mukhopadhyay (VLSI Design, 2012)

Cohesive Coverage Management: Simulation Meets Formal Methods. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta; Partha Pratim Chakrabarti (J. Electron. Test., 2012)

Verification by parts: reusing component invariant checking results. - Srobona Mitra; Priyankar Ghosh; Pallab Dasgupta (IET Comput. Digit. Tech., 2012)

SAT based timing analysis for fixed and rise/fall gate delay models. - Suchismita Roy; P. P. Chakrabarti 001; Pallab Dasgupta (Integr., 2012)

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. - Priyankar Ghosh; Amit Sharma 007; P. P. Chakrabarti 001; Pallab Dasgupta (J. Artif. Intell. Res., 2012)

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. - Priyankar Ghosh; Aritra Hazra; Rahul Gonnabhaktula; Niraj Bhilegaonkar; Pallab Dasgupta; Chittaranjan A. Mandal; Krishna Paul (J. Low Power Electron., 2012)

A dynamic assertion-based verification platform for validation of UML designs. - Ansuman Banerjee; Sayak Ray; Pallab Dasgupta; P. P. Chakrabarti 001; S. Ramesh 002; P. Vignesh V. Ganesan (ACM SIGSOFT Softw. Eng. Notes, 2012)

Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. - Sourasis Das; Ansuman Banerjee; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Assertion Aware Sampling Refinement: A Mixed-Signal Perspective. - Subhankar Mukherjee 001; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. - Subhankar Mukherjee 001; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults. - Arijit Mondal; P. P. Chakrabarti 001; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2012)

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. - Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay; Scott Little; John Havlicek; Srikanth Chandrasekaran (ACM Trans. Design Autom. Electr. Syst., 2012)

Handling fault detection latencies in automata-based scheduling for embedded control software. - M. Santhosh Prabhu; Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (CACSD, 2013)

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. - Priyankar Ghosh; Amit Sharma 007; Partha Pratim Chakrabarti; Pallab Dasgupta (IJCAI, 2013)

Debugging assertion failures in software controllers using a reference model. - Kajori Banerjee; M. Santhosh Prabhu; Pallab Dasgupta (ISEC, 2013)

Model checking of global power management strategies in software with temporal logic properties. - Rajdeep Mukherjee; Subhankar Mukherjee 001; Pallab Dasgupta (ISEC, 2013)

Ordered Solution Generation for Implicit AND/OR Search Spaces. - Priyankar Ghosh; Partha Pratim Chakrabarti; Pallab Dasgupta (PReMI, 2013)

Formal Verification of Hardware / Software Power Management Strategies. - Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Subhankar Mukherjee 001 (VLSI Design, 2013)

Model Checking Controllers with Predicate Inputs. - M. Santhosh Prabhu; Pallab Dasgupta (VLSI Design, 2013)

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture - Rajdeep Mukherjee; Priyankar Ghosh; Pallab Dasgupta; Ajit Pal (CoRR, 2013)

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. - Aritra Hazra; Priyankar Ghosh; Satya Gautam Vadlamudi; P. P. Chakrabarti 001; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2013)

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. - M. Santhosh Prabhu; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2013)

A fuzzy real-time temporal logic. - Subhankar Mukherjee 001; Pallab Dasgupta (Int. J. Approx. Reason., 2013)

Post-silicon debugging of PMU integration errors using behavioral models. - Antara Ain; Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay (Integr., 2013)

An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis. - Rajdeep Mukherjee; Priyankar Ghosh; Pallab Dasgupta; Ajit Pal (J. Low Power Electron., 2013)

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. - Aritra Hazra; Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Kevin Harer; Ansuman Banerjee; Subhankar Mukherjee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Formal Guarantees for Localized Bug Fixes. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta; Priyankar Ghosh; Harish Kumar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Counterexample Ranking Using Mined Invariants. - Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta; Harish Kumar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Formal Verification of Architectural Power Intent. - Aritra Hazra; Sahil Goyal; Pallab Dasgupta; Ajit Pal (IEEE Trans. Very Large Scale Integr. Syst., 2013)

Early Time-Budgeting for Component-Based Embedded Control Systems. - Manoj G. Dixit; S. Ramesh 002; Pallab Dasgupta (Embedded Systems Development, From Functional Models to Implementations, 2014)

Acceptance and random generation of event sequences under real time calculus constraints. - Kajori Banerjee; Pallab Dasgupta (DATE, 2014)

Synthesis of sampling modes for adaptive control. - Rajorshee Raha; Aritra Hazra; Akash Mondal; Soumyajit Dey; Partha Pratim Chakrabarti; Pallab Dasgupta (ICCSCE, 2014)

Time-budgeting: a component based development methodology for real-time embedded systems. - Manoj G. Dixit; S. Ramesh 002; Pallab Dasgupta (Formal Aspects Comput., 2014)

Formal Hardware/Software Co-Verification of Embedded Power Controllers. - Pallab Dasgupta; Mandayam K. Srivas; Rajdeep Mukherjee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. - Martin Becker 001; Sajid Mohamed; Karsten Albers; P. P. Chakrabarti 001; Samarjit Chakraborty; Pallab Dasgupta; Soumyajit Dey; Ravindra Metta (APSEC, 2015)

A New Approach for Minimal Environment Construction for Modular Property Verification. - Saikat Dutta 001; Soumi Chattopadhyay; Ansuman Banerjee; Pallab Dasgupta (ATS, 2015)

Raga identification based on Normalized Note Histogram features. - R. Pradeep; Prasenjit Dhara; K. Sreenivasa Rao; Pallab Dasgupta (ICACCI, 2015)

Monitoring AMS Simulation: From Assertions to Features. - Antara Ain; Pallab Dasgupta (VLSID, 2015)

Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. - Sumana Ghosh; Pallab Dasgupta (VLSID, 2015)

Multi-mode Sampling Period Selection for Embedded Real Time Control. - Rajorshee Raha; Soumyajit Dey; Partha Pratim Chakrabarti; Pallab Dasgupta (CoRR, 2015)

Formal Interpretation of Assertion-Based Features on AMS Designs. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Des. Test, 2015)

Automated Planning as an Early Verification Tool for Distributed Control. - Kamalesh Ghosh; Pallab Dasgupta; S. Ramesh 002 (J. Autom. Reason., 2015)

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. - Majid Zamani 001; Soumyajit Dey; Sajid Mohamed; Pallab Dasgupta; Manuel Mazo Jr. 002 (FORMATS, 2016)

A Robust Non-Parametric and Filtering Based Approach for Glottal Closure Instant Detection. - Pradeep Rengaswamy; Gurunath Reddy M.; K. Sreenivasa Rao; Pallab Dasgupta (INTERSPEECH, 2016)

Formal feature analysis of hybrid automata. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta; Goran Frehse (MEMOCODE, 2016)

Planning based guided reconstruction of corner cases in architectural validation. - Rajib Lochan Jana; Shashank Kuchibhotla; Soumyajit Dey; Pallab Dasgupta; Rakesh Kumar (VDAT, 2016)

Multirate Sampling for Power-Performance Tradeoff in Embedded Control. - Rajorshee Raha; Souradeep Dutta; Soumyajit Dey; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2016)

Formal assessment of reliability specifications in embedded cyber-physical systems. - Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (J. Appl. Log., 2016)

Feature Indented Assertions for Analog and Mixed-Signal Validation. - Antara Ain; Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (ATVA, 2017)

An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. - Sayandeep Saha; Ujjawal Kumar; Debdeep Mukhopadhyay; Pallab Dasgupta (PROOFS, 2017)

A Framework for Automated Feature Based Mixed-Signal Equivalence Checking. - Antara Ain; Sayandeep Sanyal; Pallab Dasgupta (VDAT, 2017)

Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. - Antara Ain; Akshay Mambakam; Pallab Dasgupta; Siddhartha Mukhopadhyay (VLSID, 2017)

Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (VLSID, 2017)

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 (VLSID, 2017)

Formal Analysis of Hybrid Systems Using Feature Indented Assertions. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (CoRR, 2017)

Differential Fault Analysis Automation. - Sayandeep Saha; Ujjawal Kumar; Debdeep Mukhopadhyay; Pallab Dasgupta (IACR Cryptol. ePrint Arch., 2017)

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. - Sumana Ghosh; Souradeep Dutta; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Embed. Comput. Syst., 2017)

Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic. - Shiladitya Ghosh; Arindam Das; Nirvik Basak; Pallab Dasgupta; Alok Katiyar (IEEE Trans. Intell. Transp. Syst., 2017)

On the Deep Structure of Ragas and Analytic Rating of Music Scores. - Sudipa Mandal; Shilpi Chaudhuri; Antonio Anastasio Bruto da Costa; Gouri Karambelkar; Pallab Dasgupta (Heritage Preservation, 2018)

Breaking Redundancy-Based Countermeasures with Random Faults and Power Side Channel. - Sayandeep Saha; Dirmanto Jap; Jakub Breier; Shivam Bhasin; Debdeep Mukhopadhyay; Pallab Dasgupta (FDTC, 2018)

Feature Based Coverage Analysis of AMS Circuits. - Antara Ain; Akshay Mambakam; Pallab Dasgupta (ISVLSI, 2018)

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. - Antonio Anastasio Bruto da Costa; Shriya Dharade; Sudipa Mandal; Pallab Dasgupta (VLSID, 2018)

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. - Sudipa Mandal; Aritra Hazra; Pallab Dasgupta; Chunduri Rama Mohan (VLSID, 2018)

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2018)

Formal Feature Interpretation of Hybrid Systems. - Antonio Anastasio Bruto da Costa; Goran Frehse; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. - Sayandeep Saha; Debdeep Mukhopadhyay; Pallab Dasgupta (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018)

A Structured Approach for Rapid Identification of Fault-Sensitive Nets in Analog Circuits. - Sayandeep Sanyal; Amit Patra; Pallab Dasgupta; Mayukh Bhattacharya (ATS, 2019)

ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures. - Sayandeep Saha; S. Nishok Kumar; Sikhar Patranabis; Debdeep Mukhopadhyay; Pallab Dasgupta (DAC, 2019)

Fault Classification and Coverage of Analog Circuits using DC Operating Point and Frequency Response Analysis. - Sayandeep Sanyal; Shan Pavan Pani Krishna Garapati; Amit Patra; Pallab Dasgupta; Mayukh Bhattacharya (ACM Great Lakes Symposium on VLSI, 2019)

Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization. - Briti Gangopadhyay; Siddartha Khastgir; Sumanta Dey; Pallab Dasgupta; Giovanni Montana; Paul A. Jennings (ITSC, 2019)

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (VLSID, 2019)

Flexible Mining of Prefix Sequences from Time-Series Traces. - Antonio Anastasio Bruto da Costa; Goran Frehse; Pallab Dasgupta (CoRR, 2019)

Performance and energy aware robust specification of control execution patterns under dropped samples. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (IET Comput. Digit. Tech., 2019)

An automated framework for exploitable fault identification in block ciphers. - Sayandeep Saha; Ujjawal Kumar; Debdeep Mukhopadhyay; Pallab Dasgupta (J. Cryptogr. Eng., 2019)

Interpreting Local Variables in AMS Assertions During Simulation. - Antara Ain; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Automatic Characterization of Exploitable Faults: A Machine Learning Approach. - Sayandeep Saha; Dirmanto Jap; Sikhar Patranabis; Debdeep Mukhopadhyay; Shivam Bhasin; Pallab Dasgupta (IEEE Trans. Inf. Forensics Secur., 2019)

The Notion of Cross Coverage in AMS Design Verification. - Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (ASP-DAC, 2020)

Safety Augmentation in Decision Trees. - Sumanta Dey; Pallab Dasgupta; Briti Gangopadhyay (AISafety@IJCAI, 2020)

CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. - Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (VLSID, 2020)

Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision. - Briti Gangopadhyay; Somnath Hazra; Pallab Dasgupta (CoRR, 2020)

Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. - Ginju V. George; Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (CoRR, 2020)

A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits. - Sayandeep Sanyal; Mayukh Bhattacharya; Amit Patra; Pallab Dasgupta (J. Electron. Test., 2020)

Leakage Assessment in Fault Attacks: A Deep Learning Perspective. - Sayandeep Saha; Manaar Alam; Arnab Bag; Debdeep Mukhopadhyay; Pallab Dasgupta (IACR Cryptol. ePrint Arch., 2020)

Automated planning for finding alternative bug traces. - Rajib Lochan Jana; Soumyajit Dey; Arijit Mondal; Pallab Dasgupta (IET Comput. Digit. Tech., 2020)

Robust f0 extraction from monophonic signals using adaptive sub-band filtering. - Pradeep Rengaswamy; Mittapalle Kiran Reddy; Krothapalli Sreenivasa Rao; Pallab Dasgupta (Speech Commun., 2020)

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Embed. Comput. Syst., 2020)

A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. - Rajib Lochan Jana; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2020)

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. - Sudipa Mandal; Pallab Dasgupta; Aritra Hazra; Chunduri Rama Mohan (IEEE Trans. Very Large Scale Integr. Syst., 2020)

ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties. - Praveen Verma; Pallab Dasgupta; Chandan Chakraborty (ISGT Asia, 2021)

Counterexample Guided RL Policy Refinement Using Bayesian Optimization. - Briti Gangopadhyay; Pallab Dasgupta (NeurIPS, 2021)

An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. - Sudipa Mandal; Krushna Gaurkar; Pallab Dasgupta; Aritra Hazra (VLSID, 2021)

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta; Nikolaos Kekatos (CoRR, 2021)

Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs. - Sayandeep Sanyal; Ayan Chakraborty 005; Pallab Dasgupta; Aritra Hazra (CoRR, 2021)

hf0: A Hybrid Pitch Extraction Method for Multimodal Voice. - Pradeep Rengaswamy; Gurunath Reddy M.; K. Sreenivasa Rao; Pallab Dasgupta (Circuits Syst. Signal Process., 2021)

SongF0: A Spectrum-Based Fundamental Frequency Estimation for Monophonic Songs. - Pradeep Rengaswamy; K. Sreenivasa Rao; Pallab Dasgupta (Circuits Syst. Signal Process., 2021)

SMT-Based Verification of Safety-Critical Embedded Control Software. - Sunandan Adhikary; Amit Gurung; Jay Thakkar; Antonio Anastasio Bruto da Costa; Soumyajit Dey; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Usage-Driven Personalization of Power Management Logic. - Sudipa Mandal; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (J. Artif. Intell. Res., 2021)

Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision. - Briti Gangopadhyay; Somnath Hazra; Pallab Dasgupta (Pattern Recognit. Lett., 2021)

Recurrence in Dense-Time AMS Assertions. - Sayandeep Sanyal; Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Performance-Driven Post-Processing of Control Loop Execution Schedules. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2021)

SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. - Swarnava Dey; Pallab Dasgupta; Partha Pratim Chakrabarti (CVPR Workshops, 2022)

Critical Load Identification for Load Redistribution Attacks. - Praveen Verma; Sagar Gupta; Pallab Dasgupta; Chandan Chakraborty (ISGT Asia, 2022)

PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (PRICAI (1), 2022)

Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. - Ayan Chakraborty 005; Sayandeep Sanyal; Pallab Dasgupta; Aritra Hazra; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (VLSID, 2022)

Migrating Assertions From Dense to Discrete Time. - Sudipa Mandal; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits. - Sayandeep Sanyal; Pallab Dasgupta; Aritra Hazra; Sourav Das; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving. - Briti Gangopadhyay; Harshit Soora; Pallab Dasgupta (IEEE Trans. Intell. Transp. Syst., 2022)

Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. - Sumanta Dey; Anusha Mujumdar; Pallab Dasgupta; Soumyajit Dey (IEEE Trans. Netw. Serv. Manag., 2022)

Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. - Sumanta Dey; Pallab Dasgupta; Soumyajit Dey (SafeAI@AAAI, 2023)

Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (AAAI, 2023)

Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2023)

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 (DATE, 2023)

Imperative Action Masking for Safe Exploration in Reinforcement Learning. - Sumanta Dey; Sharat Bhat; Pallab Dasgupta; Soumyajit Dey (EXTRAAMAS, 2023)

DietCNN: Multiplication-free Inference for Quantized CNNs. - Swarnava Dey; Pallab Dasgupta; Partha Pratim Chakrabarti (IJCNN, 2023)

Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. - Kaushik Dey; Satheesh K. Perepu; Pallab Dasgupta; Abir Das (NetSoft, 2023)

Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers. - Shalini Mukhopadhyay; Swarnava Dey; Avik Ghose; Pragya Singh; Pallab Dasgupta (PerCom Workshops, 2023)

Accelerating Defect Simulation in Analog and Mixed-Signal Circuits by Parallel Defect Injection. - Sayandeep Sanyal; Mayukh Bhattacharya; Pallab Dasgupta; Amit Patra (VLSID, 2023)

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. - Sourav Das; Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2023)

Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions. - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (IEEE Trans. Intell. Veh., 2023)

Learn from Your Faults: Leakage Assessment in Fault Attacks Using Deep Learning. - Sayandeep Saha; Manaar Alam; Arnab Bag; Debdeep Mukhopadhyay; Pallab Dasgupta (J. Cryptol., 2023)

Penalizing proposals using classifiers for semi-supervised object detection. - Somnath Hazra; Pallab Dasgupta (Comput. Vis. Image Underst., 2023)

P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. - Sumanta Dey; Pallab Dasgupta; Soumyajit Dey (AAAI, 2024)

MAGNets: Micro-Architectured Group Neural Networks. - Sumanta Dey; Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2024)

Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. - Somnath Hazra; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2024)

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Sudipta Kundu; Himanshu Jain (DATE, 2024)

An Adaptive Interpretable Safe-RL Approach for Addressing Smart Grid Supply-Side Uncertainties. - Sumanta Dey; Praveen Verma; Pallab Dasgupta; Soumyajit Dey (EXTRAAMAS, 2024)

Towards Adaptive Networks - Generalized utility functions in Multi-Agent Frameworks. - Kaushik Dey; Satheesh K. Perepu; Abir Das; Pallab Dasgupta (NetSoft, 2024)

Towards Adaptive IMFs - Generalization of utility functions in Multi-Agent Frameworks. - Kaushik Dey; Satheesh K. Perepu; Abir Das; Pallab Dasgupta (CoRR, 2024)

Efficient Low-Memory Implementation of Sparse CNNs Using Encoded Partitioned Hybrid Sparse Format. - Barnali Basak; Pallab Dasgupta; Arpan Pal 001 (ACM Trans. Embed. Comput. Syst., 2024)

SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (ASP-DAC, 2025)

Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics. - Somnath Hazra; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2025)

PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (VLSID, 2025)

OPF $k$NN: Congestion Aware Real-Time Optimal Power Flow With Uncertain Solar Generation. - Praveen Verma; Pallab Dasgupta; Chandan Chakraborty (IEEE Trans. Ind. Informatics, 2025)