4 Publications

Mark all

[4]
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
 
[3]
2021 | Journal Article | IST-REx-ID: 8912 | OA
Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).
View | Files available | DOI
 
[2]
2021 | Conference Paper | IST-REx-ID: 9356 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
View | Files available | DOI | arXiv
 
[1]
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

4 Publications

Mark all

[4]
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
 
[3]
2021 | Journal Article | IST-REx-ID: 8912 | OA
Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications 167 (2021).
View | Files available | DOI
 
[2]
2021 | Conference Paper | IST-REx-ID: 9356 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
View | Files available | DOI | arXiv
 
[1]
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed