|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Pastva, Samuel ; Henzinger, Thomas A. | Binary decision diagrams on modern hardware | Konferenzbeitrag Inproceedings    | Oct-2023 |
| 2 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira | Flavors of Sequential Information Flow | Konferenzbeitrag Inproceedings | 2022 |
| 3 | | Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu ; Rus, Daniela ; Henzinger, Thomas A. | Adversarial Training is Not Ready for Robot Learning | Konferenzbeitrag Inproceedings | 2021 |
| 4 |  | Alamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna | Formal Methods with a Touch of Magic | Konferenzbeitrag Inproceedings | 2020 |
| 5 | | Lechner, Mathias ; Hasani, Ramin ; Zimmer, Manuel ; Henzinger, Thomas A. ; Grosu, Radu | Designing Worm-inspired Neural Networks for Interpretable Robotic Control | Konferenzbeitrag Inproceedings | 2019 |
| 6 | | Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. | Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty | Konferenzbeitrag Inproceedings | 2019 |
| 7 | | Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. | Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian | Discrete Abstraction of Multiaffine Systems | Konferenzbeitrag Inproceedings | 2016 |
| 9 | | Cerny, Pavol ; Henzinger, Thomas A. ; Kovacs, Laura ; Radhakrishna, Arjun ; Zwirchmayr, Jakob | Segment Abstraction for Worst-Case Execution Time Analysis | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien | A Logic-Based Framework for Verifying Consensus Algorithms | Konferenzbeitrag Inproceedings | 2014 |
| 11 | | Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura | ABC: Algebraic Bound Computation for Loops | Konferenzbeitrag Inproceedings | 2010 |
| 12 | | Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey | Aligators for Arrays (Tool Paper) | Konferenzbeitrag Inproceedings | 2010 |
