Raimund Kirner

	2009
36		Peter P. Puschner, Raimund Kirner: Model-Driven Design and Organic Computing -- Combinable Strategies?. ISORC 2009: 101
35		Martin Schoeberl, Peter P. Puschner, Raimund Kirner: A Single-Path Chip-Multiprocessor System. SEUS 2009: 47-57
34		Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan: From Trusted Annotations to Verified Knowledge. WCET 2009
	2008
33		Raimund Kirner: 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
32		Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad: A Modular Worst-case Execution Time Analysis Tool for Java Processors. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 47-57
31		Raimund Kirner, Peter P. Puschner: Obstacles in Worst-Case Execution Time Analysis. ISORC 2008: 333-339
30		Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad: Toward Libraries for Real-Time Java. ISORC 2008: 458-462
29		Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Measurement-Based Timing Analysis. ISoLA 2008: 430-444
28		Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop: Towards a Common WCET Annotation Language: Essential Ingredients. WCET 2008
27		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: WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 2008
26		Raimund Kirner: WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 2008
	2007
25		Raimund Kirner: SCCP/x: a compilation profile to support testing and verification of optimized code. CASES 2007: 38-42
24		Raimund Kirner, Martin Schoeberl: Modeling the Function Cache for Worst-Case Execution Time Analysis. DAC 2007: 471-476
23		Susanne Kandl, Raimund Kirner, Peter P. Puschner: Automated Formal Verification and Testing of C Programs for Embedded Systems. ISORC 2007: 373-381
22		Raimund Kirner, Peter P. Puschner: Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. ISORC 2007: 87-93
21		Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Cross-Platform Verification Framework for Embedded Systems. SEUS 2007: 137-148
20		Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel: WCET Analysis: The Annotation Language Challenge. WCET 2007
	2006
19		Peter P. Puschner, Raimund Kirner: From Time-Triggered to Time-Deterministic Real-Time Systems. DIPES 2006: 115-124
18		Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder: Portable Data Exchange for Remote-Testing Frameworks. ISORC 2006: 476-484
17		Raimund Kirner, Markus Grössing, Peter P. Puschner: Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. WCET 2006
16		Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Code Analysis for Temporal Predictability. Real-Time Systems 32(3): 253-277 (2006)
	2005
15		Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner: utomatic Timing Model Generation by CFG Partitioning and Model Checking. DATE 2005: 606-611
14		Raimund Kirner, Peter P. Puschner: Classification of WCET Analysis Techniques. ISORC 2005: 190-199
13		Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder: Principles of Timing Anomalies in Superscalar Processors. QSIC 2005: 295-306
12		Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Measurement-Based Worst-Case Execution Time Analysis. SEUS 2005: 7-10
11		Raimund Kirner, Peter P. Puschner: Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. WCET 2005
	2004
10		Kirsten Berkenkötter, Raimund Kirner: Real-Time and Hybrid Systems Testing. Model-Based Testing of Reactive Systems 2004: 355-387
	2003
9		Janosch Fauster, Raimund Kirner, Peter P. Puschner: Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. EMSOFT 2003: 190-205
8		Raimund Kirner, Peter P. Puschner: Transformation of Meta-Information by Abstract Co-interpretation. SCOPES 2003: 298-312
7		Raimund Kirner, Peter P. Puschner: Discussion of Misconceptions about WCET Analysis. WCET 2003: 61-64
6		Raimund Kirner, Peter P. Puschner: A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. WISES 2003: 15-24
5		Raimund Kirner, Peter P. Puschner: Timing Analysis of Optimised Code. WORDS 2003: 100-105
4		Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall 2003: 53-60
3		Peter P. Puschner, Raimund Kirner: Avoiding Timing Problems in Real-Time Software. WSTFEUS 2003: 75-78
	2002
2		Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner: Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. ECRTS 2002: 31-40
	2001
1		Raimund Kirner, Peter P. Puschner: Transformation of Path Information for WCET Analysis during Compilation. ECRTS 2001: 29-36

Coauthor Index

1	Clément Ballabriga	[27]
2	Kirsten Berkenkötter	[10]
3	Guillem Bernat	[27]
4	Armelle Bonenfant	[27]
5	Roman Bourgade	[27]
6	Hugues Cassé	[27]
7	Daniel Cordes	[27]
8	Janosch Fauster	[9]
9	Gerald Freiberger	[2]
10	Markus Grössing	[17]
11	Jan Gustafsson	[4] [16] [27]
12	Trevor Harmon	[30] [32]
13	Niklas Holsti	[27]
14	Albrecht Kadlec	[27] [28] [34]
15	Susanne Kandl	[23]
16	Raymond Klefstad	[30] [32]
17	Jens Knoop	[20] [27] [28] [34]
18	Roland Lang	[2]
19	Björn Lisper	[4] [16]
20	Paul Lokuciejewski	[27]
21	Nicholas Merriam	[27]
22	Marianne De Michiel	[27]
23	Adrian Prantl	[20] [27] [28] [34]
24	Peter P. Puschner	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [29] [31] [35] [36]
25	Bernhard Rieder	[12] [13] [15] [18] [21] [27] [29]
26	Christine Rochange	[27]
27	Pascal Sainrat	[27]
28	Martin Schoeberl	[24] [30] [32] [35]
29	Markus Schordan	[20] [27] [28] [34]
30	Ingomar Wenzel	[12] [13] [15] [18] [20] [21] [29]

Colors in the list of coauthors