Fabian Mühlböck
Henzinger_Thomas Group
6 Publications
2023 | Conference Paper | IST-REx-ID: 12856 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version]
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10153 |
F. Mühlböck and R. Tate, “Transitioning from structural to nominal code with efficient gradual typing,” Proceedings of the ACM on Programming Languages, vol. 5. Association for Computing Machinery, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 9281 |
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10108 |
F. Mühlböck and T. A. Henzinger, “Differential monitoring,” in International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Technical Report | IST-REx-ID: 9946 |
F. Mühlböck and T. A. Henzinger, Differential monitoring. IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
6 Publications
2023 | Conference Paper | IST-REx-ID: 12856 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version]
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10153 |
F. Mühlböck and R. Tate, “Transitioning from structural to nominal code with efficient gradual typing,” Proceedings of the ACM on Programming Languages, vol. 5. Association for Computing Machinery, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 9281 |
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10108 |
F. Mühlböck and T. A. Henzinger, “Differential monitoring,” in International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Technical Report | IST-REx-ID: 9946 |
F. Mühlböck and T. A. Henzinger, Differential monitoring. IST Austria, 2021.
[Published Version]
View
| Files available
| DOI