• Formales Zeitanalyseframework für Echtzeitsysteme
  2007 – 2009 / Austrian Science Fund (FWF)
• Compiler-Support for Timing Analysis
  2006 – 2009 / Austrian Science Fund (FWF)
  Publications: 163221 / 166852 / 52407 / 52781 / 53307 / 84981

2023

• A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems / Kirner, R., & Puschner, P. (2023). A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. Journal of Systems Architecture, 136, Article 102835. https://doi.org/10.1016/j.sysarc.2023.102835

2022

• Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten / Kirner, R., & Puschner, P. (2022). Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. In H. Unger & Schaible Marcel (Eds.), Echtzeit 2021 (pp. 93–102). Springer Fachmedien Wiesbaden. https://doi.org/10.1007/978-3-658-37751-9_11

2021

• A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses / Kirner, R., & Puschner, P. (2021). A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. IEEE/ACM Transactions on Networking, 29(4), 1786–1797. https://doi.org/10.1109/tnet.2021.3073460

2020

• Asynchronous vs. synchronous interfacing to time-triggered communication systems / Puschner, P., & Kirner, R. (2020). Asynchronous vs. synchronous interfacing to time-triggered communication systems. The Journal of Systems Architecture: Embedded Software Design, 103(101690), 101690. https://doi.org/10.1016/j.sysarc.2019.101690

2019

• Interfacing to Time-Triggered Communication Systems / Puschner, P., & Kirner, R. (2019). Interfacing to Time-Triggered Communication Systems. In 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain. IEEE. https://doi.org/10.1109/isorc.2019.00044

2012

• Compiling for Time Predictability / Puschner, P., Kirner, R., Prokesch, D., & Huber, B. (2012). Compiling for Time Predictability. In Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings. ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany, EU. Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-642-33675-1_35

2011

• Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Kadlec, A. (2011). Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis. Software and Systems Modeling, 10(3), 411–437. https://doi.org/10.1007/s10270-010-0161-0
  Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
• Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility / Bünte, S., Zolda, M., & Kirner, R. (2011). Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility. In Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility (pp. 110–129). IGI Global. https://doi.org/10.4018/978-1-60960-086-0
• Improving the Confidence in Measurement-Based Timing Analysis / Bünte, S., Zolda, M., Tautschnig, M., & Kirner, R. (2011). Improving the Confidence in Measurement-Based Timing Analysis. In 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011) (pp. 144–151). IEEE. http://hdl.handle.net/20.500.12708/53907
• Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation / Zolda, M., Kirner, R., & Bünte, S. (2011). Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. In Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’11) (pp. 243–250). http://hdl.handle.net/20.500.12708/53917
• Let's Get Less Optimistic In Measurement-Based Timing Analysis / Bünte, S., Zolda, M., & Kirner, R. (2011). Let’s Get Less Optimistic In Measurement-Based Timing Analysis. In Proc. 6th International Symposium on Industrial Embedded Systems (SIES’11) (pp. 204–212). http://hdl.handle.net/20.500.12708/53916
• Compiler Support for Measurement-based Timing Analysis / Kirner, R., & Zolda, M. (2011). Compiler Support for Measurement-based Timing Analysis. In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (pp. 62–71). http://hdl.handle.net/20.500.12708/53914

2010

• Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Kadlec, A. (2010). Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis. Software and Systems Modeling, 10(3), 411–437. https://doi.org/10.1007/s10270-010-0161-0
  Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
• Transforming Flow Information during Code Optimization for Timing Analysis / Kirner, R., Puschner, P., & Prantl, A. (2010). Transforming Flow Information during Code Optimization for Timing Analysis. Real-Time Systems, 45(1–2), 72–105. https://doi.org/10.1007/s11241-010-9091-8
• Towards an Orchestrated Approach for Annotation Verification / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2010). Towards an Orchestrated Approach for Annotation Verification. In M. Hanus & F. Reck (Eds.), 27. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte” (pp. 71–85). Christian-Albrechts-Universität Kiel, Deutschland. http://hdl.handle.net/20.500.12708/53587
• Context-Sensitivity in IPET for Measurement-Based Timing Analysis / Zolda, M., Bünte, S., & Kirner, R. (2010). Context-Sensitivity in IPET for Measurement-Based Timing Analysis. In Leveraging Applications of Formal Methods, Verification, and Validation (pp. 487–490). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16561-0_45
• Sustainable and energy-efficient logistics through the conceptual design and evaluation of cross-company logistics models / Meizer, F., Prochazka, M., & Sihn, W. (2010). Sustainable and energy-efficient logistics through the conceptual design and evaluation of cross-company logistics models. In H. Kaiser & R. Kirner (Eds.), Junior Scientist Conference 2010 (pp. 429–430). http://hdl.handle.net/20.500.12708/66064
• Transverse-Isotropic Properties of a Model Mineralized Tissue: Dependence on Nanoindentation Depth and Hydration State / Cichy, E., Schneider, M., & Zysset, P. K. (2010). Transverse-Isotropic Properties of a Model Mineralized Tissue: Dependence on Nanoindentation Depth and Hydration State. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 269–270). http://hdl.handle.net/20.500.12708/66071
• Anisotropy of Bone Lamellae / Reisinger, A. G., Pahr, D. H., & Zysset, P. K. (2010). Anisotropy of Bone Lamellae. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 155–156). http://hdl.handle.net/20.500.12708/66068
• The Evolution of Aspects and Tendencies in Sustainable Development in European Planning and Urbansim / Lechner, B., Majcher, O., Ostad Ahmad Ghorabi, H., & Collado-Ruiz, D. (2010). The Evolution of Aspects and Tendencies in Sustainable Development in European Planning and Urbansim. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 435–436). http://hdl.handle.net/20.500.12708/66072
• Investigation of the Stability and Dynamic Behaviour of Plates Subjected to Laser Treatment / Bilik, C., Rammerstorfer, F. G., Figala, G., & Buchmayr, B. (2010). Investigation of the Stability and Dynamic Behaviour of Plates Subjected to Laser Treatment. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 71–72). http://hdl.handle.net/20.500.12708/66066
• The Effect of Material Behavior and Placement of Bone Cement on the Mechanical Behavior and Load Transfer of Augmented Vertebral Bodies / Kinzl, M., Benneker, L., & Pahr, D. H. (2010). The Effect of Material Behavior and Placement of Bone Cement on the Mechanical Behavior and Load Transfer of Augmented Vertebral Bodies. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 263–264). http://hdl.handle.net/20.500.12708/66070
• On the van der Waals Interactions Between Carbon Onion Layers / Todt, M., & Rammerstorfer, F. G. (2010). On the van der Waals Interactions Between Carbon Onion Layers. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 215–216). http://hdl.handle.net/20.500.12708/66069
• A Study of Thermo-Mechanical Properties of Composite Materials Reinforced with Polyhedral Shaped Particles / Rasool, A., & Böhm, H. J. (2010). A Study of Thermo-Mechanical Properties of Composite Materials Reinforced with Polyhedral Shaped Particles. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 147–148). http://hdl.handle.net/20.500.12708/66067
• Extensions for Interaction Nets / Jiresch, E., & Gramlich, B. (2010). Extensions for Interaction Nets. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 295–296). http://hdl.handle.net/20.500.12708/53583
• Transformations of Conditional Term Rewrite Systems / Gmeiner, K., & Gramlich, B. (2010). Transformations of Conditional Term Rewrite Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 155–156). http://hdl.handle.net/20.500.12708/53582
• Schema Mapping Optimization in the Presence of Target Constraints / Sallinger, E., Pichler, R., & Savenkov, V. (2010). Schema Mapping Optimization in the Presence of Target Constraints. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 309–310). http://hdl.handle.net/20.500.12708/53423
  Project: HINT (2012–2017)
• Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / Pfandler, A., Pichler, R., & Woltran, S. (2010). Decentralized Diagnosis: Complexity Analysis and Datalog Encodings. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 291–292). http://hdl.handle.net/20.500.12708/53424
• Implementing a Peer Database Management System / Skritek, S., & Pichler, R. (2010). Implementing a Peer Database Management System. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 299–300). http://hdl.handle.net/20.500.12708/53422
• Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Kandl, S., & Kirner, R. (2010). Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. In Software Technologies for Embedded and Ubiquitous Systems (pp. 131–142). Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/53412
• Time-Predictable Computing / Kirner, R., & Puschner, P. (2010). Time-Predictable Computing. In Time-Predictable Computing (pp. 23–34). http://hdl.handle.net/20.500.12708/53410
• Avoiding Timing Anomalies Using Code Transformations / Kadlec, A., Kirner, R., & Puschner, P. (2010). Avoiding Timing Anomalies Using Code Transformations. In Avoiding Timing Anomalies Using Code Transformations (pp. 123–132). IEEE. http://hdl.handle.net/20.500.12708/53409
• Meta-Reasoning in Multi-Context Systems / Weinzierl, A., Fink, M., & Eiter, T. (2010). Meta-Reasoning in Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 303–304). http://hdl.handle.net/20.500.12708/53394
  Projects: HEX-Programme (2008–2012) / IncMan (2009–2012)
• Information Requisition for Computer-Supported Medical Care / Gschwandtner, T., Kaiser, K., & Miksch, S. (2010). Information Requisition for Computer-Supported Medical Care. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 65–66). http://hdl.handle.net/20.500.12708/53135
• Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems / Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 315–316). http://hdl.handle.net/20.500.12708/53119
  Project: IncMan (2009–2012)
• Bridging Semantic Heterogeneities in Open Source Software Development Projects with Semantic Web Technologies / Sunindyo, W. D., & Biffl, S. (2010). Bridging Semantic Heterogeneities in Open Source Software Development Projects with Semantic Web Technologies. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 285–286). Vienna University of Technology. http://hdl.handle.net/20.500.12708/53118
• Flexible Engineering Environment Integration for (Software+) Engineering Teams / Pieber, A., & Biffl, S. (2010). Flexible Engineering Environment Integration for (Software+) Engineering Teams. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 49–50). Vienna University of Technology. http://hdl.handle.net/20.500.12708/53117
• Parameter Optimisation for the Determination of Total Petroleum Hydrocarbons (Hydrocarbon Index) by Gas Chromatography Using the Large Volume Injection Technique / Drozdova, S., & Rosenberg, E.-E. (2010). Parameter Optimisation for the Determination of Total Petroleum Hydrocarbons (Hydrocarbon Index) by Gas Chromatography Using the Large Volume Injection Technique. In H. Kaiser & R. Kirner (Eds.), Proceedings (pp. 401–402). http://hdl.handle.net/20.500.12708/47154
• Functionally graded W/Cu interlayers for actively cooled "flat-tile" divertor mock-ups / Huber, S., & Edtmaier, C. (2010). Functionally graded W/Cu interlayers for actively cooled “flat-tile” divertor mock-ups. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 181–182). http://hdl.handle.net/20.500.12708/46775
• Report on Reductions of Traffic Emissions over the last three Decades on a Transit Route in Austria - Results of the Tauerntunnel Experiment 2007 / Jankowski, N., Bauer, H., & Puxbaum, H. (2010). Report on Reductions of Traffic Emissions over the last three Decades on a Transit Route in Austria - Results of the Tauerntunnel Experiment 2007. In H. Kaiser & R. Kirner (Eds.), Report on Reductions of Traffic Emissions over the last three Decades on a Transit Route in Austria - Results of the Tauerntunnel Experiment 2007 (pp. 417–418). http://hdl.handle.net/20.500.12708/47320
• Evaluation of an Image-Assisted Deformation Monitoring System / Knötzl, C., & Reiterer, A. (2010). Evaluation of an Image-Assisted Deformation Monitoring System. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 43–44). http://hdl.handle.net/20.500.12708/42557
• Decision Support Tool for Web-Based Thematic Mapping / Schmidt, M., & Gartner, G. (2010). Decision Support Tool for Web-Based Thematic Mapping. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 295–296). TU Wien. http://hdl.handle.net/20.500.12708/42507

2009

• Automatic Calculation of Coverage Profiles for Coverage-based Testing / Kirner, R., & Haas, W. (2009). Automatic Calculation of Coverage Profiles for Coverage-based Testing. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 126–140). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52914
• From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Schordan, M., & Kadlec, A. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009) (pp. 35–45). http://hdl.handle.net/20.500.12708/52710
• From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (p. 11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52856
• From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (pp. 39–49). Verlag Oesterreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52855
• From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 155–166). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52781
  Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
• Towards Automatic Verification of Structural Code-Coverage Preservation / Kirner, R. (2009). Towards Automatic Verification of Structural Code-Coverage Preservation. In Timing Analysis and Symbolic Computation, TASCo 2009 (p. 1). http://hdl.handle.net/20.500.12708/52927
• On Undecidability Results of Real Programming Languages / Kirner, R., Zimmermann, W., & Richter, D. (2009). On Undecidability Results of Real Programming Languages. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 141–154). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52915
• A Single-Path Chip-Multiprocessor System / Schoeberl, M., Puschner, P., & Kirner, R. (2009). A Single-Path Chip-Multiprocessor System. In Software Technologies for Embedded and Ubiquitous Systems (pp. 47–57). Lecture Notes in Computer Science / Springer Verlag. https://doi.org/10.1007/978-3-642-10265-3_5
• Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis / Zolda, M., Bünte, S., & Kirner, R. (2009). Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis. In 17th International Conference on Real-Time and Network Systems, Proceedings (p. 10). http://hdl.handle.net/20.500.12708/52928
• Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies / Kirner, R., Kadlec, A., & Puschner, P. (2009). Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. In 2009 21st Euromicro Conference on Real-Time Systems. Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands, Austria. IEEE computer society, CPS. https://doi.org/10.1109/ecrts.2009.8
• Model-Driven Design and Organic Computing -- Combinable Strategies? / Puschner, P., & Kirner, R. (2009). Model-Driven Design and Organic Computing -- Combinable Strategies? In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. https://doi.org/10.1109/isorc.2009.22
• Towards Composable Timing for Real-Time Software / Puschner, P., Kirner, R., & Pettit, R. G. (2009). Towards Composable Timing for Real-Time Software. In 2009 Software Technologies for Future Dependable Distributed Systems (pp. 1–5). IEEE. http://hdl.handle.net/20.500.12708/52849

2008

• Measurement-Based Timing Analysis / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2008). Measurement-Based Timing Analysis. In Leveraging Applications of Formal Methods, Verification and Validation (pp. 430–444). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_30
• Supersensitive tin oxide nanosensors for gas detection / Tischner, A., Köck, A., Maier, T., Edtmaier, C., Gspan, C., & Kothleitner, G. (2008). Supersensitive tin oxide nanosensors for gas detection. In H. Kaiser & R. Kirner (Eds.), Junior Scientists Conference 2008 Proceedings (pp. 145–146). http://hdl.handle.net/20.500.12708/46228
• Technical criteria for the comparison of modern ERP system for the usage in orchestra companies at the case study of Dynamics AX 2009 / Gall, M., & Sterba, C. (2008). Technical criteria for the comparison of modern ERP system for the usage in orchestra companies at the case study of Dynamics AX 2009. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 37–38). http://hdl.handle.net/20.500.12708/52258
• Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems / Kirner, R., & Kandl, S. (2008). Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems. ERCIM NEWS, 75(75), 40–41. http://hdl.handle.net/20.500.12708/171017
• WCET Tool Challenge 2008: Report / Holsti, N., Gustafsson, J., Bernat, G., Ballabriga, C., Bonenfant, A., Bourgade, R., Cassé, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokuciejewski, P., Merriam, N., de Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., & Schordan, M. (2008). WCET Tool Challenge 2008: Report. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 149–171). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52407
  Project: COSTA (2006–2009)
• Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption / Zolda, M., & Kirner, R. (2008). Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption. In Proceedings of the Junior Scientist Conference 2008 (pp. 117–118). http://hdl.handle.net/20.500.12708/52644
• Towards a Common WCET Annotation Language: Essential Ingredients / Kadlec, A., Kirner, R., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Language: Essential Ingredients. In Programmiersprachen und Rechenkonzepte (p. 12). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52531
• WCET Annotation Languages Reconsidered: The Annotation Language Challenge / Kadlec, A., Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2008). WCET Annotation Languages Reconsidered: The Annotation Language Challenge. In Programmiersprachen und Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52530
• The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems / Bünte, S., & Kirner, R. (2008). The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems. In Proceedings of the Junior Scientist Conference 2008 (pp. 115–116). http://hdl.handle.net/20.500.12708/52464
• Obstacles in Worst-Case Execution Time Analysis / Kirner, R., & Puschner, P. (2008). Obstacles in Worst-Case Execution Time Analysis. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.65
• Toward Libraries for Real-Time Java / Harmon, T., Schoeberl, M., Kirner, R., & Klefstad, R. (2008). Toward Libraries for Real-Time Java. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.73
• A Modular Worst-case Execution Time Analysis Tool for Java Processors / Harmon, T., Schoeberl, M., Kirner, R., & Klefstad, R. (2008). A Modular Worst-case Execution Time Analysis Tool for Java Processors. In 2008 IEEE Real-Time and Embedded Technology and Applications Symposium. 14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, Missouri, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/rtas.2008.34
• Towards a Common WCET Annotation Languge: Essential Ingredients / Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Languge: Essential Ingredients. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 53–65). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52349
• Optimization of communication by analyzing the interlocutor's wording / Kellner, G. (2008). Optimization of communication by analyzing the interlocutor’s wording. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 93–94). http://hdl.handle.net/20.500.12708/52314
• MapFace - A Graphical Editor to Support the Semantic Annotation of Medical Text / Gschwandtner, T., Kaiser, K., & Miksch, S. (2008). MapFace - A Graphical Editor to Support the Semantic Annotation of Medical Text. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 91–92). http://hdl.handle.net/20.500.12708/52313
• Decomposing HEX-Programs: Preliminary Results / Eiter, T., Fink, M., & Krennwallner, T. (2008). Decomposing HEX-Programs: Preliminary Results. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 29–30). http://hdl.handle.net/20.500.12708/52311
  Project: HEX-Programme (2008–2012)
