Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model checking embedded software of an industrial knitting machine.

T. Reinbacher, M. Horauer, B. Schlich, J. Brauer, und F. Scheuer. IJITCC, 1 (2): 186-205 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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, und 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, und 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, und D. Visvikis. Physics in medicine and biology, 60 (6): 2529-46 (März 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, und H. Schmidt. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Toronto, Canada, (Juni 2015)

Jun. -Prof. Dr. Thomas Wortmann University of Stuttgart

Supplemental Materials for: Visual Analysis of Fitness Landscapes in Architectural Design OptimizationM. Abdelaal, M. Galuschka, M. Zorn, F. Kannenberg, A. Menges, T. Wortmann, D. Weiskopf, und K. Kurzhals. Software, (2024)Related to: Manuscript accepted for publication in the Visual Computer journal.

Thomas Maier

Thomas Maier

Thomas Maier

Weitere Publikationen von Autoren mit dem selben Namen

Template-Based Synthesis of Plan Execution Monitors.T. Reinbacher, und C. Guzmán-Alvarez. HAIS, Volume 8073 von Lecture Notes in Computer Science, Seite 451-461. Springer, (2013)Analyse von eingebetteten Echtzeitsystemen zur Laufzeit.T. Reinbacher. Ausgezeichnete Informatikdissertationen, Volume D-14 von LNI, GI, (2013)Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. MEMICS, Volume 16 von OASIcs, Seite 101-108. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Runtime verification of microcontroller binary code.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. Sci. Comput. Program., (2014)Real-Time Runtime Verification on Chip.T. Reinbacher, M. Függer, und J. Brauer. RV, Volume 7687 von Lecture Notes in Computer Science, Seite 110-125. Springer, (2012)Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.T. Reinbacher, K. Rozier, und J. Schumann. TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 357-372. Springer, (2014)Past Time LTL Runtime Verification for Microcontroller Binary Code.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. FMICS, Volume 6959 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2011)Stack bounds analysis for microcontroller assembly code.J. Brauer, B. Schlich, T. Reinbacher, und S. Kowalewski. WESS, ACM, (2009)Runtime verification of embedded real-time systems.T. Reinbacher, M. Függer, und J. Brauer. Formal Methods in System Design, 44 (3): 203-239 (2014)Precise control flow reconstruction using boolean logic.T. Reinbacher, und J. Brauer. EMSOFT, Seite 117-126. ACM, (2011)