Albrecht Kadlec

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. 10 (3) (2011)
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
Code transformations to prevent timing anomalies. Comput. Syst. Sci. Eng. 26 (6) (2011)
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
Avoiding Timing Anomalies Using Code Transformations. ISORC (2010)
Raimund Kirner, Albrecht Kadlec, Peter P. Puschner
Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS (2009)
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
From Trusted Annotations to Verified Knowledge. WCET (2009)
Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec
-graphs. LCTES (2008)
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, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET (2008)
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
Towards a Common WCET Annotation Language: Essential Ingredients. WCET (2008)