TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der TU Wien erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für
Raimund Kirner
als Autorin / Autor bzw. wesentlich beteiligte Person

92 Datensätze (2000 - 2011)

Die Publikationen der TU Wien sind erst ab dem Jahr 2002 vollzählig in der Publikationsdatenbank enthalten. Publikationen aus den Jahren vor 2002 können, müssen aber nicht in der Datenbank vorhanden sein.


Bücher und Buch-Herausgaben


H. Kaiser, R. Kirner (Hrg.):
"Junior Scientist Conference 2008, Proceedings";
TU Wien, 2008.

R. Kirner:
"Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code";
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 S.

Zusätzliche Informationen

R. Kirner (Hrg.):
"Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008)";
Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-237-3; 173 S.

Zusätzliche Informationen


Zeitschriftenartikel


R. Kirner, S. Kandl:
"Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems";
ERCIM NEWS, 75 (2008), 75; S. 40 - 41.

Zusätzliche Informationen

R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis";
Journal of Software and Systems Modeling (online-edition), oB (2010).

Zusätzliche Informationen

R. Kirner, P. Puschner, A. Prantl:
"Transforming Flow Information during Code Optimization for Timing Analysis";
Real-Time Systems, 45 (2010), 1-2; S. 72 - 105.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Cross-Platform Verification Framework for Embedded Systems";
Lecture Notes in Computer Science, 4761 (2007), S. 137 - 148.

Zusätzliche Informationen


Buchbeiträge


S. Bünte, M. Zolda, R. Kirner:
"Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility";
in: "Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility", IGI Global, 2011, ISBN: 9781609600860, S. 110 - 129.

Zusätzliche Informationen

W. Elmenreich, R. Kirner:
"A Robust Certainty Grid Algorithm for Robotic Vision";
in: "Intelligent Systems at the Service of Mankind", UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, S. 67 - 78.

Zusätzliche Informationen


Beiträge in Tagungsbänden


N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, ISBN: 978-3-939897-10-1, 23 S.

