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.

4 Publications


2019 | Thesis | IST-REx-ID: 6894   OA
Giacobbe M. 2019. Automatic time-unbounded reachability analysis of hybrid systems, IST Austria, 132p.
View | Files available | DOI
 

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

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

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

Filters and Search Terms

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

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed