Ana A Oliveira da Costa

3 Publications

Mark all

[3]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
Gray-box runtime enforcement of hyperproperties
T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025).
[Published Version] View | Files available | DOI | WoS
 
[2]
2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version] View | Files available | DOI | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

Grants


3 Publications

Mark all

[3]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
Gray-box runtime enforcement of hyperproperties
T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025).
[Published Version] View | Files available | DOI | WoS
 
[2]
2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version] View | Files available | DOI | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed