Please note that IST 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.

3 Publications


2017 | Thesis | IST-REx-ID: 1155   OA
P. Daca, Statistical and logical methods for property checking. IST Austria, 2017.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130
T. Tarrach, Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria, 2016.
View | Files available | Download (ext.)
 

2013 | Thesis | IST-REx-ID: 1405
D. Zufferey, Analysis of dynamic message passing programs. IST Austria, 2013.
View | Files available | Download (ext.)
 

Filters and Search Terms

supervisor=40876CD8-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed