|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira | Flavors of Sequential Information Flow | Konferenzbeitrag Inproceedings | 2022 |
| 2 | | Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu ; Rus, Daniela ; Henzinger, Thomas A. | Adversarial Training is Not Ready for Robot Learning | Konferenzbeitrag Inproceedings  | 2021 |
| 3 | | Lechner, Mathias ; Hasani, Ramin ; Amini, Alexander ; Henzinger, Thomas A. ; Rus, Daniela ; Grosu, Radu | Neural Circuit Policies Enabling Auditable Autonomy | Artikel Article | 2020 |
| 4 |  | Alamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer | Formal Methods with a Touch of Magic | Konferenzbeitrag Inproceedings   | 2020 |
| 5 | | Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. ; André, Étienne ; Stoelinga, Mariëlle | Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty | Konferenzbeitrag Inproceedings | 2019 |
| 6 | | Lechner, Mathias ; Hasani, Ramin ; Zimmer, Manuel ; Henzinger, Thomas A. ; Grosu, Radu | Designing Worm-inspired Neural Networks for Interpretable Robotic Control | Konferenzbeitrag Inproceedings | 2019 |
| 7 | | Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. ; Chockler, Hana ; Weissenbacher, Georg | Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg | Preface of the Special Issue in Memoriam Helmut Veith | Artikel Article | 2017 |
| 9 | | Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian | Discrete Abstraction of Multiaffine Systems | Konferenzbeitrag Inproceedings | 2016 |
| 10 | | Cerny, Pavol ; Henzinger, Thomas A. ; Kovacs, Laura ; Radhakrishna, Arjun ; Zwirchmayr, Jakob ; Vitek, Jan | Segment Abstraction for Worst-Case Execution Time Analysis | Konferenzbeitrag Inproceedings | 2015 |
| 11 | | Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien | A Logic-Based Framework for Verifying Consensus Algorithms | Konferenzbeitrag Inproceedings | 2014 |
| 12 | | Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura | ABC: Algebraic Bound Computation for Loops | Konferenzbeitrag Inproceedings | 2010 |
| 13 | | Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey | Aligators for Arrays (Tool Paper) | Konferenzbeitrag Inproceedings | 2010 |
