2 Publications

Mark all

[2]
2022 | Conference Paper | IST-REx-ID: 11775 | OA
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
 
[1]
2022 | Conference Paper | IST-REx-ID: 12302 | OA
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
 

Search

Filter Publications

Display / Sort

Export / Embed

2 Publications

Mark all

[2]
2022 | Conference Paper | IST-REx-ID: 11775 | OA
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
 
[1]
2022 | Conference Paper | IST-REx-ID: 12302 | OA
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
 

Search

Filter Publications

Display / Sort

Export / Embed