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.

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Univ. -Prof. Martin Ostermann University of Stuttgart

Dr. Martin Rose University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU).K. Schossmaier, U. Schmid, M. Horauer, und D. Loy. Real-Time Systems, 12 (3): 295-327 (1997)Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks.E. Armengaud, A. Steininger, und M. Horauer. ETFA, Seite 897-904. IEEE, (2006)Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection.C. Fibich, M. Horauer, und R. Obermaisser. ISIE, Seite 1363-1370. IEEE, (2019)Towards a Systematic Test for Embedded Automotive Communication Systems.E. Armengaud, A. Steininger, und M. Horauer. IEEE Trans. Industrial Informatics, 4 (3): 146-155 (2008)A structured approach for the systematic test of embedded automotive communication systems.E. Armengaud, F. Rothensteiner, A. Steininger, R. Pallierer, M. Horauer, und M. Zauner. ITC, Seite 8. IEEE Computer Society, (2005)Runtime verification of microcontroller binary code.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. Sci. Comput. Program., (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)NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization.M. Horauer, U. Schmid, und K. Schossmaier. IPPS/SPDP Workshops, Volume 1388 von Lecture Notes in Computer Science, Seite 1067-1076. Springer, (1998)Vulnerability analysis of storage elements in HLS-generated designs using high-level profiling.C. Fibich, M. Horauer, und R. Obermaisser. ICSRS, Seite 190-194. IEEE, (2017)An investigation of the clique problem in FlexRay.P. Milbredt, M. Horauer, und A. Steininger. SIES, Seite 200-207. IEEE, (2008)