Raimund Kirner

View Scopus Profile

Dr Raimund Kirner

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

Research activity per year

Filter
Conference contribution

Search results

  • 2022

    A Machine Learning Pattern for CNNs with Mixed-Feature Modes

    Kiflay, A. Z., Kirner, R. & Tsokanos, A., 4 Nov 2022, Proceedings of Abstracts, School of Physics, Engineering and Computer Science Research Conference 2022. University of Hertfordshire, p. 75-77

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

    Open Access

  • LBP-CA: A Short-term Scheduler with Criticality Arithmetic

    Fadlelseed, S., Kirner, R. & Menon, C., 4 Nov 2022, Proceedings of Abstracts, School of Physics, Engineering and Computer Science Research Conference 2022. Hatfield, UK: University of Hertfordshire, p. 58-60 3 p.

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

    Open Access
    File
    15 Downloads (Pure)

  • Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten

    Translated title of the contribution: Timetriggered Communication Interfaces in Different Application ContextsKirner, R. & Puschner, P., 25 May 2022, Echtzeit 2021: Echtzeitkommunikation. Unger, H. & Schaible, M. (eds.). 1 ed. Springer Nature Link, Vol. VIII, 131. p. 93-102 10 p. (Informatik aktuell (INFORMAT)).

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

    Open Access
    File
    62 Downloads (Pure)
  • 2021

    A Network Intrusion Detection System Using Ensemble Machine Learning

    Kiflay, A. Z., Tsokanos, A. & Kirner, R., 1 Oct 2021, Proc. 54th Int'l Carnahan Conference on Security Technology (ICCST). Institute of Electrical and Electronics Engineers (IEEE)

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

    165 Downloads (Pure)

  • Component Interfaces with Loosely Synchronous Communication

    Kirner, R., Maurer, S. & Tveretina, O., 13 Aug 2021, Proc. 2020 2nd Int'l Conference on Societal Automation (SA'21). Institute of Electrical and Electronics Engineers (IEEE), 7 p.

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

    Open Access
    File
    24 Downloads (Pure)

  • Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures

    Gray, W., Tsokanos, A. & Kirner, R., 3 Jun 2021, Proceedings - 2021 IEEE 24th International Symposium on Real-Time Distributed Computing, ISORC 2021. Institute of Electrical and Electronics Engineers (IEEE), p. 29-33 5 p. 9469906. (Proceedings - 2021 IEEE 24th International Symposium on Real-Time Distributed Computing, ISORC 2021).

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

    Open Access
    File
    177 Downloads (Pure)

  • Dynamic Row Activation Mechanism for Multi-Core Systems

    Alawneh, T. A., Kirner, R. & Menon, C., 13 May 2021, CF '21: Proceedings of the 18th ACM International Conference on Computing Frontiers. ACM Press, p. 21-29 9 p.

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

    6 Downloads (Pure)
  • 2020

    Deep Packet Inspection in Firewall Clusters

    Hamilton, R., Gray, W., Sibanda, C., Kandasamy, S., Kirner, R. & Tsokanos, A., 30 Nov 2020, Proc. 28th Int'l Telecommunications Forum (TELFOR). Institute of Electrical and Electronics Engineers (IEEE), 4 p.

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

  • ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

    Menon, C., Iacovelli, S. & Kirner, R., 21 May 2020, Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020. Institute of Electrical and Electronics Engineers (IEEE), p. 213-218 6 p. 9112973. (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020).

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

    Open Access
    File
    1 Citation (Scopus)
    206 Downloads (Pure)

  • Scenario-Based Meta-Scheduling for Energy-Efficient, Robust and Adaptive Time-Triggered Multi-Core Architectures

    Sorkhpour, B., Obermaisser, R. & Kirner, R., 18 May 2020, AmE 2020: Automotive meets Electronics; 11th GMM-Symposium. Institute of Electrical and Electronics Engineers (IEEE), p. 93-109 17 p.

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

    Open Access
    File
    66 Downloads (Pure)
  • 2019

    Design Patterns to Build Large Resilient and Predictable Systems

    Kirner, R., 9 Dec 2019, 2019 International Conference on Promising Electronic Technologies (ICPET): Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 1-3 3 p.

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

    Open Access
    File
    16 Downloads (Pure)

  • Work in Progress – Establishing a Master Program in Cyber Physical Systems: Basic Findings and Future Perspectives

    Ishaq, I., Kirner, R., Doolan, M., Jayousi, R., Odeh, S., Edwan, E., Shaheen, A., Elnaggar, M., Elagha, A., Salamah, S., Weber, C., Rasheed, H. A., Ahmadian, H., Obermaisser, R., Abou-Tair, D. E. D. I., Khalifeh, A., Alouneh, S., Alhalhouli, Z., Alemerien, K. & Gargouri, F. & 2 others, Bouaziz, B. & Saleh, M., 9 Dec 2019, 2019 International Conference on Promising Electronic Technologies (ICPET): Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 4-9 6 p.

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

    Open Access
    File
    2 Citations (Scopus)
    44 Downloads (Pure)

  • Interfacing to Time-Triggered Communication Systems

    Puschner, P. & Kirner, R., 11 Jul 2019, Proceedings - 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019. p. 201-208 8 p. 8759368. (Proceedings - 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019).

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

    Open Access
    File
    2 Citations (Scopus)
    83 Downloads (Pure)
  • 2018

    ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems

    Kirner, R., Menon, C. & Iacovelli, S., 8 Jun 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems, SIES 2018 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 190 9 p.

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

    Open Access
    File
    3 Citations (Scopus)
    163 Downloads (Pure)
  • 2015

    On the Design of a Java Virtual Machine for Mixed-criticality Systems

    Hamza, H., Hughes, A. & Kirner, R., Oct 2015, 13th Int'l Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'15). 4 p.

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

  • Coordination with Structured Composition for Cyber-physical Systems

    Maurer, S. & Kirner, R., 1 Sept 2015, Int'l Conference on Parallel Computing (ParCo'15). IOS Press, p. 615-624 10 p.

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

  • Cross-criticality Interfaces for Cyber-physical Systems

    Maurer, S. & Kirner, R., Jun 2015, IEEE Int'l Conference on Event-based Control, Communication, and Signal Processing (EBCCSP'15). 8 p.

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

    6 Citations (Scopus)

  • Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults

    Kirner, R., Iacovelli, S. & Zolda, M., Apr 2015, IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'15). 9 p.

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

    3 Citations (Scopus)
  • 2014

    A Uniform Model for Tolerance-Based Real-Time Computing

    Kirner, R., 15 Sept 2014, Proceedings - IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 9-16 8 p. 6899125

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

    7 Citations (Scopus)

  • Ingredients for the specification of mixed-criticality real-time systems

    Kirner, R., 15 Sept 2014, Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 269-275 7 p. 6899159

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

    Open Access
    File
    2 Citations (Scopus)
    47 Downloads (Pure)

  • A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip

    Karavadara, N., Folie, S., Zolda, M., Nguyen, V. T. N. & Kirner, R., 1 Mar 2014, Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14). 4 p.

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

    File
    29 Downloads (Pure)

  • Efficient Leader Election for Synchronous Shared-Memory Systems

    Sanz Marco, V., Zolda, M. & Kirner, R., Mar 2014, Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14). Dresden, Germany: Electronic Chips and Systems Design Initiative ECSI, 5 p.

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

  • 2013

    Demand-based scheduling priorities for performance optimisation of stream programs on parallel platforms

    Nguyen, V. T. N. & Kirner, R., 1 Dec 2013, Algorithms and Architectures for Parallel Processing. Springer Nature Link, p. 357-369 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8285 LNCS, no. PART 1).

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

    3 Citations (Scopus)

  • Influences on Throughput and Latency in Stream Programs

    Nguyen, V. T. N. & Kirner, R., 1 Jan 2013, 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. 6 p.

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

    File
    28 Downloads (Pure)

  • Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NET

    MacKenzie, K., Hölzenspies, P. K. F., Hammond, K., Kirner, R., Nguyen, V. T. N., te Boekhorst, I., Grelck, C., Poss, R. & Verstraaten, M., 1 Jan 2013, 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. 8 p.

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

    File
    86 Downloads (Pure)

  • 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

    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
    29 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
    23 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
    85 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 Link, 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 Link, 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

    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)
    67 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
    85 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)
    90 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
    16 Citations (Scopus)
    64 Downloads (Pure)

  • 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
    60 Downloads (Pure)
  • 2010

    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
    4 Citations (Scopus)
    65 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 Link, p. 47-57 11 p. (Lecture Notes in Computer Science; vol. 6415).

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

    File
    37 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 Link, 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)
    41 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 Link, 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, p. 22-28

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

    Open Access
    File
    45 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 Link, p. 23-34 12 p. (Lecture Notes in Computer Science; vol. 6399).

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

    File
    110 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 Link, 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
    23 Downloads (Pure)