Curriculum vitæ

Stephan Thesing, born in 1970, completed the diploma degree program in computer science and physics at the Bielefeld University from 1990 to 1996. In his master's thesis he investigated the efficient implementation of functional-logic programming languages.

During his undergraduate studies, Mr. Thesing received a student scholarship from the Professor-Rhein-Stiftung. From 1996 until 1999 he received a fellowship from the Deutsche Forschungsgemeinschaft (DFG).

In 1998, Mr. Thesing was one of the co-founders of AbsInt. Since 1999, he has been a research associate at the Department for Compiler Construction and Programming Languages at the Saarland University, in addition to participating in the IST project DAEDALUS (“Validation of Critical Software by Static Analysis and Abstract Testing”).

In 2004, Mr. Thesing completed his doctorate, his dissertation being entitled “Safe and Precise Worst-Case Execution Time Prediction by Abstract Interpretation of Pipeline Models”.

Research interests

  • Scheduling for real-time systems
  • Analysis of hard real-time systems
  • Abstract interpretation
  • Data flow analysis
  • Incremental analysis
  • Functional programming
  • Analysis of Java
  • Compiling Java to native code
  • Term rewriting systems
  • Logic functional languages
  • Cryptography

Selected publications

  • Stephan Thesing. Safe and Precise Worst-Case Execution Time Prediction by Abstract Interpretation of Pipeline Models. PhD Thesis, University of Saarland, 2004.
  • C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, R. Wilhelm. Validierung des Zeitverhaltens von kritischer Echtzeit-Software. Workshop: Automotive SW Engineering & Concepts. 33. Jahrestagung der GI, Frankfurt/M. Informatik 2003 — Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6), Lecture Notes in Informatics (LNI), 2003.
  • Daniel Kästner, Stephan Thesing. Cache-Aware Pre-Runtime Scheduling. Journal of Real-Time Systems, Vol. 1999, Number 2/3, pages 235–250, Kluwer Academic Publishers, 1999.
  • Daniel Kästner, Stephan Thesing. Cache Sensitive Pre-Runtime Scheduling. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Montreal, CA. LNCS 1474, pages 131–145, Springer, 1998.
  • Stephan Thesing. Quetzal — Ein Beschreibungssystem für semantische Unifikationsverfahren. Master's Thesis, University of Bielefeld, 1996.
  • Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing. Semantic Matching for Left-Linear Convergent Rewrite Systems. Journal of Functional and Logic Programming, No. 11/99. The MIT Press, 1999.
  • Bernd Bütow, Stephan Thesing. Reverse Restructuring: Another Method of Solving Algebraic Equations. Technical Report 94-07, University of Bielefeld, 1994.
Top