dblp.uni-trier.dewww.uni-trier.de

Stephan Thesing

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
17EEReinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3): (2008)
2006
16 Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm: Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS 2006: 15-20
15EEStephan Thesing: Modeling a system controller for timing analysis. EMSOFT 2006: 292-300
14EEChristian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann: New Developments in WCET Analysis. Program Analysis and Compilation 2006: 12-52
13EEJan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006
2004
12EEAbdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm: Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229
2003
11EEStephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand: An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN 2003: 625-
10 Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm: Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) 2003: 335-339
9 Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. WCET 2003: 39-43
8 Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE 91(7): 1038-1054 (2003)
2002
7EEMarc Langenbach, Stephan Thesing, Reinhold Heckmann: Pipeline Modeling for Timing Analysis. SAS 2002: 294-309
2001
6EEChristian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm: Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT 2001: 469-485
1999
5 Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm: Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung 1999: 410-419
4 Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: Semantic Matching for Left-Linear Convergent Rewrite Systems Journal of Functional and Logic Programming 1999(11): (1999)
3 Daniel Kästner, Stephan Thesing: Cache Aware Pre-Runtime Scheduling. Real-Time Systems 17(2-3): 235-256 (1999)
1998
2EEDaniel Kästner, Stephan Thesing: Cache-Sensitive Pre-runtime Scheduling. LCTES 1998: 131-145
1995
1 Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: A New Strategy for Semantic Matching PLILP 1995: 81-96

Coauthor Index

1Bernd Becker [13] [16]
2Guillem Bernat [17]
3Bernd Bütow [1] [4]
4Christoph Cullmann [14]
5Jochen Eisinger [13] [16]
6Jakob Engblom [9] [17]
7Andreas Ermedahl [17]
8Alexander A. Evstiougov-Babaev [10]
9Christian Ferdinand [5] [6] [10] [11] [14] [17]
10Frank Fontaine [10]
11Nicolas Fritz [10]
12Robert Giegerich [1] [4]
13Reinhold Heckmann [6] [7] [8] [10] [11] [14] [17]
14Niklas Holsti [17]
15Daniel Kästner [2] [3] [5] [10]
16Marc Langenbach [5] [6] [7] [8] [10] [11]
17Florian Martin [5] [6] [10] [14]
18Alexander Metzner [16]
19Tulika Mitra [17]
20Frank Mueller [17]
21Enno Ohlebusch [1] [4]
22Oleg Parshin [12]
23Ilia Polian [13] [16]
24Isabelle Puaut [17]
25Peter P. Puschner [17]
26Abdur Rakib [12]
27Famantanantsoa Randimbivololona [11]
28Jan Reineke [13]
29Marc Schlickling [14]
30Michael Schmidt [5] [6] [10]
31Jörn Schneider [5]
32Martin Sicks [10]
33Jean Souyris [11]
34Jan Staschulat [17]
35Ingmar Stein [14]
36Per Stenström [17]
37Henrik Theiling [5] [6] [10]
38Björn Wachter [13]
39David B. Whalley [9] [17]
40Reinhard Wilhelm [5] [6] [8] [9] [10] [11] [12] [13] [16] [17]
41Stephan Wilhelm [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)