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.




300 Publications

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software.
View | Files available | arXiv
 
2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria; 2020. doi:10.15479/AT:ISTA:8332
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7505 | OA
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. In: 24th European Conference on Artificial Intelligence. Vol 325. IOS Press; 2020:2433-2440. doi:10.3233/FAIA200375
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:16-48. doi:10.29007/7dt2
View | DOI | Download Published Version (ext.)
 

Search

Display / Sort

Citation Style: AMA

Export / Embed