default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPallab Dasgupta
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c118]Sumanta Dey, Pallab Dasgupta, Soumyajit Dey:
P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. AAAI 2024: 21029-21036- [c117]Somnath Hazra, Pallab Dasgupta, Soumyajit Dey:
Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. AAMAS 2024: 2303-2305 - [c116]Sumanta Dey, Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey:
MAGNets: Micro-Architectured Group Neural Networks. AAMAS 2024: 2650-2658 - [c115]Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain:
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE 2024: 1-6 - [c114]Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta:
Towards Adaptive Networks - Generalized utility functions in Multi-Agent Frameworks. NetSoft 2024: 336-340 - [i20]Kaushik Dey, Satheesh K. Perepu, Abir Das, Pallab Dasgupta:
Towards Adaptive IMFs - Generalization of utility functions in Multi-Agent Frameworks. CoRR abs/2405.07621 (2024) - 2023
- [j94]Somnath Hazra
, Pallab Dasgupta:
Penalizing proposals using classifiers for semi-supervised object detection. Comput. Vis. Image Underst. 235: 103772 (2023) - [j93]Sayandeep Saha, Manaar Alam, Arnab Bag, Debdeep Mukhopadhyay, Pallab Dasgupta:
Learn from Your Faults: Leakage Assessment in Fault Attacks Using Deep Learning. J. Cryptol. 36(3): 19 (2023) - [j92]Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey:
Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions. IEEE Trans. Intell. Veh. 8(2): 1889-1899 (2023) - [j91]Sourav Das, Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta:
CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. ACM Trans. Design Autom. Electr. Syst. 28(1): 9:1-9:32 (2023) - [c113]Sumanta Dey, Pallab Dasgupta, Soumyajit Dey:
Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. SafeAI@AAAI 2023 - [c112]Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey:
Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). AAAI 2023: 16212-16213 - [c111]Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey:
Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. AAMAS 2023: 1606-1614 - [c110]Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman:
Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits. DATE 2023: 1-6 - [c109]Sumanta Dey, Sharat Bhat, Pallab Dasgupta, Soumyajit Dey:
Imperative Action Masking for Safe Exploration in Reinforcement Learning. EXTRAAMAS 2023: 130-142 - [c108]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
DietCNN: Multiplication-free Inference for Quantized CNNs. IJCNN 2023: 1-8 - [c107]Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das:
Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. NetSoft 2023: 152-160 - [c106]Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Pragya Singh, Pallab Dasgupta:
Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers. PerCom Workshops 2023: 392-397 - [c105]Sayandeep Sanyal, Mayukh Bhattacharya, Pallab Dasgupta, Amit Patra:
Accelerating Defect Simulation in Analog and Mixed-Signal Circuits by Parallel Defect Injection. VLSID 2023: 325-330 - [i19]Kaushik Dey, Satheesh K. Perepu, Pallab Dasgupta, Abir Das:
Domain Adaptation of Reinforcement Learning Agents based on Network Service Proximity. CoRR abs/2303.01013 (2023) - [i18]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
DietCNN: Multiplication-free Inference for Quantized CNNs. CoRR abs/2305.05274 (2023) - 2022
- [j90]Sudipa Mandal, Pallab Dasgupta:
Migrating Assertions From Dense to Discrete Time. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(7): 2362-2371 (2022) - [j89]Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Sourav Das, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian:
The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(12): 5695-5708 (2022) - [j88]Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta:
Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving. IEEE Trans. Intell. Transp. Syst. 23(8): 10902-10911 (2022) - [j87]Sumanta Dey, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey:
Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. IEEE Trans. Netw. Serv. Manag. 19(4): 5034-5043 (2022) - [c104]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. CVPR Workshops 2022: 3598-3608 - [c103]Praveen Verma, Sagar Gupta, Pallab Dasgupta, Chandan Chakraborty:
Critical Load Identification for Load Redistribution Attacks. ISGT Asia 2022: 76-80 - [c102]Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey:
PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. PRICAI (1) 2022: 137-149 - [c101]Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian:
Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. VLSID 2022: 132-137 - [i17]Somnath Hazra, Pallab Dasgupta:
Penalizing Proposals using Classifiers for Semi-Supervised Object Detection. CoRR abs/2205.13219 (2022) - 2021
- [j86]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) - [j85]Pradeep Rengaswamy, K. Sreenivasa Rao, Pallab Dasgupta:
SongF0: A Spectrum-Based Fundamental Frequency Estimation for Monophonic Songs. Circuits Syst. Signal Process. 40(2): 772-797 (2021) - [j84]Sudipa Mandal, Aritra Hazra, Pallab Dasgupta:
Usage-Driven Personalization of Power Management Logic. IEEE Embed. Syst. Lett. 13(3): 106-109 (2021) - [j83]Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta:
SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. 13(3): 138-141 (2021) - [j82]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. J. Artif. Intell. Res. 70: 205-243 (2021) - [j81]Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta:
Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision. Pattern Recognit. Lett. 152: 143-149 (2021) - [j80]Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Recurrence in Dense-Time AMS Assertions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(11): 2416-2420 (2021) - [j79]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 (2021) - [c100]Praveen Verma, Pallab Dasgupta, Chandan Chakraborty:
ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties. ISGT Asia 2021: 1-5 - [c99]Briti Gangopadhyay, Pallab Dasgupta:
Counterexample Guided RL Policy Refinement Using Bayesian Optimization. NeurIPS 2021: 22783-22794 - [c98]Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra:
An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. VLSID 2021: 181-186 - [i16]Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos:
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT. CoRR abs/2101.01255 (2021) - [i15]Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta:
Hierarchical Program-Triggered Reinforcement Learning Agents For Automated Driving. CoRR abs/2103.13861 (2021) - [i14]Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta, Aritra Hazra:
Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs. CoRR abs/2104.14785 (2021) - 2020
- [j78]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) - [j77]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) - [j76]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) - [j75]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) - [j74]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) - [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. VLSID 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. VLSID 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. VLSID 2018: 37-42 - [c86]Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta:
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. VLSID 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 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. VLSID 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. VLSID 2017: 239-244 - [c80]Antara Ain, Akshay Mambakam, Pallab Dasgupta, Siddhartha Mukhopadhyay:
Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. VLSID 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. VLSID 2015: 192-197 - [c71]Antara Ain, Pallab Dasgupta:
Monitoring AMS Simulation: From Assertions to Features. VLSID 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