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. 2016. Automatic synthesis of synchronisation primitives for concurrent programs, IST Austria, 151p.
View | Files available | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1256   OA
Jiang Y, Yang Y, Liu H, Kong H, Gu M, Sun J, Sha L. 2016. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. RTAS: Real-time and Embedded Technology and Applications Symposium
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. 2016. QLOSE: Program repair with quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 9780. 383–401.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22. 400–415.
View | DOI | Download (ext.)
 
2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. 2016. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 149, 15–25.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1524   OA
Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271. 173–191.
View | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, 112–121.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1093
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1391   OA
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780. 230–248.
View | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1341
Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928. 153–166.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed