Raimund Kirner

92 papers A* 1A 2B 4C 16Misc 2Journal 25Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A hybrid dwarf mongoose and artificial ecosystem-based EEG channel optimization for Schizophrenia detection. Biomed. Signal Process. Control. Digambar V. Puri, Pramod H. Kachare, Sandeep B. Sangle, Ibrahim AlShourbaji, Abdoh M. A. Jabbari, Raimund Kirner
2026	J	`jnl`	Multi-Attribute Physical-Layer Authentication Against Jamming and Battery-Depletion Attacks in LoRaWAN. Future Internet Azita Pourghasem, Raimund Kirner, Athanasios Tsokanos, Iosif Mporas, Alexios Mylonas
2025	J	`jnl`	Explaining electroencephalogram channel and subband sensitivity for alcoholism detection. Comput. Biol. Medicine Sandeep B. Sangle, Pramod H. Kachare, Digambar V. Puri, Ibrahem Al-Shourbaji, Abdoh M. A. Jabbari, Raimund Kirner
2025	J	`jnl`	Machine Learning and Deep Learning-Based Multi-Attribute Physical-Layer Authentication for Spoofing Detection in LoRaWAN. Future Internet Azita Pourghasem, Raimund Kirner, Athanasios Tsokanos, Iosif Mporas, Alexios Mylonas
2025	J	`jnl`	Self-adaptive competitive swarm optimizer: a memetic approach for global optimization and human-powered aircraft design. Memetic Comput. Rui Zhong, Zhongmin Wang, Ibrahem Al-Shourbaji, Essam H. Houssein, Pramod H. Kachare, Abdoh Jabbari, Raimund Kirner, Jun Yu
2024	J	`jnl`	LEADNet: Detection of Alzheimer's Disease Using Spatiotemporal EEG Analysis and Low-Complexity CNN. IEEE Access Digambar V. Puri, Pramod H. Kachare, Sandeep B. Sangle, Raimund Kirner, Abdoh M. A. Jabbari, Ibrahim AlShourbaji, Mohammed Abdalraheem, Abdalla Alameen
2024	J	`jnl`	Network intrusion detection leveraging multimodal features. Array Aklil Zenebe Kiflay, Athanasios Tsokanos, Mahmood Fazlali, Raimund Kirner
2023	J	`jnl`	A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. J. Syst. Archit. Raimund Kirner, Peter P. Puschner
2023	J	`jnl`	CryptoQNRG: a new framework for evaluation of cryptographic strength in quantum and pseudorandom number generation for key-scheduling algorithms. J. Supercomput. Anish Saini, Athanasios Tsokanos, Raimund Kirner
2022	J	`jnl`	Quantum Randomness in Cryptography - A Survey of Cryptosystems, RNG-Based Ciphers, and QRNGs. Inf. Anish Saini, Athanasios Tsokanos, Raimund Kirner
2021	—	`conf`	A Network Intrusion Detection System Using Ensemble Machine Learning. ICCST Aklil Zenebe Kiflay, Athanasios Tsokanos, Raimund Kirner
2021	J	`jnl`	A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. IEEE/ACM Trans. Netw. Raimund Kirner, Peter P. Puschner
2021	—	`conf`	Component Interfaces with Loosely Synchronous Communication. SA Raimund Kirner, Simon Maurer, Olga Tveretina
2021	—	`conf`	Dynamic row activation mechanism for multi-core systems. CF Tareq A. Alawneh, Raimund Kirner, Catherine Menon
2021	C	`conf`	Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures. ISORC Wayne Gray, Athanasios Tsokanos, Raimund Kirner
2021	—	`conf`	Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. Echtzeit Raimund Kirner, Peter P. Puschner
2020	J	`jnl`	Asynchronous vs. synchronous interfacing to time-triggered communication systems. J. Syst. Archit. Peter P. Puschner, Raimund Kirner
2020	C	`conf`	ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. ISORC Catherine Menon, Saverio Iacovelli, Raimund Kirner
2019	C	`conf`	Interfacing to Time-Triggered Communication Systems. ISORC Peter P. Puschner, Raimund Kirner
2018	—	`conf`	ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. SIES Saverio Iacovelli, Raimund Kirner, Catherine Menon
2016	J	`jnl`	Calculating WCET estimates from timed traces. Real Time Syst. Michael Zolda, Raimund Kirner
2016	J	`jnl`	Throughput-Driven Partitioning of Stream Programs on Heterogeneous Distributed Systems. IEEE Trans. Parallel Distributed Syst. Vu Thien Nga Nguyen, Raimund Kirner
2015	—	`conf`	Coordination with Structured Composition for Cyber-physical Systems. PARCO Simon Maurer, Raimund Kirner
2015	—	`conf`	Cross-criticality interfaces for cyber-physical systems. EBCCSP Simon Maurer, Raimund Kirner
2015	J	`jnl`	Introduction to the special issue on software technologies for embedded and ubiquitous systems. Computing Lynn Choi, Raimund Kirner
2015	—	`conf`	On the Design of a Java Virtual Machine for Mixed-criticality Systems. JTRES Hamza Hamza, Alan Hughes, Raimund Kirner
2015	—	`conf`	Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. ISORC Workshops Raimund Kirner, Saverio Iacovelli, Michael Zolda
2014	C	`conf`	A Uniform Model for Tolerance-Based Real-Time Computing. ISORC Raimund Kirner
2014	C	`conf`	Ingredients for the Specification of Mixed-Criticality Real-Time Systems. ISORC Raimund Kirner
2014	J	`jnl`	Optimizing compilation with preservation of structural code coverage metrics to support software testing. Softw. Test. Verification Reliab. Raimund Kirner, Walter Haas
2013	B	`conf`	A Heuristic Strategy for Performance Optimisation of Stream Programs. ICPADS Vu Thien Nga Nguyen, Raimund Kirner
2013	—	`conf`	Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms. ICA3PP (1) Vu Thien Nga Nguyen, Raimund Kirner
2013	J	`jnl`	S+Net: extending functional coordination with extra-functional semantics. CoRR Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko
2012	—	`conf`	A Multi-level Monitoring Framework for Stream-Based Coordination Programs. ICA3PP (1) Vu Thien Nga Nguyen, Raimund Kirner, Frank Penczek
2012	—	`conf`	An infrastructure for multi-level optimisation through property annotation and aggregation. NFPinDSML@MoDELS Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko
2012	—	`conf`	Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. DAMP Raimund Kirner, Frank Penczek, Alexander V. Shafarenko
2012	—	`conf`	Compiling for Time Predictability. SAFECOMP Workshops Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
2012	J	`jnl`	Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. IEEE Trans. Ind. Informatics Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry
2012	—	`conf`	The WCET Analysis Tool CalcWcet167. ISoLA (2) Raimund Kirner
2011	J	`jnl`	Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
2011	J	`jnl`	CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks CoRR Alexander V. Shafarenko, Raimund Kirner
2011	J	`jnl`	Code transformations to prevent timing anomalies. Comput. Syst. Sci. Eng. Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
2011	—	`conf`	Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. RTCSA (1) Michael Zolda, Sven Bünte, Raimund Kirner
2011	—	`conf`	Engineering Concurrent Software Guided by Statistical Performance Analysis. PARCO Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip K. F. Hölzenspies, Chris R. Jesshope, Raimund Kirner, Bernd Scheuermann, Alexander V. Shafarenko, Iraneus te Boekhorst, Volkmar Wieser
2011	C	`conf`	Improving the Confidence in Measurement-Based Timing Analysis. ISORC Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner
2011	—	`conf`	Let's get less optimistic in measurement-based timing analysis. SIES Sven Bünte, Michael Zolda, Raimund Kirner
2010	C	`conf`	Avoiding Timing Anomalies Using Code Transformations. ISORC Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
2010	—	`conf`	Compiler-Support for Robust Multi-core Computing. ISoLA (1) Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
2010	—	`conf`	Context-Sensitivity in IPET for Measurement-Based Timing Analysis. ISoLA (2) Michael Zolda, Sven Bünte, Raimund Kirner
2010	—	`conf`	Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. SEUS Susanne Kandl, Raimund Kirner
2010	—	`conf`	Time-Predictable Computing. SEUS Raimund Kirner, Peter P. Puschner
2010	J	`jnl`	Transforming flow information during code optimization for timing analysis. Real Time Syst. Raimund Kirner, Peter P. Puschner, Adrian Prantl
2009	—	`conf`	A Single-Path Chip-Multiprocessor System. SEUS Martin Schoeberl, Peter P. Puschner, Raimund Kirner
2009	—	`conf`	From Trusted Annotations to Verified Knowledge. WCET Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
2009	C	`conf`	Model-Driven Design and Organic Computing -- Combinable Strategies?. ISORC Peter P. Puschner, Raimund Kirner
2009	B	`conf`	Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS Raimund Kirner, Albrecht Kadlec, Peter P. Puschner
2009	J	`jnl`	Towards Preserving Model Coverage and Structural Code Coverage. EURASIP J. Embed. Syst. Raimund Kirner
2008	—	`ed.`	8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008, Prague, Czech Republic, July 1, 2008 WCET Raimund Kirner
2008	A	`conf`	A Modular Worst-case Execution Time Analysis Tool for Java Processors. IEEE Real-Time and Embedded Technology and Applications Symposium Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad
2008	C	`conf`	Measurement-Based Timing Analysis. ISoLA Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
2008	C	`conf`	Obstacles in Worst-Case Execution Time Analysis. ISORC Raimund Kirner, Peter P. Puschner
2008	J	`jnl`	Test Coverage Analysis and Preservation for Requirements-Based Testing. ERCIM News Raimund Kirner, Susanne Kandl
2008	C	`conf`	Toward Libraries for Real-Time Java. ISORC Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad
2008	—	`conf`	Towards a Common WCET Annotation Language: Essential Ingredients. WCET Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
2008	—	`conf`	WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET Raimund Kirner
2007	C	`conf`	Automated Formal Verification and Testing of C Programs for Embedded Systems. ISORC Susanne Kandl, Raimund Kirner, Peter P. Puschner
2007	—	`conf`	Cross-Platform Verification Framework for Embedded Systems. SEUS Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
2007	A*	`conf`	Modeling the Function Cache for Worst-Case Execution Time Analysis. DAC Raimund Kirner, Martin Schoeberl
2007	Misc	`conf`	SCCP/x: a compilation profile to support testing and verification of optimized code. CASES Raimund Kirner
2007	C	`conf`	Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. ISORC Raimund Kirner, Peter P. Puschner
2007	—	`conf`	WCET Analysis: The Annotation Language Challenge. WCET Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
2006	J	`jnl`	Code Analysis for Temporal Predictability. Real Time Syst. Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
2006	—	`conf`	Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. WCET Raimund Kirner, Markus Grössing, Peter P. Puschner
2006	—	`conf`	Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. WISES Susanne Kandl, Raimund Kirner, Peter P. Puschner
2006	—	`conf`	From Time-Triggered to Time-Deterministic Real-Time Systems. DIPES Peter P. Puschner, Raimund Kirner
2006	C	`conf`	Portable Data Exchange for Remote-Testing Frameworks. ISORC Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder
2005	A	`conf`	Automatic Timing Model Generation by CFG Partitioning and Model Checking. DATE Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner
2005	—	`conf`	Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. WCET Raimund Kirner, Peter P. Puschner
2005	C	`conf`	Classification of WCET Analysis Techniques. ISORC Raimund Kirner, Peter P. Puschner
2005	—	`conf`	Measurement-Based Worst-Case Execution Time Analysis. SEUS Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
2005	—	`conf`	Principles of Timing Anomalies in Superscalar Processors. QSIC Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder
2004	—	`conf`	Real-Time and Hybrid Systems Testing. Model-Based Testing of Reactive Systems Kirsten Berkenkötter, Raimund Kirner
2003	—	`conf`	A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. WISES Raimund Kirner, Peter P. Puschner
2003	—	`conf`	Avoiding Timing Problems in Real-Time Software. WSTFES Peter P. Puschner, Raimund Kirner
2003	—	`conf`	Discussion of Misconceptions about WCET Analysis. WCET Raimund Kirner, Peter P. Puschner
2003	—	`conf`	Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
2003	Misc	`conf`	Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. EMSOFT Janosch Fauster, Raimund Kirner, Peter P. Puschner
2003	—	`conf`	Timing Analysis of Optimised Code. WORDS Raimund Kirner, Peter P. Puschner
2003	C	`conf`	Transformation of Meta-Information by Abstract Co-interpretation. SCOPES Raimund Kirner, Peter P. Puschner
2002	B	`conf`	Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. ECRTS Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner
2001	B	`conf`	Transformation of Path Information for WCET Analysis during Compilation. ECRTS Raimund Kirner, Peter P. Puschner