Number of items: 97.
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
picture_as_pdf
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
picture_as_pdf
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
picture_as_pdf
Throughput-driven Partitioning of Stream Programs on Heterogeneous Distributed Systems. (2016)
Vu Thien Nga Nguyen
and
Raimund Kirner
picture_as_pdf
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
picture_as_pdf
Transforming flow information during code optimization for timing analysis. (2010)
Raimund Kirner,
Peter Puschner
and
Adrian Prantl
picture_as_pdf
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
Conference or Workshop Item
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
Automotive Forensics - Can You Trust Your Car? (Keynote Talk). (2021)
Raimund Kirner
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
Interfaces and Concepts to Build Large Resilient and Predictable Systems. (2019)
Raimund Kirner
and
Olga Tveretina
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
picture_as_pdf
Improving the confidence in measurement-based timing analysis. (2011)
S. Bunte,
Michael Zolda,
M. Tautschnig
and
Raimund Kirner
picture_as_pdf
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
picture_as_pdf
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
picture_as_pdf
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
picture_as_pdf
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
picture_as_pdf
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
picture_as_pdf
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
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
picture_as_pdf
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
