Albrecht Kadlec

According to our database, Albrecht Kadlec authored at least 8 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Code transformations to prevent timing anomalies.

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner

Comput. Syst. Sci. Eng., 2011

2010

Avoiding Timing Anomalies Using Code Transformations.

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009

From Trusted Annotations to Verified Knowledge.

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

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

Raimund Kirner, Albrecht Kadlec, Peter P. Puschner

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008

Towards a Common WCET Annotation Language: Essential Ingredients.

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

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, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Generalized instruction selection using <i>SSA</i>-graphs.

Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008