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. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria; 2019. doi:10.15479/AT:ISTA:6894
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155   OA
Daca P. Statistical and Logical Methods for Property Checking. IST Austria; 2017. doi:10.15479/AT:ISTA:TH_730
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130
Tarrach T. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria; 2016.
View | Files available | Download (ext.)
 

2013 | Thesis | IST-REx-ID: 1405
Zufferey D. 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: AMA

Export / Embed