Fabian Mühlböck
Henzinger_Thomas Group
5 Publications
2023 | Technical Report | IST-REx-ID: 12407 |

VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
2021 | Journal Article | IST-REx-ID: 10153 |

Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
2021 | Conference Paper | IST-REx-ID: 10108 |

Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 | Technical Report | IST-REx-ID: 9946 |

Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 | Preprint | IST-REx-ID: 9281 |

Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
G. Dubach, F. Mühlböck, ArXiv (n.d.).
5 Publications
2023 | Technical Report | IST-REx-ID: 12407 |

VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
2021 | Journal Article | IST-REx-ID: 10153 |

Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
2021 | Conference Paper | IST-REx-ID: 10108 |

Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 | Technical Report | IST-REx-ID: 9946 |

Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 | Preprint | IST-REx-ID: 9281 |

Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
G. Dubach, F. Mühlböck, ArXiv (n.d.).