Item Type No Grouping

Article

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