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

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




285 Publications

2016 | Thesis | IST-REx-ID: 1130
Tarrach T. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria; 2016.
View | Files available | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1256   OA
Jiang Y, Yang Y, Liu H, et al. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. In: IEEE; 2016. doi:10.1109/RTAS.2016.7461337
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. QLOSE: Program repair with quantitative objectives. In: Vol 9780. Springer; 2016:383-401. doi:10.1007/978-3-319-41540-6_21
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650
View | DOI | Download (ext.)
 
2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 2016;149:15-25. doi:10.1016/j.biosystems.2016.07.005
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed