Raimund Kirner

	2012
52		Raimund Kirner, Frank Penczek, Alexander V. Shafarenko: Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. DAMP 2012: 51-54
51		Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry: Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. IEEE Trans. Industrial Informatics 8(2): 366-377 (2012)
	2011
50		Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner: Improving the Confidence in Measurement-Based Timing Analysis. ISORC 2011: 144-151
49		Michael Zolda, Sven Bünte, Raimund Kirner: Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. RTCSA (1) 2011: 243-250
48		Sven Bünte, Michael Zolda, Raimund Kirner: Let's get less optimistic in measurement-based timing analysis. SIES 2011: 204-212
47		Alexander V. Shafarenko, Raimund Kirner: CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks CoRR abs/1101.3356: (2011)
46		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
45		Albrecht Kadlec, Raimund Kirner, Peter P. Puschner: Avoiding Timing Anomalies Using Code Transformations. ISORC 2010: 123-132
44		Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz: Compiler-Support for Robust Multi-core Computing. ISoLA (1) 2010: 47-57
43		Michael Zolda, Sven Bünte, Raimund Kirner: Context-Sensitivity in IPET for Measurement-Based Timing Analysis. ISoLA (2) 2010: 487-490
42		Susanne Kandl, Raimund Kirner: Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. SEUS 2010: 131-142
41		Raimund Kirner, Peter P. Puschner: Time-Predictable Computing. SEUS 2010: 23-34
40		Raimund Kirner, Peter P. Puschner, Adrian Prantl: Transforming flow information during code optimization for timing analysis. Real-Time Systems 45(1-2): 72-105 (2010)
	2009
39		Raimund Kirner, Albrecht Kadlec, Peter P. Puschner: Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS 2009: 119-128
38		Peter P. Puschner, Raimund Kirner: Model-Driven Design and Organic Computing -- Combinable Strategies?. ISORC 2009: 101
37		Martin Schoeberl, Peter P. Puschner, Raimund Kirner: A Single-Path Chip-Multiprocessor System. SEUS 2009: 47-57
36		Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan: From Trusted Annotations to Verified Knowledge. WCET 2009
35		Raimund Kirner: Towards Preserving Model Coverage and Structural Code Coverage. EURASIP J. Emb. Sys. 2009: (2009)
	2008
34		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
33		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
32		Raimund Kirner, Peter P. Puschner: Obstacles in Worst-Case Execution Time Analysis. ISORC 2008: 333-339
31		Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad: Toward Libraries for Real-Time Java. ISORC 2008: 458-462
30		Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Measurement-Based Timing Analysis. ISoLA 2008: 430-444
29		Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop: Towards a Common WCET Annotation Language: Essential Ingredients. WCET 2008
28		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
27		Raimund Kirner: WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 2008
26		Raimund Kirner, Susanne Kandl: Test Coverage Analysis and Preservation for Requirements-Based Testing. ERCIM News 2008(75): (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	[28]
2	Kirsten Berkenkötter	[10]
3	Guillem Bernat	[28]
4	Armelle Bonenfant	[28]
5	Roman Bourgade	[28]
6	Sven Bünte	[43] [48] [49] [50]
7	Hugues Cassé	[28]
8	Daniel Cordes	[28]
9	Janosch Fauster	[9]
10	Gerald Freiberger	[2]
11	Markus Grössing	[17]
12	Jan Gustafsson	[4] [16] [28]
13	Trevor Harmon	[31] [33] [51]
14	Stephan Herhut	[44]
15	Niklas Holsti	[28]
16	Albrecht Kadlec	[28] [29] [36] [39] [45] [46]
17	Susanne Kandl	[23] [26] [42]
18	K. H. (Kane) Kim (K. H. Kim, Kane Kim, Kwang-Hae (Kane) Kim)	[51]
19	Raymond Klefstad	[31] [33] [51]
20	Jens Knoop	[20] [28] [29] [36] [46]
21	Roland Lang	[2]
22	Björn Lisper	[4] [16]
23	Paul Lokuciejewski	[28]
24	Michael R. Lowry	[51]
25	Nicholas Merriam	[28]
26	Marianne De Michiel	[28]
27	Frank Penczek	[52]
28	Adrian Prantl	[20] [28] [29] [36] [40] [46]
29	Peter P. Puschner	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [30] [32] [37] [38] [39] [40] [41] [45]
30	Bernhard Rieder	[12] [13] [15] [18] [21] [28] [30]
31	Christine Rochange	[28]
32	Pascal Sainrat	[28]
33	Martin Schoeberl	[24] [31] [33] [37] [51]
34	Sven-Bodo Scholz	[44]
35	Markus Schordan	[20] [28] [29] [36] [46]
36	Alexander V. Shafarenko	[47] [52]
37	Michael Tautschnig	[50]
38	Ingomar Wenzel	[12] [13] [15] [18] [20] [21] [30]
39	Michael Zolda	[43] [48] [49] [50]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page