
Pallab Dasgupta
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j80]Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta:
hf0: A Hybrid Pitch Extraction Method for Multimodal Voice. Circuits Syst. Signal Process. 40(1): 262-275 (2021) - [i14]Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos:
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT. CoRR abs/2101.01255 (2021) - 2020
- [j79]Sayandeep Sanyal, Mayukh Bhattacharya, Amit Patra, Pallab Dasgupta:
A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits. J. Electron. Test. 36(6): 719-730 (2020) - [j78]Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta:
Automated planning for finding alternative bug traces. IET Comput. Digit. Tech. 14(6): 322-335 (2020) - [j77]Pradeep Rengaswamy, Mittapalle Kiran Reddy, Krothapalli Sreenivasa Rao, Pallab Dasgupta:
Robust f0 extraction from monophonic signals using adaptive sub-band filtering. Speech Commun. 116: 77-85 (2020) - [j76]Sumana Ghosh
, Soumyajit Dey, Pallab Dasgupta:
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. ACM Trans. Embed. Comput. Syst. 19(2): 9:1-9:28 (2020) - [j75]Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta:
A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. ACM Trans. Design Autom. Electr. Syst. 25(4): 31:1-3:33 (2020) - [j74]Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta:
Performance-Driven Post-Processing of Control Loop Execution Schedules. ACM Trans. Design Autom. Electr. Syst. 26(2): 13:1-13:27 (2020) - [j73]Sudipa Mandal
, Pallab Dasgupta
, Aritra Hazra
, Chunduri Rama Mohan:
Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. IEEE Trans. Very Large Scale Integr. Syst. 28(8): 1745-1756 (2020) - [c97]Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian:
The Notion of Cross Coverage in AMS Design Verification. ASP-DAC 2020: 217-222 - [c96]Sumanta Dey, Pallab Dasgupta, Briti Gangopadhyay:
Safety Augmentation in Decision Trees. AISafety@IJCAI 2020 - [c95]Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian:
CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. VLSI Design 2020: 119-124 - [i13]Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta:
Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision. CoRR abs/2004.12152 (2020) - [i12]Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR abs/2005.00995 (2020) - [i11]Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Recurrence in Dense-time AMS Assertions. CoRR abs/2011.08805 (2020) - [i10]Sayandeep Saha, Manaar Alam, Arnab Bag, Debdeep Mukhopadhyay, Pallab Dasgupta:
Leakage Assessment in Fault Attacks: A Deep Learning Perspective. IACR Cryptol. ePrint Arch. 2020: 306 (2020)
2010 – 2019
- 2019
- [j72]Sumana Ghosh
, Soumyajit Dey, Pallab Dasgupta:
Performance and energy aware robust specification of control execution patterns under dropped samples. IET Comput. Digit. Tech. 13(6): 493-504 (2019) - [j71]Sayandeep Saha
, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta:
An automated framework for exploitable fault identification in block ciphers. J. Cryptogr. Eng. 9(3): 203-219 (2019) - [j70]Antara Ain
, Pallab Dasgupta
:
Interpreting Local Variables in AMS Assertions During Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(5): 980-984 (2019) - [j69]Sayandeep Saha
, Dirmanto Jap
, Sikhar Patranabis
, Debdeep Mukhopadhyay
, Shivam Bhasin
, Pallab Dasgupta
:
Automatic Characterization of Exploitable Faults: A Machine Learning Approach. IEEE Trans. Inf. Forensics Secur. 14(4): 954-968 (2019) - [c94]Sayandeep Sanyal, Amit Patra, Pallab Dasgupta, Mayukh Bhattacharya:
A Structured Approach for Rapid Identification of Fault-Sensitive Nets in Analog Circuits. ATS 2019: 135-140 - [c93]Sayandeep Saha, S. Nishok Kumar, Sikhar Patranabis, Debdeep Mukhopadhyay, Pallab Dasgupta:
ALAFA: Automatic Leakage Assessment for Fault Attack Countermeasures. DAC 2019: 136 - [c92]Sayandeep Sanyal, Shan Pavan Pani Krishna Garapati, Amit Patra, Pallab Dasgupta, Mayukh Bhattacharya:
Fault Classification and Coverage of Analog Circuits using DC Operating Point and Frequency Response Analysis. ACM Great Lakes Symposium on VLSI 2019: 123-128 - [c91]Briti Gangopadhyay, Siddartha Khastgir
, Sumanta Dey, Pallab Dasgupta, Giovanni Montana, Paul A. Jennings:
Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization. ITSC 2019: 1961-1967 - [c90]Sumana Ghosh
, Soumyajit Dey, Pallab Dasgupta:
Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. VLSI Design 2019: 1-6 - [i9]Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta:
Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR abs/1905.12262 (2019) - 2018
- [j68]Sumana Ghosh
, Soumyajit Dey
, Pallab Dasgupta
:
Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. IEEE Embed. Syst. Lett. 10(4): 111-114 (2018) - [j67]Antonio Anastasio Bruto da Costa
, Goran Frehse
, Pallab Dasgupta:
Formal Feature Interpretation of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2474-2484 (2018) - [j66]Sayandeep Saha, Debdeep Mukhopadhyay, Pallab Dasgupta:
ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018(2): 242-276 (2018) - [c89]Sayandeep Saha, Dirmanto Jap, Jakub Breier
, Shivam Bhasin, Debdeep Mukhopadhyay, Pallab Dasgupta:
Breaking Redundancy-Based Countermeasures with Random Faults and Power Side Channel. FDTC 2018: 15-22 - [c88]Antara Ain, Akshay Mambakam, Pallab Dasgupta:
Feature Based Coverage Analysis of AMS Circuits. ISVLSI 2018: 423-428 - [c87]Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan:
Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. VLSI Design 2018: 37-42 - [c86]Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta:
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. VLSI Design 2018: 404-409 - [p2]Sudipa Mandal, Shilpi Chaudhuri, Antonio Anastasio Bruto da Costa, Gouri Karambelkar, Pallab Dasgupta:
On the Deep Structure of Ragas and Analytic Rating of Music Scores. Heritage Preservation 2018: 161-179 - [i8]Sayandeep Saha, Debdeep Mukhopadhyay, Pallab Dasgupta:
ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. IACR Cryptol. ePrint Arch. 2018: 295 (2018) - 2017
- [j65]Sumana Ghosh
, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta:
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. 16(5s): 189:1-189:22 (2017) - [j64]Shiladitya Ghosh, Arindam Das, Nirvik Basak, Pallab Dasgupta, Alok Katiyar:
Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic. IEEE Trans. Intell. Transp. Syst. 18(3): 678-689 (2017) - [c85]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ATVA 2017: 437-445 - [c84]Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta:
An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. PROOFS@CHES 2017: 50-67 - [c83]Antara Ain, Sayandeep Sanyal, Pallab Dasgupta:
A Framework for Automated Feature Based Mixed-Signal Equivalence Checking. VDAT 2017: 779-791 - [c82]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. VLSI Design 2017: 233-238 - [c81]Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu:
Formal Verification of Power Management Logic with Mixed-Signal Domains. VLSI Design 2017: 239-244 - [c80]Antara Ain, Akshay Mambakam, Pallab Dasgupta, Siddhartha Mukhopadhyay:
Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. VLSI Design 2017: 245-250 - [i7]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Formal Analysis of Hybrid Systems Using Feature Indented Assertions. CoRR abs/1711.00669 (2017) - [i6]Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta:
Differential Fault Analysis Automation. IACR Cryptol. ePrint Arch. 2017: 673 (2017) - [i5]Sayandeep Saha, Dirmanto Jap, Sikhar Patranabis, Debdeep Mukhopadhyay, Shivam Bhasin, Pallab Dasgupta:
Automatic Characterization of Exploitable Faults: A Machine Learning Approach. IACR Cryptol. ePrint Arch. 2017: 1008 (2017) - 2016
- [j63]Rajorshee Raha
, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta:
Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. 8(4): 77-80 (2016) - [j62]Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. 18: 71-104 (2016) - [j61]Antara Ain, Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Feature Indented Assertions for Analog and Mixed-Signal Validation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(11): 1928-1941 (2016) - [c79]Majid Zamani
, Soumyajit Dey, Sajid Mohamed
, Pallab Dasgupta, Manuel Mazo Jr.
:
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS 2016: 85-101 - [c78]Pradeep Rengaswamy, Gurunath Reddy M., K. Sreenivasa Rao, Pallab Dasgupta:
A Robust Non-Parametric and Filtering Based Approach for Glottal Closure Instant Detection. INTERSPEECH 2016: 1795-1799 - [c77]Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
:
Formal feature analysis of hybrid automata. MEMOCODE 2016: 2-11 - [c76]Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, Rakesh Kumar:
Planning based guided reconstruction of corner cases in architectural validation. VDAT 2016: 1-6 - 2015
- [j60]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Formal Interpretation of Assertion-Based Features on AMS Designs. IEEE Des. Test 32(1): 9-17 (2015) - [j59]Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh:
Automated Planning as an Early Verification Tool for Distributed Control. J. Autom. Reason. 54(1): 31-68 (2015) - [c75]Martin Becker, Sajid Mohamed
, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty
, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta:
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC 2015: 385-392 - [c74]Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta:
A New Approach for Minimal Environment Construction for Modular Property Verification. ATS 2015: 205-210 - [c73]R. Pradeep, Prasenjit Dhara, K. Sreenivasa Rao, Pallab Dasgupta:
Raga identification based on Normalized Note Histogram features. ICACCI 2015: 1491-1496 - [c72]Sumana Ghosh
, Pallab Dasgupta:
Formal Methods for Pattern Based Reliability Analysis in Embedded Systems. VLSI Design 2015: 192-197 - [c71]Antara Ain, Pallab Dasgupta:
Monitoring AMS Simulation: From Assertions to Features. VLSI Design 2015: 429-434 - [i4]Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR abs/1506.08538 (2015) - 2014
- [j58]Manoj G. Dixit, S. Ramesh, Pallab Dasgupta:
Time-budgeting: a component based development methodology for real-time embedded systems. Formal Aspects Comput. 26(3): 591-621 (2014) - [j57]Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee:
Formal Hardware/Software Co-Verification of Embedded Power Controllers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(12): 2025-2029 (2014) - [c70]Kajori Banerjee, Pallab Dasgupta:
Acceptance and random generation of event sequences under real time calculus constraints. DATE 2014: 1-6 - [c69]Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Synthesis of sampling modes for adaptive control. ICCSCE 2014: 294-299 - [p1]Manoj G. Dixit, S. Ramesh, Pallab Dasgupta:
Early Time-Budgeting for Component-Based Embedded Control Systems. Embedded Systems Development, From Functional Models to Implementations 2014: 123-137 - [i3]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. CoRR abs/1401.5852 (2014) - 2013
- [j56]Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta:
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. 5(1): 8-11 (2013) - [j55]M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta:
Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. IEEE Embed. Syst. Lett. 5(2): 17-20 (2013) - [j54]Subhankar Mukherjee, Pallab Dasgupta:
A fuzzy real-time temporal logic. Int. J. Approx. Reason. 54(9): 1452-1470 (2013) - [j53]Antara Ain, Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay:
Post-silicon debugging of PMU integration errors using behavioral models. Integr. 46(3): 310-321 (2013) - [j52]Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal:
An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis. J. Low Power Electron. 9(3): 350-362 (2013) - [j51]Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Priyankar Ghosh, Harish Kumar:
Formal Guarantees for Localized Bug Fixes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(8): 1274-1287 (2013) - [j50]Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee:
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(11): 1801-1813 (2013) - [j49]Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta, Harish Kumar:
Counterexample Ranking Using Mined Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(12): 1978-1991 (2013) - [j48]Aritra Hazra, Sahil Goyal, Pallab Dasgupta, Ajit Pal:
Formal Verification of Architectural Power Intent. IEEE Trans. Very Large Scale Integr. Syst. 21(1): 78-91 (2013) - [c68]M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD 2013: 1-6 - [c67]Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. IJCAI 2013: 3156-3160 - [c66]Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta:
Model checking of global power management strategies in software with temporal logic properties. ISEC 2013: 29-34 - [c65]Kajori Banerjee, M. Santhosh Prabhu, Pallab Dasgupta:
Debugging assertion failures in software controllers using a reference model. ISEC 2013: 79-82 - [c64]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Ordered Solution Generation for Implicit AND/OR Search Spaces. PReMI 2013: 581-586 - [c63]Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee:
Formal Verification of Hardware / Software Power Management Strategies. VLSI Design 2013: 326-331 - [c62]M. Santhosh Prabhu, Pallab Dasgupta:
Model Checking Controllers with Predicate Inputs. VLSI Design 2013: 332-337 - [i2]Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal:
A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture. CoRR abs/1303.1645 (2013) - 2012
- [j47]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. 28(4): 449-468 (2012) - [j46]Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta:
Verification by parts: reusing component invariant checking results. IET Comput. Digit. Tech. 6(1): 19-32 (2012) - [j45]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
SAT based timing analysis for fixed and rise/fall gate delay models. Integr. 45(4): 357-364 (2012) - [j44]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. J. Artif. Intell. Res. 44: 275-333 (2012) - [j43]Priyankar Ghosh, Aritra Hazra, Rahul Gonnabhaktula, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul:
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. J. Low Power Electron. 8(3): 293-303 (2012) - [j42]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37(1): 1-14 (2012) - [j41]Sourasis Das, Ansuman Banerjee, Pallab Dasgupta:
Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(3): 447-451 (2012) - [j40]Subhankar Mukherjee, Pallab Dasgupta:
Assertion Aware Sampling Refinement: A Mixed-Signal Perspective. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(11): 1772-1776 (2012) - [j39]Subhankar Mukherjee, Pallab Dasgupta:
Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(11): 1776-1781 (2012) - [j38]Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran:
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. ACM Trans. Design Autom. Electr. Syst. 17(4): 38:1-38:25 (2012) - [j37]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults. ACM Trans. Design Autom. Electr. Syst. 17(4): 47:1-47:20 (2012) - [c61]Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal:
Operator Scheduling Revisited: A Multi-objective Perspective for Fine-Grained DVS Architecture. ACITY (3) 2012: 633-648 - [c60]Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer:
Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC 2012: 585-590 - [c59]Sourasis Das, Ansuman Banerjee, Pallab Dasgupta:
A Generalized Theory for Formal Assertion Coverage. Asian Test Symposium 2012: 137-142 - [c58]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Anytime Algorithms for Biobjective Heuristic Search. Australasian Conference on Artificial Intelligence 2012: 230-241 - [c57]Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh:
Planning with Action Prioritization and New Benchmarks for Classical Planning. Australasian Conference on Artificial Intelligence 2012: 779-790 - [c56]Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta:
Formal methods for ranking counterexamples through assumption mining. DATE 2012: 911-916 - [c55]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta:
Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. FDL 2012: 36-43 - [c54]Rajdeep Mukherjee, Priyankar Ghosh, N. Sravan Kumar, Pallab Dasgupta, Ajit Pal:
Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework. ISED 2012: 267-271 - [c53]Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta:
Execution Ordering in AND/OR Graphs with Failure Probabilities. SOCS 2012 - [c52]Arun Dobriyal, Rahul Gonnabattula, Pallab Dasgupta, Chittaranjan A. Mandal:
Workload Driven Power Domain Partitioning. VDAT 2012: 147-155 - [c51]Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay:
A Library for Passive Online Verification of Analog and Mixed-Signal Circuits. VLSI Design 2012: 364-369 - 2011
- [j36]Manoj G. Dixit, S. Ramesh, Pallab Dasgupta:
Some results on Parametric Temporal Logic. Inf. Process. Lett. 111(20): 994-998 (2011) - [j35]Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta:
A WLAN security management framework based on formal spatio-temporal RBAC model. Secur. Commun. Networks 4(9): 981-993 (2011) - [j34]Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay:
Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(10): 1446-1457 (2011) - [j33]Antara Ain, Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough:
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models. ACM Trans. Design Autom. Electr. Syst. 16(3): 33:1-33:30 (2011) - [c50]Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta:
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. Asian Test Symposium 2011: 238-243 - [c49]Priyankar Ghosh, Aritra Hazra, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul:
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. ISED 2011: 273-278 - [c48]Subhankar Mukherjee, Pallab Dasgupta:
Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. VLSI Design 2011: 52-57 - 2010
- [j32]Padmalochan Bera, Santosh K. Ghosh, Pallab Dasgupta:
Integrated security analysis framework for an enterprise network - a formal approach. IET Inf. Secur. 4(4): 283-300 (2010) - [j31]Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, Subrat Kumar Panda, Siddhartha Mukhopadhyay:
A static verification approach for architectural integration of mixed-signal integrated circuits. Integr. 43(1): 58-71 (2010) - [j30]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded delay timing analysis and power estimation using SAT. Microelectron. J. 41(5): 317-324 (2010) - [j29]Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta:
Policy Based Security Analysis in Enterprise Networks: A Formal Approach. IEEE Trans. Netw. Serv. Manag. 7(4): 231-243 (2010) - [c47]Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh, Pallab Dasgupta:
A Query based Formal Security Analysis Framework for Enterprise LAN. CIT 2010: 407-414 - [c46]P. V. Rajkumar, Soumya Kanti Ghosh, Pallab Dasgupta:
Concurrent Usage Control Implementation Verification Using the SPIN Model Checker. CNSA 2010: 214-223 - [c45]Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh, Pallab Dasgupta:
A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model. CNSA 2010: 232-241 - [c44]Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha:
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. DAC 2010: 773-776 - [c43]Manoj G. Dixit, Pallab Dasgupta, S. Ramesh:
Taming the component timing: A CBD methodology for real-time embedded systems. DATE 2010: 1649-1652 - [c42]Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta:
A Spatio-Temporal Role-Based Access Control Model for Wireless LAN Security Policy Management. ICISTM 2010: 76-88 - [c41]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Coverage Management with Inline Assertions and Formal Test Points. VLSI Design 2010: 140-145 - [c40]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. VLSI Design 2010: 176-181 - [i1]Priyankar Ghosh, Pallab Dasgupta:
Detecting Ontological Conflicts in Protocols between Semantic Web Services. CoRR abs/1011.0950 (2010)
2000 – 2009
- 2009
- [j28]Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti:
Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14(1): 9:1-9:32 (2009) - [j27]Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough:
Instrumenting AMS assertion verification on commercial platforms. ACM Trans. Design Autom. Electr. Syst. 14(2): 21:1-21:47 (2009) - [c39]