Raimund Kirner
Privatdoz. Dipl.-Ing. Dr.techn.
Research Areas
- Worst-Case Execution Time Analayis, Real-Time Systems, Testing of Embedded Systems, Automatic Test-Case Generation, Embedded Systems
Role
-
Affiliated
Cyber-Physical Systems, E191-01
Projects
-
Formales Zeitanalyseframework für Echtzeitsysteme
2007 – 2009 / Austrian Science Fund (FWF) -
Compiler-Support for Timing Analysis
2006 – 2009 / Austrian Science Fund (FWF)
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
2011
- Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation / M. Zolda, R. Kirner, S. Bünte / Poster: 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan; 2011-08-28 - 2011-08-31; in: "Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11)", (2011), ISBN: 978-1-4577-1118-3; 243 - 250
- Compiler Support for Measurement-based Timing Analysis / R. Kirner, M. Zolda / Talk: 11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal (invited); 2011-07-05; in: "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis", (2011), 62 - 71
- Let's Get Less Optimistic In Measurement-Based Timing Analysis / S. Bünte, M. Zolda, R. Kirner / Talk: 6th International Symposium on Industrial Embedded Systems (SIES'11), Västeras, Sweden; 2011-06-15 - 2011-06-17; in: "Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11)", (2011), ISBN: 978-1-61284-818-1; 204 - 212
- Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility / S. Bünte, M. Zolda, R. Kirner / in: "Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility", IGI Global, 2011, ISBN: 9781609600860, 110 - 129
2010
- Context-Sensitivity in IPET for Measurement-Based Timing Analysis / M. Zolda, S. Bünte, R. Kirner / Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 - 2010-10-20; in: "Context-Sensitivity in IPET for Measurement-Based Timing Analysis", Lecture Notes in Computer Science, 6416 (2010), 487 - 490
- Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / S. Kandl, R. Kirner / Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 2010-10-13 - 2010-10-15; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science, Volume 6399 (2010), 131 - 142
- Time-Predictable Computing / R. Kirner, P. Puschner / Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 2010-10-13 - 2010-10-15; in: "Time-Predictable Computing", (2010), 23 - 34
- Avoiding Timing Anomalies Using Code Transformations / A. Kadlec, R. Kirner, P. Puschner / Talk: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spein; 2010-05-05 - 2010-05-06; in: "Avoiding Timing Anomalies Using Code Transformations", IEEE, (2010), ISBN: 978-1-4244-7083-9; 123 - 132
- Transforming Flow Information during Code Optimization for Timing Analysis / R. Kirner, P. Puschner, A. Prantl / Real-Time Systems, 45 (2010), 1-2; 72 - 105
- Towards an Orchestrated Approach for Annotation Verification / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"", M. Hanus, F. Reck (ed.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, 71 - 85
- Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis / R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec / Journal of Software and Systems Modeling (online-edition), oB (2010)
2009
- A Single-Path Chip-Multiprocessor System / M. Schoeberl, P. Puschner, R. Kirner / Talk: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; 2009-11-16 - 2009-11-18; 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; 47 - 57
- Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis / M. Zolda, S. Bünte, R. Kirner / Talk: International Conference on Real-Time and Network Systems (RTNS), Paris, France; 2009-10-26 - 2009-10-27; in: "17th International Conference on Real-Time and Network Systems, Proceedings", (2009), 10 pages
- On Undecidability Results of Real Programming Languages / R. Kirner, W. Zimmermann, D. Richter / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 141 - 154
- Automatic Calculation of Coverage Profiles for Coverage-based Testing / R. Kirner, W. Haas / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 126 - 140
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 155 - 166
- Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies / R. Kirner, A. Kadlec, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Dublin, Ireland; 2009-07-01 - 2009-07-03; in: "Proceedings of The 21th Euromicro Conference on Real-Time Systems", IEEE computer society, CPS, (2009), ISBN: 978-0-7695-3724-5; 119 - 128
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec / Talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 2009-06-30; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)", N. Holsti (ed.); (2009), 35 - 45
- Model-Driven Design and Organic Computing -- Combinable Strategies? / P. Puschner, R. Kirner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 101
- Towards Composable Timing for Real-Time Software / P. Puschner, R. Kirner, R. Pettit / Talk: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 2009-03-17 - 2009-03-18; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; 1 - 5
- Towards Automatic Verification of Structural Code-Coverage Preservation / R. Kirner / Talk: Timing Analysis and Symbolic Computation, TASCo 2009, Wien; 2009-02-04 - 2009-02-05; in: "Timing Analysis and Symbolic Computation, TASCo 2009", (2009), 1 pages
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Oesterreichische Computer Gesellschaft / Austrian Computer Society; Verlag Oesterreichische Computer Gesellschaft, Wien, 2009, ISBN: 978-3-85403-252-6, 39 - 49
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: 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 ID 8, 11 pages
2008
- Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption / M. Zolda, R. Kirner / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 117 - 118
- The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems / S. Bünte, R. Kirner / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 115 - 116
- Measurement-Based Timing Analysis / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 - 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation", Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; 430 - 444
- WCET Tool Challenge 2008: Report / 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 / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 149 - 171
- Towards a Common WCET Annotation Languge: Essential Ingredients / R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 53 - 65
- Towards a Common WCET Annotation Language: Essential Ingredients / A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 pages
- WCET Annotation Languages Reconsidered: The Annotation Language Challenge / A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages
- Obstacles in Worst-Case Execution Time Analysis / R. Kirner, P. Puschner / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 333 - 339
- Toward Libraries for Real-time Java / T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 458 - 462
- A Modular Worst-case Execution Time Analysis Tool for Java Processors / T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad / Talk: 14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, Missouri, USA; 2008-04-22 - 2008-04-24; in: "14th IEEE Real-Time and Embedded Technology and Applications Symposium", IEEE Computer Society, (2008), ISBN: 978-0-7695-3146-5; Paper ID 47, 11 pages
- Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code / R. Kirner / VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 pages
- Junior Scientist Conference 2008, Proceedings / H. Kaiser, R. Kirner / TU Wien, 2008
- Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008) / R. Kirner / Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-237-3; 173 pages
- Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems / R. Kirner, S. Kandl / ERCIM NEWS, 75 (2008), 75; 40 - 41
- WCET Tool Challenge 2008: Report / 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 / 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 pages
2007
- WCET Analysis: The Annotation Language Challenge / R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa; 2007-12-14; in: "Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07)", (2007), 77 - 92
- On the Difficulty of Building a Precise Timing Model for Real-Time Programming / A. Kadlec, R. Kirner / Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; 2007-10-10 - 2007-10-12; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", (2007), 7 pages
- On the Halting Problem of Finite-State Programs / R. Kirner / Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; 2007-10-10 - 2007-10-12; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", (2007), 6 pages
- SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code / R. Kirner / Talk: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria; 2007-09-30 - 2007-10-05; in: "Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems", ACM, (2007), ISBN: 978-1-59593-826-8; 38 - 42
- WCET Analysis: The Annotation Language Challenge / R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa, Italy; 2007-07-03; in: "Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis", (2007), 83 - 99
- Modeling the function cache for worst-case execution time analysis / R. Kirner, M. Schoeberl / Talk: 44th Design Automation Conference (DAC'07), San Diego, California/USA; 2007-06-04 - 2007-06-08; in: "Proceedings of the 44th annual conference on Design automation", ACM, (2007), ISBN: 978-1-59593-627-1; 471 - 476
- Cross-Platform Verification Framework for Embedded Systems / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p2A-2, 12 pages
- Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache / R. Kirner, P. Puschner / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07)", IEEE, (2007), ISBN: 0-7695-2765-5; 87 - 92
- Automated Formal Verification and Testing of C Programs for Embedded Systems / S. Kandl, R. Kirner, P. Puschner / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)", IEEE, (2007), ISBN: 0-7695-2765-5; 373 - 381
- Cross-Platform Verification Framework for Embedded Systems / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Lecture Notes in Computer Science, 4761 (2007), 137 - 148
2006
- From Time-Triggered to Time-Deterministic Real-Time Systems / P. Puschner, R. Kirner / Talk: IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal (invited); 2006-10-11 - 2006-10-13; in: "5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings", Springer, (2006), ISBN: 0-387-39361-7; 115 - 124
- Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems / S. Kandl, R. Kirner, G. Fraser / Talk: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 2006-10-01; in: "3rd International Workshop on Dependable Embedded Systems, Proceedings", (2006), 17 - 21
- Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup / R. Kirner, M. Grössing, P. Puschner / Poster: Euromicro International Workshop on WCET Analysis, Dresden, Germany; 2006-07-04; in: "6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the", (2006), 11 - 16
- Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems / S. Kandl, R. Kirner, P. Puschner / Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 2006-06-30; in: "4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the", (2006)
- Portable Data Exchange for Remote-Testing Frameworks / R. Kirner, P. Puschner, I. Wenzel, B. Rieder / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-04-24 - 2006-04-26; in: "Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing", IEEE, (2006), ISBN: 0-7695-2561-x
- Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award) / S. Kandl, R. Kirner / Talk: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006)
2005
- Timing Analysis for Embedded Systems and Time-Predictable Computing / P. Puschner, R. Kirner / Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25
- Impact of Dependable Software Development / I. Wenzel, R. Kirner, M. Schlager, B. Rieder, B. Huber / Talk: VAST2000 Euroconference, Belgrad, Serbia and Montenegro; 2005-11-21 - 2005-11-24; in: "EUROCON 2005 - The International Conference on "Computer as a Tool"", IEEE, (2005), 575 - 578
- Principles of Timing Anomalies in Superscalar Processors / I. Wenzel, R. Kirner, P. Puschner, B. Rieder / Talk: International Conference on Quality Software (QSIC), Melbourne, Australia; 2005-09-19 - 2005-09-20; in: "Proceedings of the Fifth International Conference on Quality Software", PR2472 (2005), ISBN: 0-7695-2472-9; 295 - 303
- Classification of WCET Analysis Techniques / R. Kirner, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 2005-05-18 - 2005-05-20; 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; 190 - 199
- Measurement-Based Worst-Case Execution Time Analysis / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Seattle, Washington; 2005-05-16 - 2005-05-17; in: "Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)", IEEE, (2005), ISBN: 0-7695-2357-9; 7 - 10
- Automatic Timing Model Generation by CFG Partitioning and Model Checking / I. Wenzel, B. Rieder, R. Kirner, P. Puschner / Talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2005-03-07 - 2005-03-11; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; 606 - 611
2004
- Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation / R. Kirner, P. Puschner, I. Wenzel / Talk: Euromicro International Workshop on WCET Analysis, Catania, Italy; 2004-07-29; in: "Proceedings of the", (2004), ISSN: 1166-8687; 1 - 4
2003
- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs / J. Fauster, R. Kirner, P. Puschner / Talk: International Conference on Embedded Software, Philadelphia, PA, USA; 2003-10-13 - 2003-10-15; in: "Proceedings of the 3rd International Conference on Embedded Software (EMSOFT 2003)", (2003), 190 - 205
- Input-Dependency Analysis for Hard Real-Time Software / J. Gustafsson, B. Lisper, R. Kirner, P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; 2003-10-01 - 2003-10-03; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)", (2003), 1 - 8
- Transformation of Meta-Information by Abstract Co-Interpretation / R. Kirner, P. Puschner / Talk: 7th International Workshop, SCOPES, Vienna, Austria; 2003-09-24 - 2003-09-26; in: "Proceedings of the 7th International Workshop, SCOPES 2003", (2003), 298 - 312
- Discussion of Misconceptions about Worst-Case Execution-Time Analysis / R. Kirner, P. Puschner / Talk: 3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; 2003-07-01; in: "Proceedings of the 3rd Euromicro International Workshop on WCET Analysis", (2003), 61 - 64
- A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development / R. Kirner, P. Puschner / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 15 - 24
- Avoiding Timing Problems in Real-Time Software / P. Puschner, R. Kirner / Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; 2003-05-15 - 2003-05-16; in: "Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003", (2003), 75 - 78
- Timing Analysis of Optimised Code / R. Kirner, P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 100 - 105
- A Robust Certainty Grid Algorithm for Robotic Vision / W. Elmenreich, R. Kirner / in: "Intelligent Systems at the Service of Mankind", UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, 67 - 78
2002
- Enforcing Composability for Ubiquitious Computing Systems / R. Kirner / Talk: The Cabernet Radicals Workshop, Bertinoro, Italy; 2002-10-01; in: "Proceedings of the 7th Cabernet Radicals Workshop", (2002)
- Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / R. Kirner, R. Lang, G. Freiberger, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Vienna, Austria; 2002-06-01; in: "Proceedings of the 14th Euromicro International Conference on Real-Time Systems (ECRTS'02)", (2002), 31 - 40
- A Robust Certainty Grid Algorithm for Robotic Vision / W. Elmenreich, L. Schneider, R. Kirner / Talk: IEEE International Conference on Intelligent Engineering Systems, Opatija, Croatia; 2002-05-26 - 2002-05-28; in: "Proceedings of the 6th IEEE International Conference on Intelligent Engineering Systems (INES)", (2002)
- Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell / R. Kirner, C. Scheidler, G. Grünsteidl, U. Virnich, S. Boutin, J. Rennhack, R. Lang, M. Pisecky, Y. Papadopoulos / Talk: VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren, Mannheim, Deutschland; 2002-04-15 - 2002-04-16; in: "Tagungsband der VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg ", (2002), 662 - 676
- Enforcing Composability for Ubiquitious Computing Systems / R. Kirner / 2002
- TTP/A Smart Transducer Programming - A Beginner's Guide / W. Elmenreich, W. Haidinger, R. Kirner, T. Losert, R. Obermaisser, C. Trödhandl / 2002
- International Workshop on SCET Analysis - Summary / R. Kirner, P. Puschner / 2002
- Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / R. Kirner, R. Lang, G. Freiberger, P. Puschner / 2002
- Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell / C. Scheidler, U. Virnich, S. Boutin, J. Rennhack, G. Grünsteidl, M. Pisecky, R. Lang, R. Kirner, Y. Papadopoulos / 2002
- The Programming Language wcetC / R. Kirner / 2002
2001
- Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis / P. Atanassov, P. Puschner, R. Kirner / Talk: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 2001-12-03; in: "Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001)", (2001)
- WCET Analysis for Systems Modelled in Matlab/Simulink / R. Kirner, R. Lang, P. Puschner / Talk: IEEE Real-Time Systems Symposium, London, United Kingdom; 2001-12-01; in: "Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings", (2001), 33 - 36
- Transformation of Path Information for WCET Analysis during Compilation / R. Kirner, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 2001-06-01; in: "Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001)", (2001), 29 - 36
2000
- Integrating WCET Analysis into a Matlab/Simulink Simulation Model / R. Kirner, R. Lang, P. Puschner, C. Temple / Talk: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 2000-11-29 - 2000-12-01; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), 79 - 84
- Consideration of Optimizing Compilers in the Context of WCET Analysis / R. Kirner, P. Puschner / Talk: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 2000-10-27 - 2000-10-28; in: "Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V.", (2000), 123 - 126
- Supporting Control-Flow-Dependent Execution Times on WCET Calculation / R. Kirner, P. Puschner / Talk: Deutschsprachige WCET-Tagung, Paderborn, Germany; 2000-10-20; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), #
- Integration of Static Runtime Analysis and Program Compilation / Master Thesis by R. Kirner / Supervisor: P. Puschner; Institut für Technische Informatik, 2000
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
- A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems / Doctoral Thesis by S. Kandl / Supervisor, Reviewer: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17
- A unit-test platform for design tools for fault-tolerant real-time systems / Master Thesis by B. Krizan / Supervisor: P. Puschner, R. Kirner; E188-1, 2007
- Requirement Classification of Dependable Real-Time Systems / Master Thesis by J. Trojer / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007
- Automatic Loop Bound Analysis of Programs written in C / Master Thesis by M. Kirner / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; final examination: 2006
- Principles of Timing Anomalies in Superscalar Processors / Master Thesis by I. Wenzel / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2003
- Performance Demonstrator / Master Thesis by L Müller / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2002
Awards
-
Mobilitätsstipendium der Creditanstalt AG
(wird für aussergewöhnliche Dissertationen
an der Technischen Universität Wien verliehen)
2003 / Austria
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Raimund Kirner’s research profile in TISS .