PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Reinbacher, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Model checking embedded software of an industrial knitting machine.

, , , , and . IJITCC, 1 (2): 186-205 (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?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Thomas Maier

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

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