Fabian Mühlböck

7 Publications

Mark all

[7]
2025 | Published | Journal Article | IST-REx-ID: 18169 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2025. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 240(2), 103212.
[Published Version] View | Files available | DOI | WoS
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version] View | Files available | DOI
 
[5]
2023 | Published | Technical Report | IST-REx-ID: 12407 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version] View | Files available | DOI
 
[4]
2021 | Published | Journal Article | IST-REx-ID: 10153 | OA
Mühlböck F, Tate R. 2021. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 5, 127.
[Published Version] View | Files available | DOI
 
[3]
2021 | Published | Conference Paper | IST-REx-ID: 10108 | OA
Mühlböck F, Henzinger TA. 2021. Differential monitoring. International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 231–243.
[Preprint] View | Files available | DOI | WoS
 
[2]
2021 | Published | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
[Published Version] View | Files available | DOI
 
[1]
2021 | Submitted | Preprint | IST-REx-ID: 9281 | OA
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv, 2103.11389.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed

Grants


7 Publications

Mark all

[7]
2025 | Published | Journal Article | IST-REx-ID: 18169 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2025. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 240(2), 103212.
[Published Version] View | Files available | DOI | WoS
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version] View | Files available | DOI
 
[5]
2023 | Published | Technical Report | IST-REx-ID: 12407 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
[Published Version] View | Files available | DOI
 
[4]
2021 | Published | Journal Article | IST-REx-ID: 10153 | OA
Mühlböck F, Tate R. 2021. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 5, 127.
[Published Version] View | Files available | DOI
 
[3]
2021 | Published | Conference Paper | IST-REx-ID: 10108 | OA
Mühlböck F, Henzinger TA. 2021. Differential monitoring. International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 231–243.
[Preprint] View | Files available | DOI | WoS
 
[2]
2021 | Published | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
[Published Version] View | Files available | DOI
 
[1]
2021 | Submitted | Preprint | IST-REx-ID: 9281 | OA
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv, 2103.11389.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed