Ana A Oliveira da Costa

1 Publication

[1]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
T. H. Hsu, A. A. Oliveira da Costa, A. Wintenberg, E. Bartocci, and B. Bonakdarpour, “Gray-box runtime enforcement of hyperproperties,” Acta Informatica, vol. 62, no. 3. Springer Nature, 2025.
[Published Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


1 Publication

[1]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
T. H. Hsu, A. A. Oliveira da Costa, A. Wintenberg, E. Bartocci, and B. Bonakdarpour, “Gray-box runtime enforcement of hyperproperties,” Acta Informatica, vol. 62, no. 3. Springer Nature, 2025.
[Published Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed