Antonio Anastasio Bruto da Costa

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Description Languages

Feature Analysis

Autonomous Driving

Grand Challenge

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Yun Tang, Antonio Anastasio Bruto da Costa, Patrick Irvine, Tudor Dodoiu, Yi Zhang, Xingyu Zhao, Siddartha Khastgir, Paul A. Jennings
Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems. IV (2024)
Tudor Dodoiu, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings
Incorporating Human Factors into Scenario Languages for Automated Driving Systems. IV (2024)
Yun Tang, Dhanush Raj, Xingyu Zhao, Xizhe Zhang, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings
ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases. ICRA (2024)
Yun Tang, Antonio Anastasio Bruto da Costa, Jason Zhang, Patrick Irvine, Siddartha Khastgir, Paul A. Jennings
Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain. CoRR (2023)
Yun Tang, Antonio Anastasio Bruto da Costa, Xizhe Zhang, Patrick Irvine, Siddartha Khastgir, Paul A. Jennings
Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain. ITSC (2023)
Patrick Irvine, Antonio Anastasio Bruto da Costa, Xizhe Zhang, Siddartha Khastgir, Paul A. Jennings
Structured Natural Language for expressing Rules of the Road for Automated Driving Systems. IV (2023)
Antonio Anastasio Bruto da Costa, Patrick Irvine, Xizhe Zhang, Siddartha Khastgir, Paul A. Jennings
Writing Accessible and Correct Test Scenarios for Automated Driving Systems. SMC (2022)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
. CoRR (2021)
Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa, Nikolaos Kekatos
Explaining Outcomes of Multi-Party Dialogues using Causal Learning. CoRR (2021)
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) (2021)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. J. Artif. Intell. Res. 70 (2021)
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) (2021)
Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Recurrence in Dense-time AMS Assertions. CoRR (2020)
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR (2019)
Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. VLSI Design (2018)
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) (2018)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. VLSI Design (2017)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Formal Analysis of Hybrid Systems Using Feature Indented Assertions. CoRR (2017)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ATVA (2017)
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)
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) (2016)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse
Formal feature analysis of hybrid automata. MEMOCODE (2016)
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
Formal Interpretation of Assertion-Based Features on AMS Designs. IEEE Des. Test 32 (1) (2015)