Ana A Oliveira da Costa
1 Publication
2025 | Published | Journal Article | IST-REx-ID: 20186 | 
| 
|
Hsu TH, Oliveira da Costa AA, Wintenberg A, Bartocci E, Bonakdarpour B. 2025. Gray-box runtime enforcement of hyperproperties. Acta Informatica. 62(3), 30.
[Published Version]
View
| Files available
| DOI
| WoS
Search
Filter Publications
Display / Sort
Export / Embed
Grants
1 Publication
2025 | Published | Journal Article | IST-REx-ID: 20186 |
|
|
Hsu TH, Oliveira da Costa AA, Wintenberg A, Bartocci E, Bonakdarpour B. 2025. Gray-box runtime enforcement of hyperproperties. Acta Informatica. 62(3), 30.
[Published Version]
View
| Files available
| DOI
| WoS