Antonio Anastasio Bruto da Costa

Orcid: 0000-0002-4590-0665

According to our database1, Antonio Anastasio Bruto da Costa authored at least 24 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Incorporating Human Factors into Scenario Languages for Automated Driving Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

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

Structured Natural Language for expressing Rules of the Road for Automated Driving Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2022
Writing Accessible and Correct Test Scenarios for Automated Driving Systems.
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<sup>*</sup>.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021
Recurrence in Dense-Time AMS Assertions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series.
J. Artif. Intell. Res., 2021

SMT-Based Verification of Safety-Critical Embedded Control Software.
IEEE Embed. Syst. Lett., 2021

Explaining Outcomes of Multi-Party Dialogues using Causal Learning.
CoRR, 2021

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET<sup>SMT</sup>.
CoRR, 2021

2019
Flexible Mining of Prefix Sequences from Time-Series Traces.
CoRR, 2019

2018
Formal Feature Interpretation of Hybrid Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.
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.
Proceedings of the Heritage Preservation - A Computational Approach, 2018

2017
Formal Analysis of Hybrid Systems Using Feature Indented Assertions.
CoRR, 2017

Formal Verification of Power Management Logic with Mixed-Signal Domains.
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.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Feature Indented Assertions for Analog and Mixed-Signal Validation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Formal feature analysis of hybrid automata.
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.
IEEE Des. Test, 2015


  Loading...