Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.

M. Brockschmidt, T. Ströder, C. Otto, and J. Giesl. FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 123-141. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, and C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, and C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)The use of a generalized reconstruction by inversion of coupled systems (GRICS) approach for generic respiratory motion correction in PET/MR imagingH. Fayad, F. Odille, H. Schmidt, C. Würslin, T. Küstner, J. Felblinger, and D. Visvikis. Physics in medicine and biology, 60 (6): 2529-46 (March 2015)In-vivo MR-derived non-rigid motion correction of simultaneously acquired PETT. Küstner, C. Würslin, S. Gatidis, P. Martirosian, N. Schwenzer, B. Yang, and H. Schmidt. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Toronto, Canada, (June 2015)

Univ. -Prof. Dr. -Ing. Thomas Bauernhansl University of Stuttgart

Konzepte zur Gestaltung und Steuerung von Kooperationsmodellen im Maschinen- und AnlagenbauG. Schuh, M. Kuhn, T. Bauernhansl, and A. Sauer. Handbuch Unternehmensorganisation : Strategien, Planung, Umsetzung, Springer Vieweg, Berlin, (2023)

Ph. D. Thomas Günther University of Stuttgart

Bruce Thomas University of Stuttgart

Dr. -Ing. Thomas Keilig University of Stuttgart

Other publications of authors with the same name

Proving Termination of Programs Automatically with AProVE.J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski and 1 other author(s). IJCAR, volume 8562 of Lecture Notes in Computer Science, page 184-191. Springer, (2014)Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.J. Hensel, J. Giesl, F. Frohn, and T. Ströder. SEFM, volume 9763 of Lecture Notes in Computer Science, page 234-252. Springer, (2016)Automated termination analysis for logic programs with cut.P. Schneider-Kamp, J. Giesl, T. Ströder, A. Serebrenik, and R. Thiemann. TPLP, 10 (4-6): 365-381 (2010)Proving Termination and Memory Safety for Programs with Pointer Arithmetic.T. Ströder, J. Giesl, M. Brockschmidt, F. Frohn, C. Fuhs, J. Hensel, and P. Schneider-Kamp. IJCAR, volume 8562 of Lecture Notes in Computer Science, page 208-223. Springer, (2014)Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.T. Ströder, J. Giesl, M. Brockschmidt, F. Frohn, C. Fuhs, J. Hensel, P. Schneider-Kamp, and C. Aschermann. J. Autom. Reasoning, 58 (1): 33-65 (2017)Symbolic execution and program synthesis: a general methodology for software verification.T. Ströder. RWTH Aachen University, Germany, (2019)Inferring Lower Bounds for Runtime Complexity.F. Frohn, J. Giesl, J. Hensel, C. Aschermann, and T. Ströder. RTA, volume 36 of LIPIcs, page 334-349. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors.T. Ströder, and M. Pagnucco. IJCAI, page 936-941. (2009)AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).T. Ströder, C. Aschermann, F. Frohn, J. Hensel, and J. Giesl. TACAS, volume 9035 of Lecture Notes in Computer Science, page 417-419. Springer, (2015)Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.T. Ströder, P. Schneider-Kamp, and J. Giesl. LOPSTR, volume 6564 of Lecture Notes in Computer Science, page 184-199. Springer, (2010)