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.

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

Albrecht Kadlec, Raimund Kirner, Peter Puschner, 2011 .

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.

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

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

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

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

From Trusted Annotations to Verified Knowledge

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

WCET TOOL CHALLENGE 2008: REPORT

Guillem Bernat, Albrecht Kadlec, Jens Knoop, 2008 .