• FORTAS-RT: Formales Zeitanalyseframework für Echtzeitsysteme
  2007 – 2009 / Austrian Science Fund (FWF)
• COSTA: Compiler-Support for Timing Analysis
  2006 – 2009 / Austrian Science Fund (FWF) / Publications (5)

2023

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

2022

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

2021

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

2020

• 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. Peer-reviewed.
  DOI: 10.1016/j.sysarc.2019.101690

2019

• 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. Peer-reviewed.
  DOI: 10.1109/isorc.2019.00044

2012

• 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. Lecture Notes in Computer Science / Springer. Peer-reviewed.
  DOI: 10.1007/978-3-642-33675-1_35

2011

• 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. Peer-reviewed.
  DOI: 10.1007/s10270-010-0161-0 / Projects: COSTA,
• 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. Peer-reviewed.
  HDL: 20.500.12708/53907
• 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). Peer-reviewed.
  HDL: 20.500.12708/53917
• 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). Peer-reviewed.
  HDL: 20.500.12708/53916
• 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).
  HDL: 20.500.12708/53914
• 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. Peer-reviewed.
  DOI: 10.4018/978-1-60960-086-0

2010

• 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).
  HDL: 20.500.12708/66066
• 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).
  HDL: 20.500.12708/66067
• 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). Peer-reviewed.
  HDL: 20.500.12708/66064
• 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).
  HDL: 20.500.12708/66068
• 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).
  HDL: 20.500.12708/66069
• 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).
  HDL: 20.500.12708/66070
• 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).
  HDL: 20.500.12708/66071
• 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).
  HDL: 20.500.12708/66072
• 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).
  HDL: 20.500.12708/46775
• 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).
  HDL: 20.500.12708/47320
• 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).
  HDL: 20.500.12708/47154
• 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).
  HDL: 20.500.12708/42557
• 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. Peer-reviewed.
  HDL: 20.500.12708/42507
• 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).
  HDL: 20.500.12708/53582
• 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).
  HDL: 20.500.12708/53583
• 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.
  HDL: 20.500.12708/53587
• Kirner, R., Puschner, P. (2010). Time-Predictable Computing. In Time-Predictable Computing (pp. 23–34). Peer-reviewed.
  HDL: 20.500.12708/53410
• 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). Peer-reviewed.
  HDL: 20.500.12708/53424
• 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). Peer-reviewed.
  HDL: 20.500.12708/53423 / Project:
• 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). Peer-reviewed.
  HDL: 20.500.12708/53422
• 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. Peer-reviewed.
  HDL: 20.500.12708/53412
• Kadlec, A., Kirner, R., Puschner, P. (2010). Avoiding Timing Anomalies Using Code Transformations. In Avoiding Timing Anomalies Using Code Transformations (pp. 123–132). IEEE. Peer-reviewed.
  HDL: 20.500.12708/53409
• 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. Peer-reviewed.
  DOI: 10.1007/978-3-642-16561-0_45
• 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). Peer-reviewed.
  HDL: 20.500.12708/53394 / Projects: ,
• 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.
  HDL: 20.500.12708/53117
• 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.
  HDL: 20.500.12708/53118
• 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). Peer-reviewed.
  HDL: 20.500.12708/53119 / Project:
• 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). Peer-reviewed.
  HDL: 20.500.12708/53135
• Kirner, R., Puschner, P., Prantl, A. (2010). Transforming Flow Information during Code Optimization for Timing Analysis. Real-Time Systems, 45(1–2), 72–105. Peer-reviewed.
  DOI: 10.1007/s11241-010-9091-8

2009

• 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). Peer-reviewed.
  HDL: 20.500.12708/52710
• 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.
  HDL: 20.500.12708/52781 / Projects: COSTA,
• 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. Peer-reviewed.
  HDL: 20.500.12708/52849
• 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), Tokyo, Japan. IEEE. Peer-reviewed.
  DOI: 10.1109/isorc.2009.22
• 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.
  HDL: 20.500.12708/52855
• 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. Peer-reviewed.
  HDL: 20.500.12708/52856
• 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. Peer-reviewed.
  DOI: 10.1109/ecrts.2009.8
• 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.
  HDL: 20.500.12708/52914
• 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.
  HDL: 20.500.12708/52915
• Kirner, R. (2009). Towards Automatic Verification of Structural Code-Coverage Preservation. In Timing Analysis and Symbolic Computation, TASCo 2009 (p. 1).
  HDL: 20.500.12708/52927
• 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). Peer-reviewed.
  HDL: 20.500.12708/52928
• 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. Peer-reviewed.
  DOI: 10.1007/978-3-642-10265-3_5

2008

• Kirner, R., Kandl, S. (2008). Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems. ERCIM NEWS, 75(75), 40–41.
  HDL: 20.500.12708/171017
• Kirner, R. (Ed.). (2008). Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008). Österreichische Computer Gesellschaft. Peer-reviewed.
  HDL: 20.500.12708/22792
• Kaiser, H., Kirner, R. (Eds.). (2008). Junior Scientist Conference 2008, Proceedings. TU Wien.
  HDL: 20.500.12708/22862
• 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). Peer-reviewed.
  HDL: 20.500.12708/52464
• 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.
  HDL: 20.500.12708/52530
• 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.
  HDL: 20.500.12708/52531
• 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. Peer-reviewed.
  DOI: 10.1007/978-3-540-88479-8_30
• 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). Peer-reviewed.
  HDL: 20.500.12708/52644
• 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). Peer-reviewed.
  HDL: 20.500.12708/46227
• 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). Peer-reviewed.
  HDL: 20.500.12708/42288
• 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. Peer-reviewed.
  HDL: 20.500.12708/40804
• 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). Peer-reviewed.
  HDL: 20.500.12708/46228
• 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). Peer-reviewed.
  HDL: 20.500.12708/52258
• 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). Peer-reviewed.
  HDL: 20.500.12708/52311 / Project:
• 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). Peer-reviewed.
  HDL: 20.500.12708/52313
• 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). Peer-reviewed.
  HDL: 20.500.12708/52314
• 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. Peer-reviewed.
  HDL: 20.500.12708/52349
• 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.
  HDL: 20.500.12708/52407 / Project: COSTA
• 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. Peer-reviewed.
  DOI: 10.1109/rtas.2008.34
• 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. Peer-reviewed.
  DOI: 10.1109/isorc.2008.73
• 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. Peer-reviewed.
  DOI: 10.1109/isorc.2008.65

2007

• Wenzel, I., Kirner, R., Rieder, B., Puschner, P. (2007). Cross-Platform Verification Framework for Embedded Systems. Lecture Notes in Computer Science, 4761, 137–148.
  HDL: 20.500.12708/169639
• 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). Peer-reviewed.
  HDL: 20.500.12708/51860
• 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. Peer-reviewed.
  HDL: 20.500.12708/51884
• 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. Peer-reviewed.
  HDL: 20.500.12708/51885
• 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). Peer-reviewed.
  HDL: 20.500.12708/51989
• 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). Peer-reviewed.
  HDL: 20.500.12708/52007
• 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. Peer-reviewed.
  DOI: 10.1145/1278480.1278603
• Kirner, R. (2007). SCCP/x: a compilation profile to support testing and verification of optimized code. 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. Peer-reviewed.
  DOI: 10.1145/1289881.1289890
• Kirner, R. (2007). On the Halting Problem of Finite-State Programs. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (p. 6).
  HDL: 20.500.12708/52078
• 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).
  HDL: 20.500.12708/52113

2006

• 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. Peer-reviewed.
  HDL: 20.500.12708/51433
• 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, United States of America (the). IEEE. Peer-reviewed.
  HDL: 20.500.12708/51434
• 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. Peer-reviewed.
  HDL: 20.500.12708/51435
• 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). Peer-reviewed.
  HDL: 20.500.12708/51437
• 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). Peer-reviewed.
  HDL: 20.500.12708/51438
• 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. Peer-reviewed.
  HDL: 20.500.12708/51483

2005

• 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). Peer-reviewed.
  HDL: 20.500.12708/50989
• 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. Peer-reviewed.
  HDL: 20.500.12708/50995
• 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. Peer-reviewed.
  HDL: 20.500.12708/51015
• 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). Peer-reviewed.
  HDL: 20.500.12708/51092
• 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. Peer-reviewed.
  HDL: 20.500.12708/51093

2002

• Kirner, R. (2002). The Programming Language wcetC.
  HDL: 20.500.12708/32822
• 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.
  HDL: 20.500.12708/32829
• Kirner, R., Lang, R., Freiberger, G., Puschner, P. (2002). Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.
  HDL: 20.500.12708/32832
• Kirner, R., Puschner, P. (2002). International Workshop on SCET Analysis - Summary.
  HDL: 20.500.12708/32833
• Elmenreich, W., Haidinger, W., Kirner, R., Losert, T., Obermaisser, R., Trödhandl, C. (2002). TTP/A Smart Transducer Programming - A Beginner’s Guide.
  HDL: 20.500.12708/32850
• Kirner, R. (2002). Enforcing Composability for Ubiquitious Computing Systems.
  HDL: 20.500.12708/32858

2001

• 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). Peer-reviewed.
  HDL: 20.500.12708/50878
• 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). Peer-reviewed.
  HDL: 20.500.12708/50872
• 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.
  HDL: 20.500.12708/50873

2000

• 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). Peer-reviewed.
  HDL: 20.500.12708/50888
• 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). Peer-reviewed.
  HDL: 20.500.12708/50891
• 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. Peer-reviewed.
  HDL: 20.500.12708/50892

• Puschner, P., Kirner, R. (2005). Timing Analysis for Embedded Systems and Time-Predictable Computing. Siemens PSE Technology Day, Vienna, Austria, Austria.
  HDL: 20.500.12708/84449

• Folie, S. (2014). A framework for automated load balancing of streaming programs on the SCC processor [Diploma Thesis, Technische Universität Wien]. reposiTUm.
  HDL: 20.500.12708/159155
• 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
  HDL: 20.500.12708/8935 / Download: PDF
• 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
  HDL: 20.500.12708/11984 / Download: PDF
• Rosensteiner, S. (2011). Tool chain qualification for model-based software engineering in the automotive domain [Diploma Thesis, Technische Universität Wien]. reposiTUm.
  HDL: 20.500.12708/159963
• 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
  HDL: 20.500.12708/12235 / Download: PDF
• 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
  HDL: 20.500.12708/11270 / Download: PDF
• 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
  HDL: 20.500.12708/10272
• Kanzler, A. (2008). Ein graphisches Frontend für die Zeitanalyse von Echtzeitprogrammen [Diploma Thesis, Technische Universität Wien]. reposiTUm.
  HDL: 20.500.12708/179716
• Wögerer, W. (2008). The loss of explicity for static WCET analysis during compilation [Diploma Thesis, Technische Universität Wien]. reposiTUm.
  HDL: 20.500.12708/183759
• 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
  HDL: 20.500.12708/12483 / Download: PDF
• 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
  HDL: 20.500.12708/12468 / Download: PDF
• 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
  HDL: 20.500.12708/12417 / Download: PDF
• Wenzel, I. (2003). Principles of timing anomalies in superscalar processors [Diploma Thesis, Technische Universität Wien]. reposiTUm.
  HDL: 20.500.12708/186740
• 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
  HDL: 20.500.12708/8689 / Download: PDF
• Müller, L. (2002). Performance Demonstrator [Diploma Thesis, Technische Universität Wien]. reposiTUm.
  HDL: 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’s research profile in TISS.