Zusätzliche Informationen

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis", N. Holsti (Hrg.); herausgegeben von: Oesterreichische Computer Gesellschaft / Austrian Computer Society; Verlag Oesterreichische Computer Gesellschaft, Wien, 2009, ISBN: 978-3-85403-252-6, S. 39 - 49.

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis", N. Holsti (Hrg.); herausgegeben von: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Deutschland, 2009, ISBN: 978-3-939897-14-9, Paper-Nr. 8, 11 S.

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"Towards an Orchestrated Approach for Annotation Verification";
in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"", M. Hanus, F. Reck (Hrg.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, S. 71 - 85.


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


P. Atanassov, P. Puschner, R. Kirner:
"Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis";
Vortrag: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 03.12.2001; in: "Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001)", (2001).

Zusätzliche Informationen

S. Bünte, R. Kirner:
"The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems";
Poster: Junior Scientist Conference 2008, Wien; 16.11.2008 - 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; S. 115 - 116.

S. Bünte, M. Zolda, R. Kirner:
"Let's Get Less Optimistic In Measurement-Based Timing Analysis";
Vortrag: 6th International Symposium on Industrial Embedded Systems (SIES'11), Västeras, Sweden; 15.06.2011 - 17.06.2011; in: "Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11)", (2011), ISBN: 978-1-61284-818-1; S. 204 - 212.

Zusätzliche Informationen

W. Elmenreich, L. Schneider, R. Kirner:
"A Robust Certainty Grid Algorithm for Robotic Vision";
Vortrag: IEEE International Conference on Intelligent Engineering Systems, Opatija, Croatia; 26.05.2002 - 28.05.2002; in: "Proceedings of the 6th IEEE International Conference on Intelligent Engineering Systems (INES)", (2002).

Zusätzliche Informationen

J. Fauster, R. Kirner, P. Puschner:
"Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs";
Vortrag: International Conference on Embedded Software, Philadelphia, PA, USA; 13.10.2003 - 15.10.2003; in: "Proceedings of the 3rd International Conference on Embedded Software (EMSOFT 2003)", (2003), S. 190 - 205.

Zusätzliche Informationen

J. Gustafsson, B. Lisper, R. Kirner, P. Puschner:
"Input-Dependency Analysis for Hard Real-Time Software";
Vortrag: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; 01.10.2003 - 03.10.2003; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)", (2003), S. 1 - 8.

Zusätzliche Informationen

T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad:
"A Modular Worst-case Execution Time Analysis Tool for Java Processors";
Vortrag: 14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, Missouri, USA; 22.04.2008 - 24.04.2008; in: "14th IEEE Real-Time and Embedded Technology and Applications Symposium", IEEE Computer Society, (2008), ISBN: 978-0-7695-3146-5; Paper-Nr. 47, 11 S.

Zusätzliche Informationen

T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad:
"Toward Libraries for Real-time Java";
Vortrag: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 05.05.2008 - 07.05.2008; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; S. 458 - 462.

Zusätzliche Informationen

N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
Vortrag: WCET 2008, Prague, Czech Republic; 01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; S. 149 - 171.

Zusätzliche Informationen

A. Kadlec, R. Kirner:
"On the Difficulty of Building a Precise Timing Model for Real-Time Programming";
Vortrag: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; 10.10.2007 - 12.10.2007; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", (2007), 7 S.

Zusätzliche Informationen

A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Annotation Languages Reconsidered: The Annotation Language Challenge";
Vortrag: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 05.05.2008 - 07.05.2008; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 S.

Zusätzliche Informationen

A. Kadlec, R. Kirner, P. Puschner:
"Avoiding Timing Anomalies Using Code Transformations";
Vortrag: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spein; 05.05.2010 - 06.05.2010; in: "Avoiding Timing Anomalies Using Code Transformations", IEEE, (2010), ISBN: 978-1-4244-7083-9; S. 123 - 132.

Zusätzliche Informationen

A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Language: Essential Ingredients";
Vortrag: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 05.05.2008 - 07.05.2008; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 S.

Zusätzliche Informationen

S. Kandl, R. Kirner:
"Error Detection Rate of MC/DC for a Case Study from the Automotive Domain";
Vortrag: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 13.10.2010 - 15.10.2010; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science, Volume 6399 (2010), S. 131 - 142.

Zusätzliche Informationen

S. Kandl, R. Kirner:
"Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award)";
Vortrag: Junior Scientist Conference, Wien; 19.04.2006 - 21.04.2006; in: "Proceedings of the Junior Scientist Conference 2006", (2006).

Zusätzliche Informationen

S. Kandl, R. Kirner, G. Fraser:
"Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems";
Vortrag: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 01.10.2006; in: "3rd International Workshop on Dependable Embedded Systems, Proceedings", (2006), S. 17 - 21.

Zusätzliche Informationen

S. Kandl, R. Kirner, P. Puschner:
"Automated Formal Verification and Testing of C Programs for Embedded Systems";
Vortrag: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 07.05.2007 - 09.05.2007; in: "10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)", IEEE, (2007), ISBN: 0-7695-2765-5; S. 373 - 381.

Zusätzliche Informationen

S. Kandl, R. Kirner, P. Puschner:
"Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems";
Vortrag: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 30.06.2006; in: "4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the", (2006).

Zusätzliche Informationen

R. Kirner:
"Enforcing Composability for Ubiquitious Computing Systems";
Vortrag: The Cabernet Radicals Workshop, Bertinoro, Italy; 01.10.2002; in: "Proceedings of the 7th Cabernet Radicals Workshop", (2002).

Zusätzliche Informationen

R. Kirner:
"On the Halting Problem of Finite-State Programs";
Vortrag: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; 10.10.2007 - 12.10.2007; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", (2007), 6 S.

Zusätzliche Informationen

R. Kirner:
"SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code";
Vortrag: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria; 30.09.2007 - 05.10.2007; in: "Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems", ACM, (2007), ISBN: 978-1-59593-826-8; S. 38 - 42.

Zusätzliche Informationen

R. Kirner:
"Towards Automatic Verification of Structural Code-Coverage Preservation";
Vortrag: Timing Analysis and Symbolic Computation, TASCo 2009, Wien; 04.02.2009 - 05.02.2009; in: "Timing Analysis and Symbolic Computation, TASCo 2009", (2009), 1 S.

Zusätzliche Informationen

R. Kirner, M. Grössing, P. Puschner:
"Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup";
Poster: Euromicro International Workshop on WCET Analysis, Dresden, Germany; 04.07.2006; in: "6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the", (2006), S. 11 - 16.

Zusätzliche Informationen

R. Kirner, W. Haas:
"Automatic Calculation of Coverage Profiles for Coverage-based Testing";
Vortrag: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 12.10.2009 - 14.10.2009; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (Hrg.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), S. 126 - 140.

Zusätzliche Informationen

R. Kirner, A. Kadlec, P. Puschner:
"Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Dublin, Ireland; 01.07.2009 - 03.07.2009; in: "Proceedings of The 21th Euromicro Conference on Real-Time Systems", IEEE computer society, CPS, (2009), ISBN: 978-0-7695-3724-5; S. 119 - 128.

Zusätzliche Informationen

R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Languge: Essential Ingredients";
Vortrag: WCET 2008, Prague, Czech Republic; 01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; S. 53 - 65.

Zusätzliche Informationen

R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
Vortrag: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa, Italy; 03.07.2007; in: "Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis", (2007), S. 83 - 99.

Zusätzliche Informationen

R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
Vortrag: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa; 14.12.2007; in: "Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07)", (2007), S. 77 - 92.

R. Kirner, R. Lang, G. Freiberger, P. Puschner:
"Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Vienna, Austria; 01.06.2002; in: "Proceedings of the 14th Euromicro International Conference on Real-Time Systems (ECRTS'02)", (2002), S. 31 - 40.

Zusätzliche Informationen

R. Kirner, R. Lang, P. Puschner:
"WCET Analysis for Systems Modelled in Matlab/Simulink";
Vortrag: IEEE Real-Time Systems Symposium, London, United Kingdom; 01.12.2001; in: "Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings", (2001), S. 33 - 36.

Zusätzliche Informationen

R. Kirner, R. Lang, P. Puschner, C. Temple:
"Integrating WCET Analysis into a Matlab/Simulink Simulation Model";
Vortrag: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 29.11.2000 - 01.12.2000; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), S. 79 - 84.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development";
Vortrag: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 27.06.2003; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (Hrg.); (2003), S. 15 - 24.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Classification of WCET Analysis Techniques";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 18.05.2005 - 20.05.2005; in: "Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC'05)", IEEE Computer Society, (2005), ISBN: 0-7695-2356-0; S. 190 - 199.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Consideration of Optimizing Compilers in the Context of WCET Analysis";
Vortrag: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 27.10.2000 - 28.10.2000; in: "Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V.", (2000), S. 123 - 126.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Discussion of Misconceptions about Worst-Case Execution-Time Analysis";
Vortrag: 3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; 01.07.2003; in: "Proceedings of the 3rd Euromicro International Workshop on WCET Analysis", (2003), S. 61 - 64.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Obstacles in Worst-Case Execution Time Analysis";
Vortrag: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 05.05.2008 - 07.05.2008; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; S. 333 - 339.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Supporting Control-Flow-Dependent Execution Times on WCET Calculation";
Vortrag: Deutschsprachige WCET-Tagung, Paderborn, Germany; 20.10.2000; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), S. #.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Time-Predictable Computing";
Vortrag: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 13.10.2010 - 15.10.2010; in: "Time-Predictable Computing", (2010), S. 23 - 34.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache";
Vortrag: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 07.05.2007 - 09.05.2007; in: "10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07)", IEEE, (2007), ISBN: 0-7695-2765-5; S. 87 - 92.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Timing Analysis of Optimised Code";
Vortrag: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 15.01.2003 - 17.01.2003; in: "Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), S. 100 - 105.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Transformation of Meta-Information by Abstract Co-Interpretation";
Vortrag: 7th International Workshop, SCOPES, Vienna, Austria; 24.09.2003 - 26.09.2003; in: "Proceedings of the 7th International Workshop, SCOPES 2003", (2003), S. 298 - 312.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Transformation of Path Information for WCET Analysis during Compilation";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 01.06.2001; in: "Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001)", (2001), S. 29 - 36.

