Antonio Anastasio Bruto da Costa

According to our database, Antonio Anastasio Bruto da Costa authored at least 21 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain.

Yun Tang, Antonio Anastasio Bruto da Costa, Jason Zhang, Patrick Irvine, Siddartha Khastgir, Paul A. Jennings

CoRR, 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

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain.

Yun Tang, Antonio Anastasio Bruto da Costa, Xizhe Zhang, Patrick Irvine, Siddartha Khastgir, Paul A. Jennings

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

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

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

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

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

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

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta

J. Artif. Intell. Res., 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

Explaining Outcomes of Multi-Party Dialogues using Causal Learning.

Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa, Nikolaos Kekatos

CoRR, 2021

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET^SMT.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos

CoRR, 2021

2019

Flexible Mining of Prefix Sequences from Time-Series Traces.

Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta

CoRR, 2019

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

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.

Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

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

Proceedings of the Heritage Preservation - A Computational Approach, 2018

2017

Formal Analysis of Hybrid Systems Using Feature Indented Assertions.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta

CoRR, 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

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

ForFET: A Formal Feature Evaluation Tool for Hybrid Systems.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta

Proceedings of the Automated Technology for Verification and Analysis, 2017

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

Formal feature analysis of hybrid automata.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015

Formal Interpretation of Assertion-Based Features on AMS Designs.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta

IEEE Des. Test, 2015