Ana A Oliveira da Costa

3 Publications

Mark all

[3]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
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
 
[2]
2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Chalupa, Marek, et al. “Flavors of Quantifiers in Hyperlogics.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18, doi:10.4230/LIPICS.FSTTCS.2025.20.
[Published Version] View | Files available | DOI | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Chalupa, Marek, et al. “Monitoring Hypernode Logic over Infinite Domains.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 417–37, doi:10.1007/978-3-032-05435-7_23.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

Grants


3 Publications

Mark all

[3]
2025 | Published | Journal Article | IST-REx-ID: 20186 | OA | PlanS
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
 
[2]
2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Chalupa, Marek, et al. “Flavors of Quantifiers in Hyperlogics.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18, doi:10.4230/LIPICS.FSTTCS.2025.20.
[Published Version] View | Files available | DOI | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Chalupa, Marek, et al. “Monitoring Hypernode Logic over Infinite Domains.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 417–37, doi:10.1007/978-3-032-05435-7_23.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed