팔로우
Antonio A. Bruto da Costa
Antonio A. Bruto da Costa
Ph.D. Student in Computer Science and Engineering, Indian Institute of Technology, Kharagpur
cse.iitkgp.ernet.in의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Feature indented assertions for analog and mixed-signal validation
A Ain, AAB da Costa, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
222016
Formal Interpretation of Assertion-Based Features on AMS Designs
AA Bruto da Costa, P Dasgupta
Design & Test, IEEE 32 (1), 9-17, 2015
14*2015
Formal verification of power management logic with mixed-signal domains
S Mandal, AB Da Costa, A Hazra, P Dasgupta, B Naware, RM Chunduri, ...
2017 30th International Conference on VLSI Design and 2017 16th …, 2017
92017
Formal feature interpretation of hybrid systems
AAB da Costa, G Frehse, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
52018
ForFET: A formal feature evaluation tool for hybrid systems
AA Bruto da Costa, P Dasgupta
International Symposium on Automated Technology for Verification and …, 2017
42017
Formal feature analysis of hybrid automata
AAB da Costa, P Dasgupta, G Frehse
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
42016
Learning temporal causal sequence relationships from real-time time-series
AAB da Costa, P Dasgupta
Journal of Artificial Intelligence Research 70, 205-243, 2021
32021
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
P Sinha, P Mitra, AAB da Costa, N Kekatos
arXiv preprint arXiv:2105.00944, 2021
22021
Recurrence in dense-time AMS assertions
S Sanyal, AAB da Costa, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
22020
SMT-based verification of safety-critical embedded control software
S Adhikary, A Gurung, J Thakkar, AB Da Costa, S Dey, A Hazra, ...
IEEE Embedded Systems Letters 13 (3), 138-141, 2020
12020
On the Deep Structure of Ragas and Analytic Rating of Music Scores
S Mandal, S Chaudhuri, AAB Costa, G Karambelkar, P Dasgupta
Heritage Preservation, 161-179, 2018
12018
Generating AMS behavioral models with formal guarantees on feature accuracy
AAB Da Costa, P Dasgupta
2017 30th International Conference on VLSI Design and 2017 16th …, 2017
12017
ForFET-SMT: Quantitative SMT Analysis of Hybrid Automata using Features
AAB da Costa, P Dasgupta, N Kekatos
2020
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
AAB da Costa, P Dasgupta, N Kekatos
arXiv preprint arXiv:2101.01255, 2020
2020
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic
AAB da Costa, S Dharade, S Mandal, P Dasgupta
2018 31st International Conference on VLSI Design and 2018 17th …, 2018
2018
Formal Analysis of Hybrid Systems Using Feature Indented Assertions.
AAB da Costa, P Dasgupta
CoRR, 2017
2017
VLSID 2017
A Castagnetti, A Konar, A Roy, A Haque, A Ain, AAB da Costa, A Abedin, ...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–17