Items where Author is "<span class="person_name">Kirner, Raimund</span>"
Number of items: 98.
Article
  • Design of Efficient Bi-orthogonal Wavelets for EEG-Based Detection of Schizophrenia. (2025) Digambar Puri, Pramod H. Kachare, Ibrahim Al-Shourbaji, Abdoh Jabbari, Raimund Kirner and Abdalla Alameen
  • Machine Learning and Deep Learning-Based Multi-Attribute Physical-Layer Authentication for Spoofing Detection in LoRaWAN. (2025) Azita Pourghasem, Raimund Kirner, Athanasios Tsokanos, Iosif Mporas and Alexios Mylonas
  • QuantumGS-Box—A Key-Dependent GA and QRNG-Based S-Box for High-Speed Cloud-Based Storage Encryption. (2024) Anish Saini, Athanasios Tsokanos and Raimund Kirner
  • Improving prediction of solar radiation using Cheetah Optimizer and Random Forest. (2024) Ibrahim Al-Shourbaji, Pramod H. Kachare, Abdoh Jabbari, Raimund Kirner, Digambar Puri, Mostafa Mehanawi and Abdalla Alameen
  • LEADNet: Detection of Alzheimer’s Disease using Spatiotemporal EEG Analysis and Low-Complexity CNN. (2024) Digambar V. Puri, Pramod H. Kachare, Sandeep B. Sangle, Raimund Kirner, Abdoh Jabbari, Ibrahim Al-Shourbaji, Mohammed Abdalraheem and Abdalla Alameen
  • Network intrusion detection leveraging multimodal features. (2024) Aklil Zenebe Kiflay, Athanasios Tsokanos, Mahmood Fazlali and Raimund Kirner
  • LCADNet: A Novel Light CNN Architecture for EEG-based Alzheimer Disease Detection. (2024) Pramod Kachare, Digambar Puri, Sandeep B. Sangle, Ibrahim Al-Shourbaji, Abdoh Jabbari, Raimund Kirner, Abdalla Alameen, Hazem Migdady and Laith Abualigah
  • CryptoQNRG: a new framework for evaluation of cryptographic strength in quantum and pseudorandom number generation for key-scheduling algorithms. (2023) Anish Saini, Athanasios Tsokanos and Raimund Kirner
  • A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. (2023) Raimund Kirner and Peter Puschner
  • Quantum Randomness in Cryptography—A Survey of Cryptosystems, RNG-Based Ciphers, and QRNGs. (2022) Anish Saini, Athanasios Tsokanos and Raimund Kirner
  • ATMP-CA: Optimising Mixed-Criticality Systems Considering Criticality Arithmetic. (2021) Sajid Fadlelseed, Raimund Kirner and Catherine Menon
  • A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. (2021) Raimund Kirner and Peter Puschner
  • Asynchronous vs. Synchronous Interfacing to Time-Triggered Communication Systems. (2020) Peter Puschner and Raimund Kirner
  • A Lazy Bailout Approach for Dual-Criticality Systems on Uniprocessor Platforms. (2019) Saverio Iacovelli and Raimund Kirner
  • Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture. (2016) Nilesh Karavadara, Michael Zolda, Vu Thien Nga Nguyen, Jens Knoop and Raimund Kirner
  • Throughput-driven Partitioning of Stream Programs on Heterogeneous Distributed Systems. (2016) Vu Thien Nga Nguyen and Raimund Kirner
  • Calculating WCET Estimates from Timed Traces. (2015) Michael Zolda and Raimund Kirner
  • Introduction to the Special Issue on Software Technologies for Embedded & Ubiquitous Systems. (2015) Lynn Choi and Raimund Kirner
  • Optimizing compilation with preservation of structural code coverage metrics to support software testing. (2014) Raimund Kirner and Walter Haas
  • Beyond loop bounds : comparing annotation languages for worst-case execution time analysis. (2011) Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan and Albrecht Kadlec
  • Transforming flow information during code optimization for timing analysis. (2010) Raimund Kirner, Peter Puschner and Adrian Prantl
  • Towards preserving model coverage and structural code coverage. (2009) Raimund Kirner
  • Code analysis for temporal predictability. (2006) J. Gustafsson, B. Lisper, Raimund Kirner and P. Puschner
    • Book Section
  • LBP-CA: A Short-term Scheduler with Criticality Arithmetic. (2022) Sajid Fadlelseed, Raimund Kirner and Catherine Menon
  • Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. (2022) Raimund Kirner and Peter Puschner
  • Component Interfaces with Loosely Synchronous Communication. (2021) Raimund Kirner, Simon Maurer and Olga Tveretina
  • Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures. (2021) Wayne Gray, Athanasios Tsokanos and Raimund Kirner
  • Dynamic Row Activation Mechanism for Multi-Core Systems. (2021) Tareq A. Alawneh, Raimund Kirner and Catherine Menon
  • ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. (2020) Catherine Menon, Saverio Iacovelli and Raimund Kirner
  • Scenario-Based Meta-Scheduling for Energy-Efficient, Robust and Adaptive Time-Triggered Multi-Core Architectures. (2020) Babak Sorkhpour, Roman Obermaisser and Raimund Kirner
  • Design Patterns to Build Large Resilient and Predictable Systems. (2019) Raimund Kirner
  • Work in Progress – Establishing a Master Program in Cyber Physical Systems: Basic Findings and Future Perspectives. (2019) Isam Ishaq, Raimund Kirner, Martina Doolan, Rashid Jayousi, Salaheddin Odeh, Ezzaldeen Edwan, Asmaa Shaheen, Mohamed Elnaggar, Ahmed Elagha, Samy Salamah, Christian Weber, Hasan Abu Rasheed, Hamidreza Ahmadian, Roman Obermaisser, Dhiah el Diehn I. Abou-Tair, Ala Khalifeh, Sahel Alouneh, Zaid Alhalhouli, Khalid Alemerien, Faiez Gargouri, Bassem Bouaziz and Mohammad Saleh
  • Interfacing to Time-Triggered Communication Systems. (2019) Peter Puschner and Raimund Kirner
  • ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. (2018) Raimund Kirner, Catherine Menon and Saverio Iacovelli
  • Ingredients for the specification of mixed-criticality real-time systems. (2014) Raimund Kirner
  • A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip. (2014) Nilesh Karavadara, Simon Folie, Michael Zolda, Vu Thien Nga Nguyen and Raimund Kirner
  • Influences on Throughput and Latency in Stream Programs. (2013) Vu Thien Nga Nguyen and Raimund Kirner
  • Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NET. (2013) Kenneth MacKenzie, Philip K. F. Hölzenspies, Kevin Hammond, Raimund Kirner, Vu Thien Nga Nguyen, Iraneus te Boekhorst, Clemens Grelck, Raphael Poss and Merijn Verstraaten
  • Monitoring framework for stream-processing networks. (2012) Vu Thien Nga Nguyen, Raimund Kirner and Frank Penczek
  • Statistical performance analysis with dynamic workload using S-NET. (2012) Volkmar Wieser, Philip K. F. Hölzenspies, Michael Roßbory and Raimund Kirner
  • Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems. (2012) Wei Cheng, Frank Penczek, Clemens Grelck, Raimund Kirner, Bernd Scheuermann and Alex Shafarenko
  • Let's get less optimistic in measurement-based timing analysis. (2011) S. Bünte, Michael Zolda and Raimund Kirner
  • Compiler Support for Measurement-based Timing Analysis. (2011) Raimund Kirner and Michael Zolda
  • Context-sensitive measurement-based worst-case execution time estimation. (2011) M. Zolda, S. Bünte and Raimund Kirner
  • Engineering Concurrent Software Guided by Statistical Performance Analysis. (2011) Bernd Scheuermann, Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip Hoelzenspies, Chris Jesshope, Raimund Kirner, Alex Shafarenko, Rene te Boekhorst and Volkmar Wieser
  • Improving the confidence in measurement-based timing analysis. (2011) S. Bunte, Michael Zolda, M. Tautschnig and Raimund Kirner
  • WCET Tool Challenge 2011 : Report. (2011) Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda and Jakob Zwirchmayr
  • Avoiding timing anomalies using code transformations. (2010) A. Kadlec, Raimund Kirner and P. Puschner
  • Compiler-support for robust multi-core computing. (2010) Raimund Kirner, Stephan Herhut and Sven-Bodo Scholz
  • Context-sensitivity in IPET for measurement-based timing analysis. (2010) M. Zolda, S. Bünte and Raimund Kirner
  • Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. (2010) Susanne Kandl and Raimund Kirner
  • PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments. (2010) Raimund Kirner, Sven-Bodo Scholz, Frank Penczek and Alex Shafarenko
  • Time-Predictable Computing. (2010) Raimund Kirner and Peter Puschner
  • Automatic calculation of coverage profiles for coverage-based testings. (2009) Raimund Kirner and W. Haas
  • Measurement-Based Timing Analysis. (2009) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner
  • Model-driven design and organic computing - combinable strategies? (2009) Peter Puschner and Raimund Kirner
  • On undecidability results of real programming languages. (2009) Raimund Kirner, W. Zimmermann and D. Richter
  • Precise worst-case execution time analysis for processors with timing anomalies. (2009) Raimund Kirner, Albrecht Kadlec and Peter Puschner
  • Single-path programming on a chip-multiprocessor system. (2009) M. Schoberl, P. Puschner and Raimund Kirner
  • Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis. (2009) Michael Zolda, Sven Bünte and Raimund Kirner
  • Towards composable timing for real-time programs. (2009) Peter Puschner, Raimund Kirner and Robert G. Pettit
  • Divide and Measure : CFG Segmentation for the Measurement-Based Analysis of Resource Consumption. (2008) Michael Zolda and Raimund Kirner
  • Obstacles in worst-case execution time analysis. (2008) Raimund Kirner and Peter Puschner
  • Toward libraries for real-time Java. (2008) Trevor Harmon, Martin Schoeberl, Raimund Kirner and Raymond Klefstad
  • A modular worst-case execution time analysis tool for Java processors. (2008) Trevor Harmon, Martin Schoeberl, Raimund Kirner and Raymond Klefstad
  • Cross-platform verification framework for embedded systems. (2007) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner
  • Automated formal verification and testing of C programs for embedded systems. (2007) Susanne Kandl, Raimund Kirner and Peter Puschner
  • Modeling the function cache for worst-case execution time analysis. (2007) Raimund Kirner and Martin Schoeberl
  • Time-predictable task preemption for real-time systems with direct-mapped instruction cache. (2007) Raimund Kirner and Peter Puschner
  • Development of a framework for automated systematic testing of safety-critical embedded systems. (2006) S. Kandl, Raimund Kirner and P. Puschner
  • From time-triggered to time-deterministic real-time systems. (2006) Peter Puschner and Raimund Kirner
  • Portable data exchange for remote-testing frameworks. (2006) Raimund Kirner, Peter Puschner, Ingomar Wenzel and Bernhard Rieder
  • Automatic timing model generation by CFG partitioning and model checking. (2005) I Wenzel, B Rieder, Raimund Kirner and P. Puschner
  • Classification of WCET analysis techniques. (2005) Raimund Kirner and P. Puschner
  • Impact of dependable software development guidelines on timing analysis. (2005) I Wenzel, Raimund Kirner, M. Schlager, B Rieder and B. Huber
  • Measurement-based worst-case execution time analysis. (2005) I Wenzel, Raimund Kirner, B Rieder and P. Puschner
  • Principles of timing anomalies in superscalar processors. (2005) I. Wenzel, Raimund Kirner, P. Puschner and B. Rieder
  • Input-dependency analysis for hard real-time software. (2004) J. Gustafsson, B. Lisper, Raimund Kirner and P. Puschner
  • Avoiding timing problems in real-time software. (2003) P. Puschner and Raimund Kirner
  • Intelligent editor for writing worst-case-execution-time-oriented programs. (2003) J. Fauster, Raimund Kirner and P. Puschner
  • Timing analysis of optimised code. (2003) Raimund Kirner and P. Puschner
  • Timing analysis of optimized code. (2003) Raimund Kirner and P. Puschner
  • Transformation of meta-information by abstract Co- interpretation. (2003) Raimund Kirner and P. Puschner
  • Fully automatic worst-case execution time analysis for MATLAB/Simulink models. (2002) Raimund Kirner, R. Lang, G Freiberger and P. Puschner
  • Transformation of path information for WCET analysis during compilation. (2001) Raimund Kirner and P. Puschner
    • Conference or Workshop Item
  • Automotive Forensics - Can You Trust Your Car? (Keynote Talk). (2021) Raimund Kirner
  • Interfaces and Concepts to Build Large Resilient and Predictable Systems. (2019) Raimund Kirner and Olga Tveretina
    • Book
  • Proceedings of Abstracts, School of Physics, Engineering and Computer Science Research Conference 2022. (2022) Daerefa-a Amafabia, Laurel Asimea, John Bally, Anthony Baran, Adam Boies, Amirhossein Borjali, Chloe Bosomworth, Ben Burningham, Napoleana-Anna Chaliasou, Yong Kang CHEN, Yuen Ki Cheong, Mahmoud Chizari, Etelka Chung, Kristen Coppin, Opukuro David-West, Nik Dennler, Hom Dhakal, Nikolay Dimov, Emil Dmitruk, Allen Donald, Damien Drix, Sergio A. Dzib, Mahmoud Eltaweel, Sajid Fadlelseed, Atena Farahani, Adrian Felix, Tim Foat, Jan Forbrich, Maximilien Franco, Joesphine Gaarn, Tracy Garratt, Jim Geach, Narges Ghias, Adrian Ghita, Niccolo Giannetti, Jaime Vargas-Gonzalez, Richard Greenaway, George Haritos, Sara Hatami, David Haydock, Na Helian, Mohammad Reza Herfatmanesh, Jean-Baptiste Herve, Evelyn Hesse, Hossein Korani, Vahid Hosseini, Wei Hu, Thomas Hubbard, Jameel Inal, Patrick Irigo, Sikiru O. Ismail, Fiona Jepleting, Wei Ji, Ian Johnston, Gbanaibolou Jombo, Shabnam Kadir, Christos Kalyvas, Syed Muhammad Kamran, Antonios Kanellopoulos, Aklil Zenebe Kiflay, Raimund Kirner, Kerry Knox, Chiaki Kobayashi, Dhirendra Kumar, Ritesh Kumar, Peter Lane, Himayasri Lekkala, Andrew Lewis, Liang Li, Qi Luo, Hossein Madani, Colin Mallet, Surya Maruthupandian, Elizabeth Reeja Mathen, Pavel Matousek, Simon McCool, James C. McGarry, Catherine Menon, Christoph Metzner, Rachael E. H. Miles, Hadi Moeinnia, Paul Moggridge, Mahdi Mohseni, Diogo Montalvão, Mohammad Najeeb Moraby, Darragh Murnane, Marc Norgate, Amir Nourani, Kumar Shantanu Prasad, Soodamani Ramalingam, Shavika Rastogi, Jonathan P. Reid, Guogang Ren, Victor M. Rivilla, Hossein Saidpour, Kiyoshi Saito, Seyed Amir Hossein Sajedi, Christoph Salge, Samadhi Samararatne, Michael Schmuker, Elif Sensoy, Ajay Shriram, Harpreet Singh, Yasser Sorouraddin, Volker Steuber, Nicholas Stone, Yi Sun, Roopesh Sureddi, Samuel Sutton, Peter Thomas, Andrew R Timms, P. R. Tiwari, Athanasios Tsokanos, Mansukhlal Vadalia, Muhammad Yaqoob, Muhamad Yulianto and Minghua Zheng
  • Proceedings of Abstracts Engineering and Computer Science Research Conference 2019. (2019) Richard Nwawe, Marzio Grasso, Yong Kang CHEN, Jan Klusak, Vincenzo Rosiello, Nathan Counsell, Mohammad Reza Herfatmanesh, Helen Partou, Catherine Menon, Trevor Barker, Vito Veneziano, Raimund Kirner, Olga Tveretina, Alok Verma, Peter Lane, Mariana Lilley, Paul Canoville, Matthew Robinson, Brian Crook, Samantha Hall, Richard Kaye, Ian Johnston, Daniel McCluskey, Mark Tracey, Ian Munro, Yuan Wang, Bjorn Suckow, Ingo Klaholz, Damien Drix, Verena Vanessa Hafner, Michael Schmuker, Ankur Sinha, Christoph Metzner, Neil Davey, Roderick Adams, Volker Steuber, Rebecca Miko, Gilles Toffe, Guogang Ren, Diogo Montalvão, Sikiru O. Ismail, James Newman, Hom Dhakal, Funlade Sunmola, Deepak Panday, Na Helian, Daerefa-a Amafabia, Opukuro David-West, George Haritos, Pascal Schirmer, Iosif Mporas, Grigorios Skaltsas, Rana Siadati, Paul Wernick, Samuel Sutton, Himayasri Rao Lekkala, Paul Sayers, Imran Khan, Lola Cañamero, Eheda Hassan, Mouloud Denai, Georgios Pissanidis, Julia Goncharenko, Maria Schilstra, Nathan Beka, Rene te Boekhorst, Agnes Bonivart, Chrystopher Nehaniv, Shabnam Kadir, Ronakben Bhavsar, Yi Sun, David Mayor, Tony Steffert, Yong Kang CHEN, Andreas Chrysanthou, Ian Johnston, Raimund Kirner, Pandelis Kourtessis, Daniel McCluskey, Daniel Polani, Volker Steuber and Yichuang Sun
  • CAL : a language for aggregating functional and extrafunctional constraints in streaming networks. (2011) Alex Shafarenko and Raimund Kirner
    • Thesis
  • Precise Measurement-Based Worst-Case Execution Time Estimation. (2012) Michael Zolda and Raimund Kirner
    • Other
  • Demand-based scheduling priorities for performance optimisation of stream programs on parallel platforms. (2013) Vu Thien Nga Nguyen and Raimund Kirner
  • Measurement-Based Timing Analysis for Reconfigurable Embedded Systems. (2011) Raimund Kirner, Sven Bünte and Michael Zolda
  • Cross-criticality Interfaces for Cyber-physical Systems. (2015) Simon Maurer and Raimund Kirner
  • Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. (2015) Raimund Kirner, Saverio Iacovelli and Michael Zolda
  • A multi-level monitoring framework for stream-based coordination programs. (2012) Vu Thien Nga Nguyen, Raimund Kirner and Frank Penczek
  • A Single-Path Chip-Multiprocessor System. (2009) Martin Schoeberl, Peter Puschner and Raimund Kirner
  • Real-time and hybrid systems testing. (2005) K. Berkenkotter and Raimund Kirner