Albrecht Kadlec - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Beyond loop bounds: comparing annotation languages for worst-case execution time analysisRaimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec. SoSyM, 10(3):411-437, 2011. [doi]

2010

Avoiding Timing Anomalies Using Code TransformationsAlbrecht Kadlec, Raimund Kirner, Peter P. Puschner. isorc 2010: 123-132 [doi]

2009

Precise Worst-Case Execution Time Analysis for Processors with Timing AnomaliesRaimund Kirner, Albrecht Kadlec, Peter P. Puschner. ecrts 2009: 119-128 [doi]

From Trusted Annotations to Verified KnowledgeAdrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan. wcet 2009: [doi]

2008