Publications

[TF98]

Henrik Theiling and Christian Ferdinand.
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.
In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 144--153, Madrid, Spain, December 1998.
[[ .ps.gz file || BIBTEX entry || abstract || abstract [German] || references ]]

[The98]

Henrik Theiling.
Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden. Diplomarbeit (~Master's thesis), Universität des Saarlandes, September 1998.
[[ .ps.gz file || BIBTEX entry || references ]]

[FKL⁺99]

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, and Reinhard Wilhelm.
Run-Time Guarantees for Real-Time Systems --- The USES Approach.
In Proceedings of Informatik '99 -- Arbeitstagung Programmiersprachen, Paderborn, 1999.
[[ .ps.gz file || BIBTEX entry || abstract || references ]]

[TFW00]

Henrik Theiling, Christian Ferdinand, and Reinhard Wilhelm.
Fast and Precise WCET Prediction by Seperate Cache and Path Analyses.
Real-Time Systems, 18(2/3), May 2000.
[[ .ps.gz file || BIBTEX entry || abstract || references ]]

[The00]

Henrik Theiling.
Extracting Safe and Precise Control Flow from Binaries.
In Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju-do, South Korea, December 2000.
[[ .ps.gz file || BIBTEX entry || abstract || references ]]

[The01]

Henrik Theiling.
Generating Decision Trees for Decoding Binaries.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, Snowbird, Utah, USA, June 2001.
[[ .ps.gz file || BIBTEX entry || abstract ]]

[The02]

Henrik Theiling.
ILP-based Interprocedural Path Analysis.
In Proceedings of the Workshop on Embedded Software, Grenoble, France, October 2002.
[[ .ps.gz file || BIBTEX entry || abstract ]]

[The02b]

Henrik Theiling.
Control Flow Graphs For Real-Time Systems Analysis. Doktorarbeit (~PhD thesis), Universität des Saarlandes, September 2002.
[[ .ps.gz file || BIBTEX entry || abstract || abstract [German] || extended abstract || extended abstract [German] ]]

Visited: