Formal Interpretation of Assertion-Based Features on AMS Designs. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Des. Test, 2015)

Formal feature analysis of hybrid automata. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta; Goran Frehse (MEMOCODE, 2016)

Feature Indented Assertions for Analog and Mixed-Signal Validation. - Antara Ain; Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (ATVA, 2017)

Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (VLSID, 2017)

Formal Verification of Power Management Logic with Mixed-Signal Domains. - Sudipa Mandal; Antonio Anastasio Bruto da Costa; Aritra Hazra; Pallab Dasgupta; Bhushan Naware; Chunduri Rama Mohan; Sanjib Basu (VLSID, 2017)

Formal Analysis of Hybrid Systems Using Feature Indented Assertions. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (CoRR, 2017)

On the Deep Structure of Ragas and Analytic Rating of Music Scores. - Sudipa Mandal; Shilpi Chaudhuri; Antonio Anastasio Bruto da Costa; Gouri Karambelkar; Pallab Dasgupta (Heritage Preservation, 2018)

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. - Antonio Anastasio Bruto da Costa; Shriya Dharade; Sudipa Mandal; Pallab Dasgupta (VLSID, 2018)

Formal Feature Interpretation of Hybrid Systems. - Antonio Anastasio Bruto da Costa; Goran Frehse; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Flexible Mining of Prefix Sequences from Time-Series Traces. - Antonio Anastasio Bruto da Costa; Goran Frehse; Pallab Dasgupta (CoRR, 2019)

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta; Nikolaos Kekatos (CoRR, 2021)

Explaining Outcomes of Multi-Party Dialogues using Causal Learning. - Priyanka Sinha; Pabitra Mitra; Antonio Anastasio Bruto da Costa; Nikolaos Kekatos (CoRR, 2021)

SMT-Based Verification of Safety-Critical Embedded Control Software. - Sunandan Adhikary; Amit Gurung; Jay Thakkar; Antonio Anastasio Bruto da Costa; Soumyajit Dey; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. - Antonio Anastasio Bruto da Costa; Pallab Dasgupta (J. Artif. Intell. Res., 2021)

Recurrence in Dense-Time AMS Assertions. - Sayandeep Sanyal; Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Vehicle-to-Everything (V2X) in Scenarios: Extending Scenario Description Language for Connected Vehicle Scenario Descriptions*. - Patrick Irvine; Peter Baker; Yuen Kwan Mo; Antonio Anastasio Bruto da Costa; Xizhe Zhang; Siddartha Khastgir; Paul A. Jennings (IV, 2022)

Writing Accessible and Correct Test Scenarios for Automated Driving Systems. - Antonio Anastasio Bruto da Costa; Patrick Irvine; Xizhe Zhang; Siddartha Khastgir; Paul A. Jennings (SMC, 2022)

Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain. - Yun Tang 003; Antonio Anastasio Bruto da Costa; Xizhe Zhang; Patrick Irvine; Siddartha Khastgir; Paul A. Jennings (ITSC, 2023)

Structured Natural Language for expressing Rules of the Road for Automated Driving Systems. - Patrick Irvine; Antonio Anastasio Bruto da Costa; Xizhe Zhang; Siddartha Khastgir; Paul A. Jennings (IV, 2023)

Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain. - Yun Tang 003; Antonio Anastasio Bruto da Costa; Jason Zhang; Patrick Irvine; Siddartha Khastgir; Paul A. Jennings (CoRR, 2023)

ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases. - Yun Tang 003; Dhanush Raj; Xingyu Zhao 001; Xizhe Zhang; Antonio Anastasio Bruto da Costa; Siddartha Khastgir; Paul A. Jennings (ICRA, 2024)

Towards Robust ISO 34503 ODD Language Syntax and Semantics. - Guild Bruce; Antonio Bruto da Costa; Siddartha Khastgir; Paul A. Jennings (ITSC, 2024)

Incorporating Human Factors into Scenario Languages for Automated Driving Systems. - Tudor Dodoiu; Antonio Anastasio Bruto da Costa; Siddartha Khastgir; Paul A. Jennings (IV, 2024)

Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems. - Yun Tang 003; Antonio Anastasio Bruto da Costa; Patrick Irvine; Tudor Dodoiu; Yi Zhang 141; Xingyu Zhao 001; Siddartha Khastgir; Paul A. Jennings (IV, 2024)

Building a Robust Scenario Library for Safety Assurance of Automated Driving Systems: A Review. - Antonio Anastasio Bruto da Costa; Patrick Irvine; Tudor Dodoiu; Siddartha Khastgir; Paul A. Jennings (IEEE Access, 2025)