Stephan Thesing Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Thesing: Modeling a system controller for timing analysis. EMSOFT 2006: 292-300
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm: Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229
2003
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan 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-
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. WCET 2003: 39-43
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhold 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Langenbach, Stephan Thesing, Reinhold Heckmann: Pipeline Modeling for Timing Analysis. SAS 2002: 294-309
2001
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Kästner, Stephan Thesing: Cache Aware Pre-Runtime Scheduling. Real-Time Systems 17(2-3): 235-256 (1999)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Kästner, Stephan Thesing: Cache-Sensitive Pre-runtime Scheduling. LCTES 1998: 131-145
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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 © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)