Antonio Anastasio Bruto da Costa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICRA | ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases. | Yun Tang, Dhanush Raj, Xingyu Zhao, Xizhe Zhang, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings |
| 2022 | SMC | Writing Accessible and Correct Test Scenarios for Automated Driving Systems. | Antonio Anastasio Bruto da Costa, Patrick Irvine, Xizhe Zhang, Siddartha Khastgir, Paul A. Jennings |
| 2018 | VLSID | AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. | Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta |
| 2017 | ATVA | ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
| 2017 | VLSID | Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta |
| 2017 | VLSID | 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 |
| 2016 | MEMOCODE | Formal feature analysis of hybrid automata. | Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse |