Albrecht Kadlec

发表

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Jan Gustafsson, Pascal Sainrat, Guillem Bernat, 2008, WCET.

Generalized instruction selection using SSA-graphs

Albrecht Kadlec, Bernhard Scholz, Andreas Krall, 2008, LCTES '08.

Avoiding Timing Anomalies Using Code Transformations

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

WCET TOOL CHALLENGE 2008: REPORT

Guillem Bernat, Albrecht Kadlec, Jens Knoop, 2008 .

Code transformations to prevent timing anomalies

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner, 2011, Comput. Syst. Sci. Eng..

Towards a Common WCET Annotation Language: Essential Ingredients

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2008, WCET.

From Trusted Annotations to Verified Knowledge

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2009, WCET.

Worst-Case Execution Time Analysis for Processors showing Timing Anomalies ⁄

Albrecht Kadlec, Raimund Kirner, Peter Puschner, 2011 .

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2011, Software & Systems Modeling.

FROM TRUSTED ANNOTA TIONS TO VERIFIED KNOWLEDGE 1

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2009 .

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner, 2009, 2009 21st Euromicro Conference on Real-Time Systems.

Essential Ingredients for a WCET Annotation Language

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2008 .

On the Difficulty of Building a Precise Timing Model for Real-Time Programming ?

Albrecht Kadlec, Raimund Kirner, R. Kirner, 2007 .