Ana A Oliveira da Costa
1 Publication
2025 | Published | Journal Article | IST-REx-ID: 20186 | 
| 
|
Hsu, Tzu Han, et al. “Gray-Box Runtime Enforcement of Hyperproperties.” Acta Informatica, vol. 62, no. 3, 30, Springer Nature, 2025, doi:10.1007/s00236-025-00502-1.
[Published Version]
View
| Files available
| DOI
| WoS
Grants
1 Publication
2025 | Published | Journal Article | IST-REx-ID: 20186 |
|
|
Hsu, Tzu Han, et al. “Gray-Box Runtime Enforcement of Hyperproperties.” Acta Informatica, vol. 62, no. 3, 30, Springer Nature, 2025, doi:10.1007/s00236-025-00502-1.
[Published Version]
View
| Files available
| DOI
| WoS