Ana A Oliveira da Costa

1 Publication

[1]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
Hsu, T. H., Oliveira da Costa, A. A., Wintenberg, A., Bartocci, E., & Bonakdarpour, B. (2025). Gray-box runtime enforcement of hyperproperties. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00502-1
[Published Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

Grants


1 Publication

[1]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
Hsu, T. H., Oliveira da Costa, A. A., Wintenberg, A., Bartocci, E., & Bonakdarpour, B. (2025). Gray-box runtime enforcement of hyperproperties. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00502-1
[Published Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed