| Feature indented assertions for analog and mixed-signal validation A Ain, AAB da Costa, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016 | 22 | 2016 |
| Formal Interpretation of Assertion-Based Features on AMS Designs AA Bruto da Costa, P Dasgupta Design & Test, IEEE 32 (1), 9-17, 2015 | 14* | 2015 |
| Formal verification of power management logic with mixed-signal domains S Mandal, AB Da Costa, A Hazra, P Dasgupta, B Naware, RM Chunduri, ... 2017 30th International Conference on VLSI Design and 2017 16th …, 2017 | 9 | 2017 |
| Formal feature interpretation of hybrid systems AAB da Costa, G Frehse, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 5 | 2018 |
| ForFET: A formal feature evaluation tool for hybrid systems AA Bruto da Costa, P Dasgupta International Symposium on Automated Technology for Verification and …, 2017 | 4 | 2017 |
| Formal feature analysis of hybrid automata AAB da Costa, P Dasgupta, G Frehse 2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016 | 4 | 2016 |
| Learning temporal causal sequence relationships from real-time time-series AAB da Costa, P Dasgupta Journal of Artificial Intelligence Research 70, 205-243, 2021 | 3 | 2021 |
| Explaining Outcomes of Multi-Party Dialogues using Causal Learning P Sinha, P Mitra, AAB da Costa, N Kekatos arXiv preprint arXiv:2105.00944, 2021 | 2 | 2021 |
| Recurrence in dense-time AMS assertions S Sanyal, AAB da Costa, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 2 | 2020 |
| SMT-based verification of safety-critical embedded control software S Adhikary, A Gurung, J Thakkar, AB Da Costa, S Dey, A Hazra, ... IEEE Embedded Systems Letters 13 (3), 138-141, 2020 | 1 | 2020 |
| On the Deep Structure of Ragas and Analytic Rating of Music Scores S Mandal, S Chaudhuri, AAB Costa, G Karambelkar, P Dasgupta Heritage Preservation, 161-179, 2018 | 1 | 2018 |
| Generating AMS behavioral models with formal guarantees on feature accuracy AAB Da Costa, P Dasgupta 2017 30th International Conference on VLSI Design and 2017 16th …, 2017 | 1 | 2017 |
| ForFET-SMT: Quantitative SMT Analysis of Hybrid Automata using Features AAB da Costa, P Dasgupta, N Kekatos | | 2020 |
| Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET AAB da Costa, P Dasgupta, N Kekatos arXiv preprint arXiv:2101.01255, 2020 | | 2020 |
| AMS-Miner: Mining AMS Assertions Using Interval Arithmetic AAB da Costa, S Dharade, S Mandal, P Dasgupta 2018 31st International Conference on VLSI Design and 2018 17th …, 2018 | | 2018 |
| Formal Analysis of Hybrid Systems Using Feature Indented Assertions. AAB da Costa, P Dasgupta CoRR, 2017 | | 2017 |
| VLSID 2017 A Castagnetti, A Konar, A Roy, A Haque, A Ain, AAB da Costa, A Abedin, ... | | |
Pallab DasguptaIndian Institute of Technology Kharagpurcse.iitkgp.ac.in의 이메일 확인됨
