Albrecht Kadlec Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner: Code transformations to prevent timing anomalies. Comput. Syst. Sci. Eng. 26(6) (2011)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec: Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Software and System Modeling 10(3): 411-437 (2011)
2010
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner: Avoiding Timing Anomalies Using Code Transformations. ISORC 2010: 123-132
2009
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raimund Kirner, Albrecht Kadlec, Peter P. Puschner: Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS 2009: 119-128
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan: From Trusted Annotations to Verified Knowledge. WCET 2009
2008
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec: Generalized instruction selection using SSA-graphs. LCTES 2008: 31-40
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop: Towards a Common WCET Annotation Language: Essential Ingredients. WCET 2008

Coauthor Index

1Clément Ballabriga
[c2]
2Guillem Bernat
[c2]
3Armelle Bonenfant
[c2]
4Roman Bourgade
[c2]
5Florian Brandner
[c3]
6Hugues Cassé
[c2]
7Daniel Cordes
[c2]
8Dietmar Ebner
[c3]
9Jan Gustafsson
[c2]
10Niklas Holsti
[c2]
11Raimund Kirner
[j2] [j1] [c6] [c5] [c4] [c2] [c1]
12Jens Knoop
[j1] [c4] [c2] [c1]
13Andreas Krall
[c3]
14Paul Lokuciejewski
[c2]
15Nicholas Merriam
[c2]
16Marianne De Michiel
[c2]
17Adrian Prantl
[j1] [c4] [c2] [c1]
18Peter P. Puschner
[j2] [c6] [c5]
19Bernhard Rieder
[c2]
20Christine Rochange
[c2]
21Pascal Sainrat
[c2]
22Bernhard Scholz
[c3]
23Markus Schordan
[j1] [c4] [c2] [c1]
24Peter Wiedermann
[c3]
Last update Mon May 20 11:22:04 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page