Albrecht Kadlec

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
Software and Systems Modeling, 2011

Code transformations to prevent timing anomalies.
Comput. Syst. Sci. Eng., 2011

2010
Avoiding Timing Anomalies Using Code Transformations.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009
From Trusted Annotations to Verified Knowledge.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008
Towards a Common WCET Annotation Language: Essential Ingredients.
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.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Generalized instruction selection using SSA-graphs.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008


  Loading...