• Silver plated tungsten carbide powders for electrical contact materials with improved homogeneity / Hula, R. C., & Edtmaier, C. (2008). Silver plated tungsten carbide powders for electrical contact materials with improved homogeneity. In H. Kaiser & R. Kirner (Eds.), Junior Scientists Conference 2008 Proceedings (pp. 153–154). http://hdl.handle.net/20.500.12708/46227
• Graphics Versus Spoken Language in Pedestrian Navigation / Ortag, F., & Gartner, G. (2008). Graphics Versus Spoken Language in Pedestrian Navigation. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 107–108). http://hdl.handle.net/20.500.12708/42288
• Random bipartite graphs and their application to cuchoo hashing / Kutzelnigg, R., & Drmota, M. (2008). Random bipartite graphs and their application to cuchoo hashing. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 281–282). Technische Universität Wien. http://hdl.handle.net/20.500.12708/40804
• Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008) / Kirner, R. (Ed.). (2008). Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/22792
• Junior Scientist Conference 2008, Proceedings / Kaiser, H., & Kirner, R. (Eds.). (2008). Junior Scientist Conference 2008, Proceedings. TU Wien. http://hdl.handle.net/20.500.12708/22862

2007

• Cross-Platform Verification Framework for Embedded Systems / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2007). Cross-Platform Verification Framework for Embedded Systems. Lecture Notes in Computer Science, 4761, 137–148. http://hdl.handle.net/20.500.12708/169639
• On the Difficulty of Building a Precise Timing Model for Real-Time Programming / Kadlec, A., & Kirner, R. (2007). On the Difficulty of Building a Precise Timing Model for Real-Time Programming. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (p. 7). http://hdl.handle.net/20.500.12708/52113
• On the Halting Problem of Finite-State Programs / Kirner, R. (2007). On the Halting Problem of Finite-State Programs. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (p. 6). http://hdl.handle.net/20.500.12708/52078
• SCCP/x / Kirner, R. (2007). SCCP/x. In Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems  - CASES ’07. International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria, Austria. ACM. https://doi.org/10.1145/1289881.1289890
• Modeling the function cache for worst-case execution time analysis / Kirner, R., & Schoeberl, M. (2007). Modeling the function cache for worst-case execution time analysis. In Proceedings of the 44th annual conference on Design automation - DAC ’07. 44th Design Automation Conference (DAC’07), San Diego, California/USA, Non-EU. ACM. https://doi.org/10.1145/1278480.1278603
• WCET Analysis: The Annotation Language Challenge / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07) (pp. 77–92). http://hdl.handle.net/20.500.12708/52007
• WCET Analysis: The Annotation Language Challenge / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (pp. 83–99). http://hdl.handle.net/20.500.12708/51989
• Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache / Kirner, R., & Puschner, P. (2007). Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. In 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’07) (pp. 87–92). IEEE. http://hdl.handle.net/20.500.12708/51885
• Automated Formal Verification and Testing of C Programs for Embedded Systems / Kandl, S., Kirner, R., & Puschner, P. (2007). Automated Formal Verification and Testing of C Programs for Embedded Systems. In 10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007) (pp. 373–381). IEEE. http://hdl.handle.net/20.500.12708/51884
• Cross-Platform Verification Framework for Embedded Systems / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2007). Cross-Platform Verification Framework for Embedded Systems. In The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (p. 12). http://hdl.handle.net/20.500.12708/51860

2006

• Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup / Kirner, R., Grössing, M., & Puschner, P. (2006). Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. In 6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the (pp. 11–16). http://hdl.handle.net/20.500.12708/51437
• Portable Data Exchange for Remote-Testing Frameworks / Kirner, R., Puschner, P., Wenzel, I., & Rieder, B. (2006). Portable Data Exchange for Remote-Testing Frameworks. In Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. http://hdl.handle.net/20.500.12708/51434
• Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award) / Kandl, S., & Kirner, R. (2006). Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award). In Proceedings of the Junior Scientist Conference 2006. Junior Scientist Conference, Wien, Austria. http://hdl.handle.net/20.500.12708/51483
• Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems / Kandl, S., Kirner, R., & Fraser, G. (2006). Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems. In 3rd International Workshop on Dependable Embedded Systems, Proceedings (pp. 17–21). http://hdl.handle.net/20.500.12708/51438
• From Time-Triggered to Time-Deterministic Real-Time Systems / Puschner, P., & Kirner, R. (2006). From Time-Triggered to Time-Deterministic Real-Time Systems. In 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings (pp. 115–124). Springer. http://hdl.handle.net/20.500.12708/51435
• Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems / Kandl, S., Kirner, R., & Puschner, P. (2006). Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. In 4th Workshop on Intelligent Solutions in Embedded Systems (WISES’06), Proceedings of the. 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/51433

2005

• Impact of Dependable Software Development / Wenzel, I., Kirner, R., Schlager, M., Rieder, B., & Huber, B. (2005). Impact of Dependable Software Development. In EUROCON 2005 - The International Conference on “Computer as a Tool” (pp. 575–578). IEEE. http://hdl.handle.net/20.500.12708/51093
• Timing Analysis for Embedded Systems and Time-Predictable Computing / Puschner, P., & Kirner, R. (2005). Timing Analysis for Embedded Systems and Time-Predictable Computing. Siemens PSE Technology Day, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/84449
• Principles of Timing Anomalies in Superscalar Processors / Wenzel, I., Kirner, R., Puschner, P., & Rieder, B. (2005). Principles of Timing Anomalies in Superscalar Processors. In Proceedings of the Fifth International Conference on Quality Software (pp. 295–303). http://hdl.handle.net/20.500.12708/51092
• Classification of WCET Analysis Techniques / Kirner, R., & Puschner, P. (2005). Classification of WCET Analysis Techniques. In Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC’05) (pp. 190–199). IEEE Computer Society. http://hdl.handle.net/20.500.12708/51015
• Measurement-Based Worst-Case Execution Time Analysis / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2005). Measurement-Based Worst-Case Execution Time Analysis. In Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) (pp. 7–10). IEEE. http://hdl.handle.net/20.500.12708/50995
• Automatic Timing Model Generation by CFG Partitioning and Model Checking / Wenzel, I., Rieder, B., Kirner, R., & Puschner, P. (2005). Automatic Timing Model Generation by CFG Partitioning and Model Checking. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005) (pp. 606–611). http://hdl.handle.net/20.500.12708/50989

2003

• Extending optimising compilation to support worst-case execution time analysis : von Raimund Kirner / Kirner, R. (2003). Extending optimising compilation to support worst-case execution time analysis : von Raimund Kirner [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-11513
  Download: PDF (1.42 MB)

2002

• Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / Kirner, R., Lang, R., Freiberger, G., & Puschner, P. (2002). Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. http://hdl.handle.net/20.500.12708/32832
• TTP/A Smart Transducer Programming - A Beginner's Guide / Elmenreich, W., Haidinger, W., Kirner, R., Losert, T., Obermaisser, R., & Trödhandl, C. (2002). TTP/A Smart Transducer Programming - A Beginner’s Guide. http://hdl.handle.net/20.500.12708/32850
• Enforcing Composability for Ubiquitious Computing Systems / Kirner, R. (2002). Enforcing Composability for Ubiquitious Computing Systems. http://hdl.handle.net/20.500.12708/32858
• International Workshop on SCET Analysis - Summary / Kirner, R., & Puschner, P. (2002). International Workshop on SCET Analysis - Summary. http://hdl.handle.net/20.500.12708/32833
• Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell / Scheidler, C., Virnich, U., Boutin, S., Rennhack, J., Grünsteidl, G., Pisecky, M., Lang, R., Kirner, R., & Papadopoulos, Y. (2002). Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell. http://hdl.handle.net/20.500.12708/32829
• The Programming Language wcetC / Kirner, R. (2002). The Programming Language wcetC. http://hdl.handle.net/20.500.12708/32822

2001

• Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis / Atanassov, P., Puschner, P., & Kirner, R. (2001). Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis. In Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001). IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom, Austria. http://hdl.handle.net/20.500.12708/50873
• Transformation of Path Information for WCET Analysis during Compilation / Kirner, R., & Puschner, P. (2001). Transformation of Path Information for WCET Analysis during Compilation. In Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001) (pp. 29–36). http://hdl.handle.net/20.500.12708/50878
• WCET Analysis for Systems Modelled in Matlab/Simulink / Kirner, R., Lang, R., & Puschner, P. (2001). WCET Analysis for Systems Modelled in Matlab/Simulink. In Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings (pp. 33–36). http://hdl.handle.net/20.500.12708/50872

