Pallab Dasgupta

Harshit Soora

IEEE Trans. Intell. Transp. Syst., 2022

The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits.

[BibT_eX]

[DOI]

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

Migrating Assertions From Dense to Discrete Time.

[BibT_eX]

[DOI]

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

Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems, 2022

PruVer: Verification Assisted Pruning for Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2022

Critical Load Identification for Load Redistribution Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE PES Innovative Smart Grid Technologies - Asia, 2022

SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems.

[BibT_eX]

[DOI]

Swarnava Dey

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022

2021

Performance-Driven Post-Processing of Control Loop Execution Schedules.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2021

Recurrence in Dense-Time AMS Assertions.

[BibT_eX]

[DOI]

Sayandeep Sanyal

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

Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision.

[BibT_eX]

[DOI]

Somnath Hazra

Pattern Recognit. Lett., 2021

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

Usage-Driven Personalization of Power Management Logic.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2021

SMT-Based Verification of Safety-Critical Embedded Control Software.

[BibT_eX]

[DOI]

Sunandan Adhikary

Amit Gurung

Jay Thakkar

IEEE Embed. Syst. Lett., 2021

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

[BibT_eX]

[DOI]

Pradeep Rengaswamy

K. Sreenivasa Rao

Circuits Syst. Signal Process., 2021

hf0: A Hybrid Pitch Extraction Method for Multimodal Voice.

[BibT_eX]

[DOI]

Circuits Syst. Signal Process., 2021

Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs.

[BibT_eX]

[DOI]

CoRR, 2021

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT.

[BibT_eX]

[DOI]

Nikolaos Kekatos

CoRR, 2021

An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on VLSI Design and 20th International Conference on Embedded Systems, 2021

Counterexample Guided RL Policy Refinement Using Bayesian Optimization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties.

[BibT_eX]

[DOI]

Praveen Verma

Chandan Chakraborty

Proceedings of the 2021 IEEE PES Innovative Smart Grid Technologies, 2021

2020

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2020

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

[BibT_eX]

[DOI]

Rajib Lochan Jana

ACM Trans. Design Autom. Electr. Syst., 2020

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks.

[BibT_eX]

[DOI]

Krothapalli Sreenivasa Rao

ACM Trans. Embed. Comput. Syst., 2020

Robust f0 extraction from monophonic signals using adaptive sub-band filtering.

[BibT_eX]

[DOI]

Pradeep Rengaswamy

Mittapalle Kiran Reddy

Speech Commun., 2020

Automated planning for finding alternative bug traces.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2020

Leakage Assessment in Fault Attacks: A Deep Learning Perspective.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits.

[BibT_eX]

[DOI]

J. Electron. Test., 2020

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

[BibT_eX]

[DOI]

Ginju V. George

CoRR, 2020

Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision.

[BibT_eX]

[DOI]

Somnath Hazra

CoRR, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

Safety Augmentation in Decision Trees.

[BibT_eX]

[DOI]

Sumanta Dey

Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), 2020

The Notion of Cross Coverage in AMS Design Verification.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Automatic Characterization of Exploitable Faults: A Machine Learning Approach.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2019

Interpreting Local Variables in AMS Assertions During Simulation.

[BibT_eX]

[DOI]

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

An automated framework for exploitable fault identification in block ciphers.

[BibT_eX]

[DOI]

J. Cryptogr. Eng., 2019

Performance and energy aware robust specification of control execution patterns under dropped samples.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2019

Flexible Mining of Prefix Sequences from Time-Series Traces.

[BibT_eX]

[DOI]

Goran Frehse

CoRR, 2019

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples.

[BibT_eX]

[DOI]

Shan Pavan Pani Krishna Garapati

Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Fault Classification and Coverage of Analog Circuits using DC Operating Point and Frequency Response Analysis.

[BibT_eX]

[DOI]

Sayandeep Sanyal

Amit Patra

Mayukh Bhattacharya

Proceedings of the 2019 on Great Lakes Symposium on VLSI, 2019

ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Asian Test Symposium, 2019

2018

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

[BibT_eX]

[DOI]

Sayandeep Saha

Debdeep Mukhopadhyay

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018

Formal Feature Interpretation of Hybrid Systems.

[BibT_eX]

[DOI]

Goran Frehse

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

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2018

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.

[BibT_eX]

[DOI]

Shriya Dharade

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

Feature Based Coverage Analysis of AMS Circuits.

[BibT_eX]

[DOI]

Akshay Mambakam

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2018

On the Deep Structure of Ragas and Analytic Rating of Music Scores.

[BibT_eX]

[DOI]

Shilpi Chaudhuri

Gouri Karambelkar

Proceedings of the Heritage Preservation - A Computational Approach, 2018

2017

Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2017

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Differential Fault Analysis Automation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Formal Analysis of Hybrid Systems Using Feature Indented Assertions.

[BibT_eX]

[DOI]

CoRR, 2017

Formal Verification of Power Management Logic with Mixed-Signal Domains.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs.

[BibT_eX]

[DOI]

Akshay Mambakam

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

A Framework for Automated Feature Based Mixed-Signal Equivalence Checking.

[BibT_eX]

[DOI]

Sayandeep Sanyal

Proceedings of the VLSI Design and Test - 21st International Symposium, 2017

An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach.

[BibT_eX]

[DOI]

Proceedings of the PROOFS 2017, 2017

ForFET: A Formal Feature Evaluation Tool for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Feature Indented Assertions for Analog and Mixed-Signal Validation.

[BibT_eX]

[DOI]

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

Formal assessment of reliability specifications in embedded cyber-physical systems.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Multirate Sampling for Power-Performance Tradeoff in Embedded Control.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2016

Planning based guided reconstruction of corner cases in architectural validation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on VLSI Design and Test, 2016

Formal feature analysis of hybrid automata.

[BibT_eX]

[DOI]

Goran Frehse

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

A Robust Non-Parametric and Filtering Based Approach for Glottal Closure Instant Detection.

[BibT_eX]

[DOI]

Proceedings of the Interspeech 2016, 2016

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Automated Planning as an Early Verification Tool for Distributed Control.

[BibT_eX]

[DOI]

Kamalesh Ghosh

J. Autom. Reason., 2015

Formal Interpretation of Assertion-Based Features on AMS Designs.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Multi-mode Sampling Period Selection for Embedded Real Time Control.

[BibT_eX]

[DOI]

Rajorshee Raha

CoRR, 2015

Formal Methods for Pattern Based Reliability Analysis in Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on VLSI Design, 2015

Monitoring AMS Simulation: From Assertions to Features.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on VLSI Design, 2015

Raga identification based on Normalized Note Histogram features.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Advances in Computing, 2015

A New Approach for Minimal Environment Construction for Modular Property Verification.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Asian Test Symposium, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Formal Hardware/Software Co-Verification of Embedded Power Controllers.

[BibT_eX]

[DOI]

Mandayam K. Srivas

Rajdeep Mukherjee

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

Time-budgeting: a component based development methodology for real-time embedded systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Synthesis of sampling modes for adaptive control.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Control System, 2014

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

[BibT_eX]

[DOI]

Kajori Banerjee

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Early Time-Budgeting for Component-Based Embedded Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013

Formal Verification of Architectural Power Intent.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2013

Counterexample Ranking Using Mined Invariants.

[BibT_eX]

[DOI]

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

Formal Guarantees for Localized Bug Fixes.

[BibT_eX]

[DOI]

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

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent.

[BibT_eX]

[DOI]

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

An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis.

[BibT_eX]

[DOI]

J. Low Power Electron., 2013

Post-silicon debugging of PMU integration errors using behavioral models.

[BibT_eX]

[DOI]

Integr., 2013

A fuzzy real-time temporal logic.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2013

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2013

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

[BibT_eX]

[DOI]

Satya Gautam Vadlamudi

IEEE Embed. Syst. Lett., 2013

A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture

[BibT_eX]

[DOI]

CoRR, 2013

Model Checking Controllers with Predicate Inputs.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Formal Verification of Hardware / Software Power Management Strategies.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Ordered Solution Generation for Implicit AND/OR Search Spaces.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Machine Intelligence, 2013

Model checking of global power management strategies in software with temporal logic properties.

[BibT_eX]

[DOI]

Rajdeep Mukherjee

Proceedings of the 6th India Software Engineering Conference, 2013

Debugging assertion failures in software controllers using a reference model.

[BibT_eX]

[DOI]

Kajori Banerjee

Proceedings of the 6th India Software Engineering Conference, 2013

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract.

[BibT_eX]

[DOI]

Amit Sharma

Proceedings of the IJCAI 2013, 2013

Handling fault detection latencies in automata-based scheduling for embedded control software.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice.

[BibT_eX]

[DOI]

Scott Little

John Havlicek

Srikanth Chandrasekaran

ACM Trans. Design Autom. Electr. Syst., 2012

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

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2012

Computing Minimal Debugging Windows in Failure Traces of AMS Assertions.

[BibT_eX]

[DOI]

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

Assertion Aware Sampling Refinement: A Mixed-Signal Perspective.

[BibT_eX]

