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.
390 Publications
2019 |Published| Conference Paper | IST-REx-ID: 6885 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6985 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Book Chapter | IST-REx-ID: 7453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Conference Paper | IST-REx-ID: 7576 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 8570 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Althoff et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 14–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Conference Paper | IST-REx-ID: 6884 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6042 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, 2019, vol. 22, pp. 39–44.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6428 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6462 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6752 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” Journal of the ACM, vol. 66, no. 4. ACM, 2019.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7159
D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Thesis | IST-REx-ID: 6894 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI