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.




271 Publications

2019 | Conference Paper | IST-REx-ID: 6565
Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC 2019 - Indian Control Conference
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control, International Conference on Hybrid Systems: Computation and Control, vol. 22. 39–44.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic fault localization and suspiciousness ranking. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427. 226–243.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6428
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control 57–66.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6752   OA
Avni G, Henzinger TA, Chonev VK. 2019. Infinite-duration bidding games. Journal of the ACM. 66(4), 31.
View | Files available | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed