| 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 | 26 | 2016 |
| Formal interpretation of assertion-based features on AMS designs AAB da Costa, P Dasgupta IEEE Design & Test 32 (1), 9-17, 2014 | 14 | 2014 |
| 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 | 10 | 2017 |
| Domain knowledge distillation from large language model: An empirical study in the autonomous driving domain Y Tang, AAB Da Costa, X Zhang, I Patrick, S Khastgir, P Jennings 2023 IEEE 26th International Conference on Intelligent Transportation …, 2023 | 8 | 2023 |
| Learning temporal causal sequence relationships from real-time time-series AAB da Costa, P Dasgupta Journal of Artificial Intelligence Research 70, 205-243, 2021 | 7 | 2021 |
| Formal feature interpretation of hybrid systems AAB da Costa, G Frehse, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 6 | 2018 |
| Writing accessible and correct test scenarios for automated driving systems AAB Da Costa, P Irvine, X Zhang, S Khastgir, P Jennings 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2022 | 5 | 2022 |
| Translating automated vehicle test scenario specifications between scenario languages: Learnings and challenges AA Bruto da Costa, P Irvine, X Zhang, S Khastgir, P Jennings Proceedings of the Driving Simulation Conference Europe 2022 VR 7, 65-72, 2022 | 4 | 2022 |
| Recurrence in dense-time AMS assertions S Sanyal, AAB da Costa, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 4 | 2020 |
| ForFET: A formal feature evaluation tool for hybrid systems AA Bruto da Costa, P Dasgupta Automated Technology for Verification and Analysis: 15th International …, 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 |
| Explaining outcomes of multi-party dialogues using causal learning P Sinha, P Mitra, AAB da Costa, N Kekatos arXiv preprint arXiv:2105.00944, 2021 | 3 | 2021 |
| Structured natural language for expressing rules of the road for automated driving systems P Irvine, AAB Da Costa, X Zhang, S Khastgir, P Jennings 2023 IEEE Intelligent Vehicles Symposium (IV), 1-8, 2023 | 2 | 2023 |
| Vehicle-to-Everything (V2X) in Scenarios: Extending Scenario Description Language for Connected Vehicle Scenario Descriptions* P Irvine, P Baker, YK Mo, AB Da Costa, X Zhang, S Khastgir, P Jennings 2022 IEEE Intelligent Vehicles Symposium (IV), 548-555, 2022 | 2 | 2022 |
| 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 | 2 | 2020 |
| Ontology-based Scenario Generation for Automated Driving Systems Verification and Validation using Rules of the Road AAB da Costa, P Irvine, X Zhang, S Khastgir, P Jennings IEEE Transactions on Intelligent Vehicles, 2024 | 1 | 2024 |
| On the Deep Structure of Ragas and Analytic Rating of Music Scores S Mandal, S Chaudhuri, AAB da Costa, G Karambelkar, P Dasgupta Heritage Preservation: A Computational Approach, 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 |
| Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems Y Tang, AAB Da Costa, P Irvine, T Dodoiu, Y Zhang, X Zhao, S Khastgir, ... 2024 IEEE Intelligent Vehicles Symposium (IV), 1112-1118, 2024 | | 2024 |
| Incorporating Human Factors into Scenario Languages for Automated Driving Systems T Dodoiu, AAB da Costa, S Khastgir, P Jennings 2024 IEEE Intelligent Vehicles Symposium (IV), 3009-3016, 2024 | | 2024 |
Pallab DasguptaIndian Institute of Technology Kharagpur在 cse.iitkgp.ac.in 的电子邮件经过验证
