Generalized instruction selection using SSA-graphs. - Dietmar Ebner; Florian Brandner; Bernhard Scholz; Andreas Krall; Peter Wiedermann; Albrecht Kadlec (LCTES, 2008)

WCET 2008 - Report from the Tool Challenge 2008 – 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. - Niklas Holsti; Jan Gustafsson; Guillem Bernat; Clément Ballabriga; Armelle Bonenfant; Roman Bourgade; Hugues Cassé; Daniel Cordes; Albrecht Kadlec; Raimund Kirner; Jens Knoop; Paul Lokuciejewski; et al. (WCET, 2008)

Towards a Common WCET Annotation Language: Essential Ingredients. - Raimund Kirner; Albrecht Kadlec; Adrian Prantl; Markus Schordan; Jens Knoop (WCET, 2008)

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. - Raimund Kirner; Albrecht Kadlec; Peter P. Puschner (ECRTS, 2009)

From Trusted Annotations to Verified Knowledge. - Adrian Prantl; Jens Knoop; Raimund Kirner; Albrecht Kadlec; Markus Schordan (WCET, 2009)

Avoiding Timing Anomalies Using Code Transformations. - Albrecht Kadlec; Raimund Kirner; Peter P. Puschner (ISORC, 2010)

Code transformations to prevent timing anomalies. - Albrecht Kadlec; Raimund Kirner; Peter P. Puschner (Comput. Syst. Sci. Eng., 2011)

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. - Raimund Kirner; Jens Knoop; Adrian Prantl; Markus Schordan; Albrecht Kadlec (Softw. Syst. Model., 2011)