default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonio Anastasio Bruto da Costa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c12]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: 2197-2203- [c11]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: 1112-1118 - [c10]Tudor Dodoiu, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings:
Incorporating Human Factors into Scenario Languages for Automated Driving Systems. IV 2024: 3009-3016 - 2023
- [c9]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: 3893-3900 - [c8]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: 1-8 - [i6]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 abs/2307.11769 (2023) - 2022
- [c7]Patrick Irvine, Peter Baker, Yuen Kwan Mo, Antonio Anastasio Bruto da Costa, Xizhe Zhang, Siddartha Khastgir, Paul A. Jennings:
Vehicle-to-Everything (V2X) in Scenarios: Extending Scenario Description Language for Connected Vehicle Scenario Descriptions*. IV 2022: 548-555 - [c6]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: 1356-1363 - 2021
- [j6]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): 138-141 (2021) - [j5]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series. J. Artif. Intell. Res. 70: 205-243 (2021) - [j4]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): 2416-2420 (2021) - [i5]Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos:
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT. CoRR abs/2101.01255 (2021) - [i4]Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa, Nikolaos Kekatos:
Explaining Outcomes of Multi-Party Dialogues using Causal Learning. CoRR abs/2105.00944 (2021) - 2020
- [i3]Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Recurrence in Dense-time AMS Assertions. CoRR abs/2011.08805 (2020)
2010 – 2019
- 2019
- [i2]Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta:
Flexible Mining of Prefix Sequences from Time-Series Traces. CoRR abs/1905.12262 (2019) - 2018
- [j3]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): 2474-2484 (2018) - [c5]Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta:
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. VLSID 2018: 404-409 - [p1]Sudipa Mandal, Shilpi Chaudhuri, Antonio Anastasio Bruto da Costa, Gouri Karambelkar, Pallab Dasgupta:
On the Deep Structure of Ragas and Analytic Rating of Music Scores. Heritage Preservation 2018: 161-179 - 2017
- [c4]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. ATVA 2017: 437-445 - [c3]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. VLSID 2017: 233-238 - [c2]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. VLSID 2017: 239-244 - [i1]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Formal Analysis of Hybrid Systems Using Feature Indented Assertions. CoRR abs/1711.00669 (2017) - 2016
- [j2]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): 1928-1941 (2016) - [c1]Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Goran Frehse:
Formal feature analysis of hybrid automata. MEMOCODE 2016: 2-11 - 2015
- [j1]Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
Formal Interpretation of Assertion-Based Features on AMS Designs. IEEE Des. Test 32(1): 9-17 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