Zusätzliche Informationen

R. Kirner, P. Puschner, I. Wenzel:
"Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation";
Vortrag: Euromicro International Workshop on WCET Analysis, Catania, Italy; 29.07.2004; in: "Proceedings of the", (2004), ISSN: 1166-8687; S. 1 - 4.

Zusätzliche Informationen

R. Kirner, P. Puschner, I. Wenzel, B. Rieder:
"Portable Data Exchange for Remote-Testing Frameworks";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 24.04.2006 - 26.04.2006; in: "Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing", IEEE, (2006), ISBN: 0-7695-2561-x.

Zusätzliche Informationen

R. Kirner, C. Scheidler, G. Grünsteidl, U. Virnich, S. Boutin, J. Rennhack, R. Lang, M. Pisecky, Y. Papadopoulos:
"Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell";
Vortrag: VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren, Mannheim, Deutschland; 15.04.2002 - 16.04.2002; in: "Tagungsband der VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg ", (2002), S. 662 - 676.

Zusätzliche Informationen

R. Kirner, M. Schoeberl:
"Modeling the function cache for worst-case execution time analysis";
Vortrag: 44th Design Automation Conference (DAC'07), San Diego, California/USA; 04.06.2007 - 08.06.2007; in: "Proceedings of the 44th annual conference on Design automation", ACM, (2007), ISBN: 978-1-59593-627-1; S. 471 - 476.

Zusätzliche Informationen

R. Kirner, W. Zimmermann, D. Richter:
"On Undecidability Results of Real Programming Languages";
Vortrag: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 12.10.2009 - 14.10.2009; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (Hrg.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), S. 141 - 154.

Zusätzliche Informationen

R. Kirner, M. Zolda:
"Compiler Support for Measurement-based Timing Analysis";
Vortrag: 11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal (eingeladen); 05.07.2011; in: "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis", (2011), S. 62 - 71.

Zusätzliche Informationen

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
Vortrag: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 12.10.2009 - 14.10.2009; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (Hrg.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), S. 155 - 166.

Zusätzliche Informationen

A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec:
"From Trusted Annotations to Verified Knowledge";
Vortrag: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 30.06.2009; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)", N. Holsti (Hrg.); (2009), S. 35 - 45.

P. Puschner, R. Kirner:
"Avoiding Timing Problems in Real-Time Software";
Vortrag: IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; 15.05.2003 - 16.05.2003; in: "Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003", (2003), S. 75 - 78.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"From Time-Triggered to Time-Deterministic Real-Time Systems";
Vortrag: IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal (eingeladen); 11.10.2006 - 13.10.2006; in: "5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings", Springer, (2006), ISBN: 0-387-39361-7; S. 115 - 124.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"Model-Driven Design and Organic Computing -- Combinable Strategies?";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 17.03.2009 - 20.03.2009; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), S. 101.

P. Puschner, R. Kirner, R. Pettit:
"Towards Composable Timing for Real-Time Software";
Vortrag: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 17.03.2009 - 18.03.2009; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; S. 1 - 5.

Zusätzliche Informationen

M. Schoeberl, P. Puschner, R. Kirner:
"A Single-Path Chip-Multiprocessor System";
Vortrag: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; 16.11.2009 - 18.11.2009; in: "Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009", Lecture Notes in Computer Science / Springer Verlag, 5860 (2009), ISBN: 978-3-642-10264-6; S. 47 - 57.

Zusätzliche Informationen

I. Wenzel, R. Kirner, P. Puschner, B. Rieder:
"Principles of Timing Anomalies in Superscalar Processors";
Vortrag: International Conference on Quality Software (QSIC), Melbourne, Australia; 19.09.2005 - 20.09.2005; in: "Proceedings of the Fifth International Conference on Quality Software", PR2472 (2005), ISBN: 0-7695-2472-9; S. 295 - 303.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Cross-Platform Verification Framework for Embedded Systems";
Vortrag: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 07.05.2007 - 08.05.2007; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper-Nr. p2A-2, 12 S.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Measurement-Based Timing Analysis";
Vortrag: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 13.10.2008 - 15.10.2008; in: "Leveraging Applications of Formal Methods, Verification and Validation", Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; S. 430 - 444.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Measurement-Based Worst-Case Execution Time Analysis";
Vortrag: IEEE Workshop on Software Technologies for Future Embedded Systems, Seattle, Washington; 16.05.2005 - 17.05.2005; in: "Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)", IEEE, (2005), ISBN: 0-7695-2357-9; S. 7 - 10.

Zusätzliche Informationen

I. Wenzel, R. Kirner, M. Schlager, B. Rieder, B. Huber:
"Impact of Dependable Software Development";
Vortrag: VAST2000 Euroconference, Belgrad, Serbia and Montenegro; 21.11.2005 - 24.11.2005; in: "EUROCON 2005 - The International Conference on "Computer as a Tool"", IEEE, (2005), S. 575 - 578.

Zusätzliche Informationen

I. Wenzel, B. Rieder, R. Kirner, P. Puschner:
" Automatic Timing Model Generation by CFG Partitioning and Model Checking";
Vortrag: Conference on Design, Automation and Test in Europe, Munich, Germany; 07.03.2005 - 11.03.2005; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; S. 606 - 611.

Zusätzliche Informationen

M. Zolda, S. Bünte, R. Kirner:
"Context-Sensitivity in IPET for Measurement-Based Timing Analysis";
Vortrag: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 18.10.2010 - 20.10.2010; in: "Context-Sensitivity in IPET for Measurement-Based Timing Analysis", Lecture Notes in Computer Science, 6416 (2010), S. 487 - 490.

Zusätzliche Informationen

M. Zolda, S. Bünte, R. Kirner:
"Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis";
Vortrag: International Conference on Real-Time and Network Systems (RTNS), Paris, France; 26.10.2009 - 27.10.2009; in: "17th International Conference on Real-Time and Network Systems, Proceedings", (2009), 10 S.

Zusätzliche Informationen

M. Zolda, R. Kirner:
"Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption";
Poster: Junior Scientist Conference 2008, Wien; 16.11.2008 - 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; S. 117 - 118.

Zusätzliche Informationen

M. Zolda, R. Kirner, S. Bünte:
"Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation";
Poster: 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan; 28.08.2011 - 31.08.2011; in: "Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11)", (2011), ISBN: 978-1-4577-1118-3; S. 243 - 250.

Zusätzliche Informationen


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


P. Puschner, R. Kirner:
"Timing Analysis for Embedded Systems and Time-Predictable Computing";
Poster: Siemens PSE Technology Day, Vienna, Austria; 25.11.2005.

Zusätzliche Informationen


Dissertationen (eigene und begutachtete)


S. Kandl:
"A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, R. Kirner; 182, 2010; Rigorosum: 17.11.2010.

Zusätzliche Informationen


Diplom- und Master-Arbeiten (eigene und betreute)


M. Kirner:
"Automatic Loop Bound Analysis of Programs written in C";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; Abschlussprüfung: 2006.

Zusätzliche Informationen

R. Kirner:
"Integration of Static Runtime Analysis and Program Compilation";
Betreuer/in(nen): P. Puschner; Institut für Technische Informatik, 2000.

Zusätzliche Informationen

B. Krizan:
"A unit-test platform for design tools for fault-tolerant real-time systems";
Betreuer/in(nen): P. Puschner, R. Kirner; E188-1, 2007.

Zusätzliche Informationen

L Müller:
"Performance Demonstrator";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2002.

Zusätzliche Informationen

J. Trojer:
"Requirement Classification of Dependable Real-Time Systems";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2007.

Zusätzliche Informationen

I. Wenzel:
"Principles of Timing Anomalies in Superscalar Processors";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2003.

Zusätzliche Informationen


Wissenschaftliche Berichte


W. Elmenreich, W. Haidinger, R. Kirner, T. Losert, R. Obermaisser, C. Trödhandl:
"TTP/A Smart Transducer Programming - A Beginner's Guide";
2002.

Zusätzliche Informationen

R. Kirner:
"Enforcing Composability for Ubiquitious Computing Systems";
2002.

Zusätzliche Informationen

R. Kirner:
"The Programming Language wcetC";
2002.

Zusätzliche Informationen

R. Kirner, R. Lang, G. Freiberger, P. Puschner:
"Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models";
2002.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"International Workshop on SCET Analysis - Summary";
2002.

Zusätzliche Informationen

C. Scheidler, U. Virnich, S. Boutin, J. Rennhack, G. Grünsteidl, M. Pisecky, R. Lang, R. Kirner, Y. Papadopoulos:
"Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell";
2002.

Zusätzliche Informationen