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.

282 Publications

2017 | Journal Article | IST-REx-ID: 471   OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 2017;18(2). doi:10.1145/3060139
View | Files available | DOI | Download (ext.)
2017 | Conference Paper | IST-REx-ID: 647   OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1135   OA
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1205   OA
Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi:10.1007/978-3-319-48989-6_47
View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol 2016. AAAI Press; 2016:3225-3232.
View | Files available
2016 | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems. In: Springer; 2016:155-164. doi:10.1145/2883817.2883837
View | DOI
2016 | Journal Article | IST-REx-ID: 1705   OA
Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 2016;18(4):449-467. doi:10.1007/s10009-015-0393-y
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.)
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


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed