Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6 Publications


2022 | Published | Thesis | IST-REx-ID: 11362 | OA
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2021 | Published | Technical Report | IST-REx-ID: 9946 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 10002 | OA
Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10108 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint] View | Files available | DOI | WoS
 

2021 | Published | Thesis | IST-REx-ID: 10199 | OA
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
 

Filters and Search Terms

keyword="verification"

Search

Filter Publications

Display / Sort

Export / Embed