[DOI]

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

Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications.

[BibT_eX]

[DOI]

Sourasis Das

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

A dynamic assertion-based verification platform for validation of UML designs.

[BibT_eX]

[DOI]

P. Vignesh V. Ganesan

ACM SIGSOFT Softw. Eng. Notes, 2012

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

[BibT_eX]

[DOI]

Chittaranjan A. Mandal

Krishna Paul

J. Low Power Electron., 2012

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

SAT based timing analysis for fixed and rise/fall gate delay models.

[BibT_eX]

[DOI]

Integr., 2012

Verification by parts: reusing component invariant checking results.

[BibT_eX]

[DOI]

Srobona Mitra

IET Comput. Digit. Tech., 2012

Cohesive Coverage Management: Simulation Meets Formal Methods.

[BibT_eX]

[DOI]

J. Electron. Test., 2012

A Library for Passive Online Verification of Analog and Mixed-Signal Circuits.

[BibT_eX]

[DOI]

Debjit Pal

Proceedings of the 25th International Conference on VLSI Design, 2012

Workload Driven Power Domain Partitioning.

[BibT_eX]

[DOI]

Arun Dobriyal

Rahul Gonnabattula

Chittaranjan A. Mandal

Proceedings of the Progress in VLSI Design and Test - 16th International Symposium, 2012

Execution Ordering in AND/OR Graphs with Failure Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Electronic System Design, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Formal methods for ranking counterexamples through assumption mining.

[BibT_eX]

[DOI]

Srobona Mitra

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Planning with Action Prioritization and New Benchmarks for Classical Planning.

[BibT_eX]

[DOI]

Kamalesh Ghosh

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Anytime Algorithms for Biobjective Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

A Generalized Theory for Formal Assertion Coverage.

[BibT_eX]

[DOI]

Sourasis Das

Proceedings of the 21st IEEE Asian Test Symposium, 2012

Formal methods for coverage analysis of architectural power states in power-managed designs.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing and Information Technology - Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India, 2012

2011

Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models.

[BibT_eX]

[DOI]

Debjit Pal

Rajdeep Mukhopadhyay

John Gough

ACM Trans. Design Autom. Electr. Syst., 2011

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions.

[BibT_eX]

[DOI]

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

A WLAN security management framework based on formal spatio-temporal RBAC model.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2011

Some results on Parametric Temporal Logic.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2011: 24th International Conference on VLSI Design, 2011

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

[BibT_eX]

[DOI]

Chittaranjan A. Mandal

Krishna Paul

Proceedings of the International Symposium on Electronic System Design, 2011

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

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Asian Test Symposium, 2011

2010

Policy Based Security Analysis in Enterprise Networks: A Formal Approach.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2010

Bounded delay timing analysis and power estimation using SAT.

[BibT_eX]

[DOI]

Microelectron. J., 2010

A static verification approach for architectural integration of mixed-signal integrated circuits.

[BibT_eX]

[DOI]

Integr., 2010

Integrated security analysis framework for an enterprise network - a formal approach.

[BibT_eX]

[DOI]

Santosh K. Ghosh

IET Inf. Secur., 2010

Detecting Ontological Conflicts in Protocols between Semantic Web Services

[BibT_eX]

[DOI]

CoRR, 2010

Accelerating Synchronous Sequential Circuits Using an Adaptive Clock.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Coverage Management with Inline Assertions and Formal Test Points.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

A Spatio-Temporal Role-Based Access Control Model for Wireless LAN Security Policy Management.

[BibT_eX]

[DOI]

Proceedings of the Information Systems, Technology and Management, 2010

Taming the component timing: A CBD methodology for real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

Concurrent Usage Control Implementation Verification Using the SPIN Model Checker.

[BibT_eX]

[DOI]

P. V. Rajkumar

Proceedings of the Recent Trends in Network Security and Applications, 2010

A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Network Security and Applications, 2010

A Query based Formal Security Analysis Framework for Enterprise LAN.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Design intent coverage revisited.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2009

Instrumenting AMS assertion verification on commercial platforms.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2009

Inline Assertions - Embedding Formal Properties in a Test Bench.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

Fault Analysis of Security Policy Implementations in Enterprise Networks.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Networks and Communications, 2009

Formal Verification of Security Policy Implementations in Enterprise Networks.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, 5th International Conference, 2009

A formal approach for specification-driven AMS behavioral model generation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Satisfiability Models for Maximum Transition Power.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2008

Auxiliary state machines + context-triggered properties in verification.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2008

Accelerating Assertion Coverage With Adaptive Testbenches.

[BibT_eX]

[DOI]

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

Cohesive Coverage Management for Simulation and Formal Property Verification.

[BibT_eX]

[DOI]

Chunduri Rama Mohan

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.

[BibT_eX]

[DOI]

Kausik Datta

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Event propagation for accurate circuit delay calculation using SAT.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2007

BUSpec: A framework for generation of verification aids for standard bus protocol specifications.

[BibT_eX]

[DOI]

Integr., 2007

Hardware accelerated constrained random test generation.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2007

Statistical static timing analysis using symbolic event propagation.

[BibT_eX]

[DOI]

IET Circuits Devices Syst., 2007

Bounded Delay Timing Analysis Using Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.

[BibT_eX]

[DOI]

Sayak Ray

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Timing Analysis of Sequential Circuits Using Symbolic Event Propagation.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

2006

Design-Intent Coverage - A New Paradigm for Formal Property Verification.

[BibT_eX]

[DOI]

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

Instruction-Set-Extension Exploration Using Decomposable Heuristic Search.

[BibT_eX]

[DOI]

Samik Das

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

A Framework for Estimating Peak Power in Gate-Level Circuits.

[BibT_eX]

[DOI]

Diganchal Chakraborty

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2006

Formal methods for checking realizability of coalitions in 3-party systems.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Synthesis of system verilog assertions.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

What lies between design intent coverage and model checking?

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Test generation games from formal specifications.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

Discovering the input assumptions in specification refinement coverage.

[BibT_eX]

[DOI]

Prasenjit Basu

Sayantan Das

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

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

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2005

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.

[BibT_eX]

[DOI]

Prasenjit Basu

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

SAT based solutions for consistency problems in formal property specifications for open systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

The power of first-order quantification over states in branching and linear time temporal logics.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Inf. Process. Lett., 2004

Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Formal Verification of Modules under Real Time Environment Constraints.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

The BUSpec platform for automated generation of verification aids for standard bus protocols.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Proceedings of the Distributed Computing, 2004

Formal verification coverage: computing the coverage gap between temporal specifications.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

2003

A Branching Time Temporal Framework for Quantitative Reasoning.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

J. Autom. Reason., 2003

Open computation tree logic with fairness.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

2002

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

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

Quantified Computation Tree Logic.

[BibT_eX]

[DOI]

Anindya C. Patthak

Indrajit Bhattacharya

Anirban Dasgupta

Inf. Process. Lett., 2002

Open Computation Tree Logic for Formal Verification of Modules.

[BibT_eX]

[DOI]

Arindam Chakrabarti

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Formal verification of module interfaces against real time specifications.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

2001

Min-max Computation Tree Logic.

[BibT_eX]

[DOI]

Jatindra Kumar Deka

Sriram Sankaranarayanan

Artif. Intell., 2001

Symbolic verification of Boolean constraints over partially specified functions.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Abstractions for model checking of event timings.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Abstraction of word-level linear arithmetic functions from bit-level component descriptions.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

Model checking on timed-event structures.

[BibT_eX]

[DOI]

Jatindra Kumar Deka

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

1999

An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays.

[BibT_eX]

[DOI]

Jatindra Kumar Deka

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.

[BibT_eX]

[DOI]

Pankaj Chauhan

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

Controlling State Explosion in Static Simulation by Selective Composition.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems.

[BibT_eX]

[DOI]

Prashanti Das

Dibyendu Das

Proceedings of the High Performance Computing, 1999

Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization.

[BibT_eX]

Computational intelligence, Vieweg, ISBN: 978-3-528-05708-4, 1999

1998

A Heuristic for the Maximum Processor Requirement for Scheduling Layered Task Graphs with Coloring.

[BibT_eX]

[DOI]

Dibyendu Das

Prashanti Das

J. Parallel Distributed Comput., 1998

Agreement under Faulty Interfaces.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

1997

V_THR: An Adaptive Load Balancing Algorithm.

[BibT_eX]

[DOI]

A. K. Majumder

P. Bhattacharya

J. Parallel Distributed Comput., 1997

1996

Multiobjektive Heuristic Search in AND/OR Graphs.

[BibT_eX]

[DOI]

J. Algorithms, 1996

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

[BibT_eX]

[DOI]

Inf. Process. Lett., 1996

Searching Game Trees under a Partial Order.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1996

A New Competitive Algorithm for Agent Searching in Unknown Streets.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Utility of Pathmax in Partial Order Heuristic Search.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening".

[BibT_eX]

[DOI]

Artif. Intell., 1995

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

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

Agent Searching in a Tree and the Optimality of Iterative Deepening.

[BibT_eX]

[DOI]