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

A Definition and Classification of Timing Anomalies.

J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, und B. Becker. WCET, Volume 4 von OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)

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.

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

Stephan Renninger University of Stuttgart

Stephan Bachmann University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Cache-Sensitive Pre-runtime Scheduling.D. Kästner, und S. Thesing. LCTES, Volume 1474 von Lecture Notes in Computer Science, Seite 131-145. Springer, (1998)Semantic Matching for Left-Linear Convergent Rewrite SystemsB. Bütow, R. Giegerich, E. Ohlebusch, und S. Thesing. Journal of Functional and Logic Programming, (1999)Cache Aware Pre-Runtime Scheduling.D. Kästner, und S. Thesing. Real-Time Systems, 17 (2-3): 235-256 (1999)An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, und C. Ferdinand. DSN, Seite 625-632. IEEE Computer Society, (2003)The influence of processor architecture on the design and the results of WCET tools.R. Heckmann, M. Langenbach, S. Thesing, und R. Wilhelm. Proceedings of the IEEE, 91 (7): 1038-1054 (2003)Run-Time Guarantees for Real-Time Systems - The USES Approach.C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, und R. Wilhelm. GI Jahrestagung, Seite 410-419. Springer, (1999)Safe and precise WCET determination by abstract interpretation of pipeline models.S. Thesing. Saarland University, Saarbrücken, Germany, (2004)The worst-case execution-time problem - overview of methods and survey of tools.R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra und 5 andere Autor(en). ACM Trans. Embedded Comput. Syst., 7 (3): 36:1-36:53 (2008)Validierung des Zeitverhaltens von kritischer Echtzeit-Software.C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine und 4 andere Autor(en). GI Jahrestagung (1), Volume P-34 von LNI, Seite 335-339. GI, (2003)Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.R. Wilhelm, J. Engblom, S. Thesing, und D. Whalley. WCET, MDH-MRTC-116/2003-1-SE, Seite 39-43. Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden, (2003)