Raimund Kirner
Privatdoz. Dipl.-Ing. Dr.techn.
Research Areas
- Worst-Case Execution Time Analayis, Real-Time Systems, Testing of Embedded Systems, Automatic Test-Case Generation, Embedded Systems
Role
-
Affiliated
Cyber-Physical Systems, E191-01
Projects
-
Formales Zeitanalyseframework für Echtzeitsysteme
2007 – 2009 / Austrian Science Fund (FWF) -
Compiler-Support for Timing Analysis
2006 – 2009 / Austrian Science Fund (FWF) / Publications: 174856, 56070, 56446, 56974, 89753
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
2011
- 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
- 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
- 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
- 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, COSTA
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 Lecture Notes in Computer Science (pp. 487–490). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16561-0_45
- 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, IncMan
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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, COSTA
- 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 (pp. 39–49). Verlag Oesterreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52855
2008
- 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
- 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
- Measurement-Based Timing Analysis / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2008). Measurement-Based Timing Analysis. In Communications in Computer and Information Science (pp. 430–444). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_30
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
2002
- 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
- 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
- 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
- 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
- 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
- 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
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- 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
- 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
Awards
-
Mobilitätsstipendium der Creditanstalt AG
(wird für aussergewöhnliche Dissertationen
an der Technischen Universität Wien verliehen)
2003 / Austria
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Raimund Kirner’s research profile in TISS .