Raimund Kirner

View Scopus Profile

Dr Raimund Kirner

 https://orcid.org/0000-0003-3921-6813
20012025

Research activity per year

Search results

  • 2013

    Fault-tolerant Coordination of S-Net Stream-processing Networks

    Kirner, R., Sanz Marco, V., Zolda, M. & Penczek, F., Jan 2013, 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. HiPEAC, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A data-flow based coordination approach to concurrent software engineering

    Penczek, F., Cheng, W., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A., 2013, Proceedings - 2012 2nd Workshop on Data-Flow Execution Models for Extreme Scale Computing, DFM 2012. Institute of Electrical and Electronics Engineers (IEEE), p. 36-43 8 p. 6612858

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

  • A heuristic strategy for performance optimisation of stream programs

    Nguyen, V. T. N. & Kirner, R., 2013, Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS. Institute of Electrical and Electronics Engineers (IEEE), p. 430-431 2 p. 6808207

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

    Harmon, T., Schoeberl, M., Kirner, R., Klefstad, R., Kim, K. H. & Lowry, M. R., Feb 2012, In: IEEE Transactions on Industrial Informatics. 8, 2, p. 366 - 377 12 p.

    Research output: Contribution to journal › Article › peer-review

    11 Citations (Scopus)

  • Monitoring framework for stream-processing networks

    Nguyen, V. T. N., Kirner, R. & Penczek, F., 1 Jan 2012, Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA 2012). 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    34 Downloads (Pure)

  • Statistical performance analysis with dynamic workload using S-NET

    Wieser, V., Hölzenspies, P. K. F., Roßbory, M. & Kirner, R., 1 Jan 2012, Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    30 Downloads (Pure)

  • Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems

    Cheng, W., Penczek, F., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A., Jan 2012, Proceedings: 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. Grelck, C., Hammond, K. & Scholz, S. B. (eds.). HiPEAC, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    110 Downloads (Pure)

  • A multi-level monitoring framework for stream-based coordination programs

    Nguyen, V. T. N., Kirner, R. & Penczek, F., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 ed. Vol. 7439 LNCS. p. 83-98 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7439 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)

  • An infrastructure for multi-level optimisation through property annotation and aggregation

    Penczek, F., Kirner, R., Poss, R., Grelck, C. & Shafarenko, A., 2012, 4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012. ACM Press, p. 48-62 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Compilers must speak properties, not just code: CAL: Constraint aggregation language for declarative component-coordination

    Kirner, R., Penczek, F. & Shafarenko, A., 2012, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM Press, p. 51-54 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Compiling for time predictability

    Puschner, P., Kirner, R., Huber, B. & Prokesch, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature , Vol. 7613 LNCS. p. 382-391 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7613 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    27 Citations (Scopus)

  • The WCET analysis tool CalcWcet167

    Kirner, R., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Margaria, T. & Bernhard, S. (eds.). PART 2 ed. Springer Nature , Vol. 7610 LNCS. p. 158-172 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7610 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)
  • 2011

    Code Transformations to Prevent Timing Anomalies

    Kadlec, A., Kirner, R. & Puschner, P., Nov 2011, In: International Journal of Computer Systems Science and Engineering. 26, 6

    Research output: Contribution to journal › Article › peer-review

    6 Downloads (Pure)

  • Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

    Kirner, R., Knoop, J., Prantl, A., Schordan, M. & Kadlec, A., Jul 2011, In: Software and Systems Modeling. 10, 3, p. 411-437 27 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    13 Citations (Scopus)
    87 Downloads (Pure)

  • Let's get less optimistic in measurement-based timing analysis

    Bünte, S., Zolda, M. & Kirner, R., 1 Jan 2011, SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings. Institute of Electrical and Electronics Engineers (IEEE), Vol. 5953663. p. 204-212 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    13 Citations (Scopus)
    74 Downloads (Pure)

  • CAL : a language for aggregating functional and extrafunctional constraints in streaming networks

    Shafarenko, A. & Kirner, R., 2011, University of Hertfordshire. (UH Computer Science Technical Report)

    Research output: Book/Report › Other report

    Open Access
    File
    70 Downloads (Pure)

  • Compiler Support for Measurement-based Timing Analysis

    Kirner, R. & Zolda, M., 2011, Procs 11th Int Workshop on Worst-Case Execution Time Analysis (WCET'11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    91 Downloads (Pure)

  • Context-sensitive measurement-based worst-case execution time estimation

    Zolda, M., Bünte, S. & Kirner, R., 2011, Procs 17th IEEE Int Conf on Embedded and Real-Time Computing Systems and Applications : (RTCSA 2011). Institute of Electrical and Electronics Engineers (IEEE), Vol. 1. p. 243 - 250 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6 Citations (Scopus)
    97 Downloads (Pure)

  • Engineering Concurrent Software Guided by Statistical Performance Analysis

    Scheuermann, B., Grelck, C., Hammond, K., Hertlein, H., Hoelzenspies, P., Jesshope, C., Kirner, R., Shafarenko, A., te Boekhorst, R. & Wieser, V., 2011, Applications, Tools and Techniques on the Road to Exascale Computing: Proceedings ParCo 2011. IOS Press, p. 385-394 (Advances in Parallel Computing; vol. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Improving the confidence in measurement-based timing analysis

    Bunte, S., Zolda, M., Tautschnig, M. & Kirner, R., 2011, Procs 14th IEEE Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing : ISORC 2011 Art. No. 5753602. Institute of Electrical and Electronics Engineers (IEEE), p. 144-151

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    17 Citations (Scopus)
    70 Downloads (Pure)

  • Measurement-Based Timing Analysis for Reconfigurable Embedded Systems

    Kirner, R., Bünte, S. & Zolda, M., 2011, Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility. Khalgui, M. & Hanisch, H.-M. (eds.). Hershey, PA, USA: Engineering Science Reference (ESR), imprint of IGI Global, p. 110-129

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • WCET Tool Challenge 2011: Report

    von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovacs, L., Krause, F., de Michiel, M., Olesen, M. C. & Prantl, A. & 6 others, Puffitsch, W., Rochange, C., Schoeberl, M., Wegener, S., Zolda, M. & Zwirchmayr, J., 2011, Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis: (WCET'11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    66 Downloads (Pure)
  • 2010

    Transforming flow information during code optimization for timing analysis

    Kirner, R., Puschner, P. & Prantl, A., Jun 2010, In: Real-Time systems. 45, 1-2, p. 72-105 34 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    18 Citations (Scopus)
    88 Downloads (Pure)

  • Avoiding timing anomalies using code transformations

    Kadlec, A., Kirner, R. & Puschner, P., 2010, In : Proceedings of the 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10). Institute of Electrical and Electronics Engineers (IEEE), p. 123-132 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    5 Citations (Scopus)
    71 Downloads (Pure)

  • Compiler-support for robust multi-core computing

    Kirner, R., Herhut, S. & Scholz, S.-B., 2010, Leveraging Applications of Formal Methods, Verification and Validation PT I. Margaria, T. & Steffen, B. (eds.). BERLIN: Springer Nature , p. 47-57 11 p. (Lecture Notes in Computer Science; vol. 6415).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    42 Downloads (Pure)

  • Context-sensitivity in IPET for measurement-based timing analysis

    Zolda, M., Bünte, S. & Kirner, R., 2010, Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Springer Nature , p. 487-490 4 p. (Lecture Notes in Computer Science; vol. 6416).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    46 Downloads (Pure)

  • Error Detection Rate of MC/DC for a Case Study from the Automotive Domain

    Kandl, S. & Kirner, R., 2010, Software Technologies for Embedded and Ubiquitous Systems. Min, S. L., Pettit, R., Puschner, P. & Ungerer, T. (eds.). Springer Nature , p. 131-142 12 p. (Lecture Notes in Computer Science; vol. 6399).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments

    Kirner, R., Scholz, S.-B., Penczek, F. & Shafarenko, A., 2010, In: Proceedings of the 1st International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPTOOL'10). International Academy, Research and Industry Association Press (IARIA), p. 22-28

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    50 Downloads (Pure)

  • Time-Predictable Computing

    Kirner, R. & Puschner, P., 2010, Software Technologies for Embedded and Ubiquitous Systems. Min, S. L., Pettit, R., Puschner, P. & Ungerer, T. (eds.). Springer Nature , p. 23-34 12 p. (Lecture Notes in Computer Science; vol. 6399).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    116 Downloads (Pure)
  • 2009

    A Single-Path Chip-Multiprocessor System

    Schoeberl, M., Puschner, P. & Kirner, R., 2009, Proceedings of Software technologies for Embedded and Ubiquitous Systems: Lecture Notes in Computer Science. Lee, S. & Narasimhan, P. (eds.). 1st ed. Berlin: Springer Nature , Vol. 5860. p. 47-57 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Automatic calculation of coverage profiles for coverage-based testings

    Kirner, R. & Haas, W., 2009, In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung. 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    28 Downloads (Pure)

  • Measurement-Based Timing Analysis

    Wenzel, I., Kirner, R., Rieder, B. & Puschner, P., 2009, Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008. Margaria, T. & Steffen, B. (eds.). Springer Nature , p. 430-444 15 p. (Communications in Computer and Information Science; vol. 17, no. 8).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    16 Citations (Scopus)
    122 Downloads (Pure)

  • Model-driven design and organic computing - combinable strategies?

    Puschner, P. & Kirner, R., 2009, Procs of the 12th IEEE Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. LOS ALAMITOS: Institute of Electrical and Electronics Engineers (IEEE), p. 101 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    27 Downloads (Pure)

  • On undecidability results of real programming languages

    Kirner, R., Zimmermann, W. & Richter, D., 2009, In: Procs of Kolloquium Programmiersprachen und Grundlagen der Programmierung. 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    100 Downloads (Pure)

  • Precise worst-case execution time analysis for processors with timing anomalies

    Kirner, R., Kadlec, A. & Puschner, P., 2009, Procs of 21st Euromicro Conference on Real-Time Systems. Institute of Electrical and Electronics Engineers (IEEE), p. 119-129 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    21 Citations (Scopus)
    61 Downloads (Pure)

  • Single-path programming on a chip-multiprocessor system

    Schoberl, M., Puschner, P. & Kirner, R., 2009, In: Procs of the Workshop on Reconciling Performance with Predictability (RePP). 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    36 Downloads (Pure)

  • Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis

    Zolda, M., Bünte, S. & Kirner, R., 2009, Procs 17th Int Conf on Real-Time and Network Systems: (RTNS'09). p. 35-44

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    130 Downloads (Pure)

  • Towards composable timing for real-time programs

    Puschner, P., Kirner, R. & Pettit, R. G., 2009, Software Technologies for Future Dependable Distributed Systems. LOS ALAMITOS: Institute of Electrical and Electronics Engineers (IEEE), p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    21 Citations (Scopus)
    26 Downloads (Pure)

  • Towards preserving model coverage and structural code coverage

    Kirner, R., 2009, In: Eurasip Journal on Embedded Systems. 2009, 127945.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    13 Citations (Scopus)
    121 Downloads (Pure)
  • 2008

    Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption

    Zolda, M. & Kirner, R., 1 Nov 2008, Procs of the Junior Scientist Conference 2008. Kaiser, H. K. & Kirner, R. (eds.). Vienna, Austria: Technische Universität Wien, p. 117-118 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    78 Downloads (Pure)

  • A modular worst-case execution time analysis tool for Java processors

    Harmon, T., Schoeberl, M., Kirner, R. & Klefstad, R., 2008, Real-Time and Embedded Technology and Applications Symposium. Los Alamitos: Institute of Electrical and Electronics Engineers (IEEE), p. 47-57 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    12 Citations (Scopus)
    36 Downloads (Pure)

  • Obstacles in worst-case execution time analysis

    Kirner, R. & Puschner, P., 2008, In: Procs of 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing: ISORC 2008. Institute of Electrical and Electronics Engineers (IEEE), p. 333-339 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    38 Citations (Scopus)
    38 Downloads (Pure)

  • Toward libraries for real-time Java

    Harmon, T., Schoeberl, M., Kirner, R. & Klefstad, R., 2008, In: Procs of 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers (IEEE), p. 458-462 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6 Citations (Scopus)
    34 Downloads (Pure)
  • 2007

    Cross-platform verification framework for embedded systems

    Wenzel, I., Kirner, R., Rieder, B. & Puschner, P., Sept 2007, Software Technologies for Embedded and Ubiquitous Systems. Obermaisser, R., Yunmook, N., Puschner, P. & Rammig, F. J. (eds.). Springer Nature , p. 137-148 12 p. (Lecture Notes in Computer Science; vol. 4761).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    1 Citation (Scopus)
    112 Downloads (Pure)

  • Automated formal verification and testing of C programs for embedded systems

    Kandl, S., Kirner, R. & Puschner, P., 2007, Procs of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. DeMiguel, M., Kalogeraki, V. & Kim, D. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 373-382 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    4 Citations (Scopus)
    41 Downloads (Pure)

  • Modeling the function cache for worst-case execution time analysis

    Kirner, R. & Schoeberl, M., 2007, 2007 44TH ACM/IEEE Design Automation Conference. NEW YORK: Institute of Electrical and Electronics Engineers (IEEE), p. 471-476 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • Time-predictable task preemption for real-time systems with direct-mapped instruction cache

    Kirner, R. & Puschner, P., 2007, In: Procs of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. DeMiguel, M., Kalogeraki, V. & Kim, D. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 87-92 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    42 Downloads (Pure)
  • 2006

    Code analysis for temporal predictability

    Gustafsson, J., Lisper, B., Kirner, R. & Puschner, P., Mar 2006, In: Real-Time systems. 32, 3, p. 253-277 25 p.

    Research output: Contribution to journal › Article › peer-review

    File
    6 Citations (Scopus)
    62 Downloads (Pure)

  • Development of a framework for automated systematic testing of safety-critical embedded systems

    Kandl, S., Kirner, R. & Puschner, P., 2006, Proceedings of the Fourth International Workshop on Intelligent Solutions in Embedded Sysems. Elmenreich, W., Novak, G. & Seepold, R. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 65-77 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6 Citations (Scopus)
    49 Downloads (Pure)

  • From time-triggered to time-deterministic real-time systems

    Puschner, P. & Kirner, R., 2006, From Model-Driven Design to Resource Management for Distributed Embedded Systems. Kleinjohann, B. (ed.). NEW YORK: Springer Nature , p. 115-124 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)
    17 Downloads (Pure)