Nicolas A Mazzocchi
Henzinger_Thomas Group
2 Publications
2022 | Conference Paper | IST-REx-ID: 11775 |

Abstract monitors for quantitative specifications
Henzinger, Thomas A, Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification 13498. 2022
View
| Files available
| DOI
Henzinger, Thomas A, Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification 13498. 2022
2022 | Conference Paper | IST-REx-ID: 12302 |

FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
View
| Files available
| DOI
| arXiv
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
2 Publications
2022 | Conference Paper | IST-REx-ID: 11775 |

Abstract monitors for quantitative specifications
Henzinger, Thomas A, Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification 13498. 2022
View
| Files available
| DOI
Henzinger, Thomas A, Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification 13498. 2022
2022 | Conference Paper | IST-REx-ID: 12302 |

FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
View
| Files available
| DOI
| arXiv
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.