Fabian Mühlböck
Henzinger_Thomas Group
6 Publications
2023 | Conference Paper | IST-REx-ID: 12856 |
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
2023 | Technical Report | IST-REx-ID: 12407 |
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
2021 | Journal Article | IST-REx-ID: 10153 |
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
2021 | Preprint | IST-REx-ID: 9281 |
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
2021 | Conference Paper | IST-REx-ID: 10108 |
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
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
6 Publications
2023 | Conference Paper | IST-REx-ID: 12856 |
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
2023 | Technical Report | IST-REx-ID: 12407 |
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
2021 | Journal Article | IST-REx-ID: 10153 |
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
2021 | Preprint | IST-REx-ID: 9281 |
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
2021 | Conference Paper | IST-REx-ID: 10108 |
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
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI