Name Card

Full name Familienname, Vorname
Henzinger, Thomas A.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareInproceedings Oct-2023
2Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira Flavors of Sequential Information FlowKonferenzbeitrag Inproceedings2022
3Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu ; Rus, Daniela ; Henzinger, Thomas A. Adversarial Training is Not Ready for Robot LearningKonferenzbeitrag Inproceedings 2021
4Lechner, Mathias ; Hasani, Ramin ; Amini, Alexander ; Henzinger, Thomas A. ; Rus, Daniela ; Grosu, Radu Neural Circuit Policies Enabling Auditable AutonomyArtikel Article 2020
521_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna Formal Methods with a Touch of MagicKonferenzbeitrag Inproceedings 2020
6Lechner, Mathias ; Hasani, Ramin ; Zimmer, Manuel ; Henzinger, Thomas A. ; Grosu, Radu Designing Worm-inspired Neural Networks for Interpretable Robotic ControlKonferenzbeitrag Inproceedings 2019
7Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with UncertaintyKonferenzbeitrag Inproceedings2019
8Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier TubesKonferenzbeitrag Inproceedings 2018
9Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg Preface of the Special Issue in Memoriam Helmut VeithArtikel Article2017
10Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian Discrete Abstraction of Multiaffine SystemsKonferenzbeitrag Inproceedings 2016
11Cerny, Pavol ; Henzinger, Thomas A. ; Kovacs, Laura ; Radhakrishna, Arjun ; Zwirchmayr, Jakob Segment Abstraction for Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings 2015
12Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien A Logic-Based Framework for Verifying Consensus AlgorithmsKonferenzbeitrag Inproceedings 2014
13Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey Aligators for Arrays (Tool Paper)Konferenzbeitrag Inproceedings2010
14Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ABC: Algebraic Bound Computation for LoopsKonferenzbeitrag Inproceedings2010