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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Kirner, R., & Puschner, P. (2010). Time-Predictable Computing. In Time-Predictable Computing (pp. 23–34). http://hdl.handle.net/20.500.12708/53410 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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. https://doi.org/10.1109/isorc.2009.22 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Kaiser, H., & Kirner, R. (Eds.). (2008). Junior Scientist Conference 2008, Proceedings. TU Wien. http://hdl.handle.net/20.500.12708/22862 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Kirner, R. (2002). The Programming Language wcetC. http://hdl.handle.net/20.500.12708/32822 ( reposiTUm)

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 ( reposiTUm)

Kirner, R., & Puschner, P. (2002). International Workshop on SCET Analysis - Summary. http://hdl.handle.net/20.500.12708/32833 ( reposiTUm)

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 ( reposiTUm)

Kirner, R. (2002). Enforcing Composability for Ubiquitious Computing Systems. http://hdl.handle.net/20.500.12708/32858 ( reposiTUm)

Kirner, R. (2010). Development and analysis of time-predictable real-time systems [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159520 ( reposiTUm)

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 ( reposiTUm)

Kirner, R. (2000). Integration of static runtime analysis and program compilation [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178110 ( reposiTUm)