2000

• Supporting Control-Flow-Dependent Execution Times on WCET Calculation / Kirner, R., & Puschner, P. (2000). Supporting Control-Flow-Dependent Execution Times on WCET Calculation. In Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung). Deutschsprachige WCET-Tagung, Paderborn, Germany, Austria. http://hdl.handle.net/20.500.12708/50892
• Consideration of Optimizing Compilers in the Context of WCET Analysis / Kirner, R., & Puschner, P. (2000). Consideration of Optimizing Compilers in the Context of WCET Analysis. In Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V. (pp. 123–126). http://hdl.handle.net/20.500.12708/50891
• Integrating WCET Analysis into a Matlab/Simulink Simulation Model / Kirner, R., Lang, R., Puschner, P., & Temple, C. (2000). Integrating WCET Analysis into a Matlab/Simulink Simulation Model. In Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems (pp. 79–84). http://hdl.handle.net/20.500.12708/50888

• A framework for automated load balancing of streaming programs on the SCC processor / Folie, S. (2014). A framework for automated load balancing of streaming programs on the SCC processor [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159155
• Precise measurement-based worst-case execution time estimation / Zolda, M. (2012). Precise measurement-based worst-case execution time estimation [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-50652
  Download: PDF (16.8 MB)
• Particle Swarm Optimization for generating input data in measurement based Worst-Case Execution Time analysis / Jakovljević, M. (2011). Particle Swarm Optimization for generating input data in measurement based Worst-Case Execution Time analysis [Bachelor Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-57915
  Download: PDF (2.63 MB)
• Tool chain qualification for model-based software engineering in the automotive domain / Rosensteiner, S. (2011). Tool chain qualification for model-based software engineering in the automotive domain [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159963
• Automatic coverage-profile calculation for code optimization / Haas, W. (2010). Automatic coverage-profile calculation for code optimization [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-41958
  Download: PDF (1.72 MB)
• A light-weight parallel execution layer for shared-memory stream processing / Prokesch, D. (2010). A light-weight parallel execution layer for shared-memory stream processing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37768
  Download: PDF (869 KB)
• A requirement-based systematic test-case generation method for safety-critical embedded systems / Kandl, S. (2010). A requirement-based systematic test-case generation method for safety-critical embedded systems [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42096
• The loss of explicity for static WCET analysis during compilation / Wögerer, W. (2008). The loss of explicity for static WCET analysis during compilation [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183759
• Ein graphisches Frontend für die Zeitanalyse von Echtzeitprogrammen / Kanzler, A. (2008). Ein graphisches Frontend für die Zeitanalyse von Echtzeitprogrammen [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179716
• A unit-test platform for design tools for fault-tolerant real-time systems / Križan, B. (2007). A unit-test platform for design tools for fault-tolerant real-time systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-17404
  Download: PDF (827 KB)
• Requirement classification of dependable real-time systems / Trojer, J. M. (2007). Requirement classification of dependable real-time systems [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-96918
  Download: PDF (743 KB)
• Automatic loop bound analysis of programs written in C / Kirner, M. (2006). Automatic loop bound analysis of programs written in C [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-32872
  Download: PDF (705 KB)
• Principles of timing anomalies in superscalar processors / Wenzel, I. (2003). Principles of timing anomalies in superscalar processors [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186740
• Performance Demonstrator / Müller, L. (2002). Performance Demonstrator [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185221

• Mobilitätsstipendium der Creditanstalt AG(wird für aussergewöhnliche Dissertationenan der Technischen Universität Wien verliehen)
  2003 / Austria

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 .