WCET Analysis: The Annotation Language Challenge. - Raimund Kirner; Jens Knoop; Adrian Prantl; Markus Schordan; Ingomar Wenzel (WCET, 2007)

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)

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. - Adrian Prantl; Markus Schordan; Jens Knoop (WCET, 2008)

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

Constraint solving for high-level WCET analysis - Adrian Prantl; Jens Knoop; Markus Schordan; Markus Triska (CoRR, 2009)

Source-Level Support for Timing Analysis. - Gergö Barany; Adrian Prantl (ISoLA (2), 2010)

Transforming flow information during code optimization for timing analysis. - Raimund Kirner; Peter P. Puschner; Adrian Prantl (Real Time Syst., 2010)

Poster: connecting PGAS and traditional HPC languages. - Adrian Prantl; Thomas G. W. Epperly; Shams Imam (SC Companion, 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)

High-performance language interoperability for scientific computing through Babel. - Thomas G. W. Epperly; Gary Kumfert; Tamara Dahlgren; Dietmar Ebner; James Leek; Adrian Prantl; Scott R. Kohn (Int. J. High Perform. Comput. Appl., 2012)

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges. - Markus Schordan; Adrian Prantl (Int. J. Softw. Tools Technol. Transf., 2014)

Global transformations for legacy parallel applications via structural analysis and rewriting. - Daniel G. Chavarría-Miranda; Ajay Panyala; Wenjing Ma; Adrian Prantl; Sriram Krishnamoorthy (Parallel Comput., 2015)